cotalks.dev

SPTDC 2023

Videos

Page 1 / 1

1 — Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 1
SPTDC 2023
2 — Gael Thomas "A journey into the World of Persistent Memory" Part 2
SPTDC 2023
3 — Gael Thomas "A journey into the World of Persistent Memory" Part 1
SPTDC 2023
4 — Panagiota Fatourou "Multi-Version Concurrent Data Structures"
SPTDC 2023
5 — Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2
SPTDC 2023
6 — Maurice Herlihy "Cache-Conscious Concurrent Data Structures for Near-Memory Computing"
SPTDC 2023
7 — Alexey Gotsman "Database Isolation Levels" Part 1
SPTDC 2023
8 — Alexey Gotsman "Database Isolation Levels" Part 2
SPTDC 2023
9 — Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 2
SPTDC 2023
10 — Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 1
SPTDC 2023
11 — Sergio Rajsbaum "On the Origins of Blockchains"
SPTDC 2023
12 — Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 2
SPTDC 2023
13 — Nikita Koval "Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM"
SPTDC 2023
14 — Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 1
SPTDC 2023
15 — Dan Alistarh "Efficient Algorithms for Machine Learning" Part 1
SPTDC 2023
16 — Dan Alistarh "Efficient Algorithms for Machine Learning" Part 2
SPTDC 2023