1:21:37Alberto Sonnino - BFT Consensus From Academic Paper to Mainnet
A 82-minute video from SPTDC: “Alberto Sonnino - BFT Consensus From Academic Paper to Mainnet”.
SPTDC
1.14K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:21:37
1:12:12Alexey Gotsman "Database Isolation Levels" Part 2
A 72-minute video from SPTDC: “Alexey Gotsman "Database Isolation Levels" Part 2”.
55:27Amanda Baran - Distributed Computing with RDMA
A 55-minute video from SPTDC: “Amanda Baran - Distributed Computing with RDMA”.
1:34:49Dan Alistarh "Efficient Algorithms for Machine Learning" Part 1
A 95-minute video from SPTDC: “Dan Alistarh "Efficient Algorithms for Machine Learning" Part 1”.
1:27:59Dan Alistarh "Efficient Algorithms for Machine Learning" Part 2
A 88-minute video from SPTDC: “Dan Alistarh "Efficient Algorithms for Machine Learning" Part 2”.
1:28:30Erez Petrank - Snapshots: Theory and Practice
A 88-minute video from SPTDC: “Erez Petrank - Snapshots: Theory and Practice”.
1:15:58Fabien Dufoulon - An Introduction to Quantum Distributed Computing
A 76-minute video from SPTDC: “Fabien Dufoulon - An Introduction to Quantum Distributed Computing”.
42:47Gael Thomas "A journey into the World of Persistent Memory" Part 1
A 43-minute video from SPTDC: “Gael Thomas "A journey into the World of Persistent Memory" Part 1”.
47:40Gael Thomas "A journey into the World of Persistent Memory" Part 2
A 48-minute video from SPTDC: “Gael Thomas "A journey into the World of Persistent Memory" Part 2”.
1:10:34Giuliano Losa - Federated Byzantine Agreement - 1
A 71-minute video from SPTDC: “Giuliano Losa - Federated Byzantine Agreement - 1”.
1:21:02Giuliano Losa - Federated Byzantine Agreement - 2
A 81-minute video from SPTDC: “Giuliano Losa - Federated Byzantine Agreement - 2”.
1:27:19Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 1
A 87-minute video from SPTDC: “Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 1”.
1:20:07Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 2
A 80-minute video from SPTDC: “Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 2”.
1:02:28Grigoris Tsagatakis - Parsimony in Distributed Learning
A 62-minute video from SPTDC: “Grigoris Tsagatakis - Parsimony in Distributed Learning”.
1:03:58Maurice Herlihy "Cache-Conscious Concurrent Data Structures for Near-Memory Computing"
A 64-minute video from SPTDC: “Maurice Herlihy "Cache-Conscious Concurrent Data Structures for Near-Memory Computing"”.
1:12:48Naama Ben David - Distributed Computing on Modern Networks
A 73-minute video from SPTDC: “Naama Ben David - Distributed Computing on Modern Networks”.
54:51Naama Ben David - Fast and Fair Lock Free Locks
A 55-minute video from SPTDC: “Naama Ben David - Fast and Fair Lock Free Locks”.
1:15:32Nikita Koval "Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM"
A 76-minute video from SPTDC: “Nikita Koval "Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM"”.
1:19:22Nirupam Gupta - Robust Distributed Learning : A Quest to Learning in Untrusted Environments - 2
A 79-minute video from SPTDC: “Nirupam Gupta - Robust Distributed Learning : A Quest to Learning in Untrusted Environments - 2”.
1:17:21Nitin Vaidya - Resilient Consensus to Resilient Optimization: Some Recent Results and Open Problems
Advanced
A 77-minute video from SPTDC: “Nitin Vaidya - Resilient Consensus to Resilient Optimization: Some Recent Results and Open Problems”.
42:13Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 1
A 42-minute video from SPTDC: “Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 1”.
1:26:22Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 2
A 86-minute video from SPTDC: “Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 2”.
1:12:32Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 1
A 73-minute video from SPTDC: “Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 1”.
1:31:49Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2
A 92-minute video from SPTDC: “Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2”.
1:06:31Sara Tucci - Incentive Compatibility and Fairness in Blockchain Protocols
A 67-minute video from SPTDC: “Sara Tucci - Incentive Compatibility and Fairness in Blockchain Protocols”.
30:34Sergio Rajsbaum "On the Origins of Blockchains"
A 31-minute video from SPTDC: “Sergio Rajsbaum "On the Origins of Blockchains"”.
1:29:26Siddhartha Jayanti - Quantum and Relativistic Distributed Computing
A 89-minute video from SPTDC: “Siddhartha Jayanti - Quantum and Relativistic Distributed Computing”.
1:19:24Sonia Ben Mokhtar - On the Dependability and Security of Decentralised Machine Learning
A 79-minute video from SPTDC: “Sonia Ben Mokhtar - On the Dependability and Security of Decentralised Machine Learning”.
2:24:43Thomas Nowak - Distributed Computing with Bacterial Systems
A 145-minute video from SPTDC: “Thomas Nowak - Distributed Computing with Bacterial Systems”.