Complexity and Analysis of Distributed Algorithms

Videos from CMO Workshop

, Microsoft Research
- 10:09
Data Structures of the Future: Concurrent, Optimistic, and Relaxed
Watch video | Download video: 201611280900-Alistarh.mp4 (240M)
, University of Freiburg
- 11:46
Complexity of Distributed Graph Algorithms in the LOCAL model
Watch video | Download video: 201611281100-Kuhn.mp4 (165M)
, University of Toronto
- 12:59
Deterministic Objects: Life Beyond Consensus
Watch video | Download video: 201611281210-Ellen.mp4 (190M)
, University of Waterloo
- 13:46
Supporting and Analyzing Probabilistic Consistency in Distributed Storage Systems
Watch video | Download video: 201611281300-Golab.mp4 (187M)
, Universidad Nacional Autónoma de México
- 16:06
Asynchronous Robot Gathering
Watch video | Download video: 201611281500-Castaneda.mp4 (249M)
, Brown University
- 17:06
A Tutorial on Applying Combinatorial Topology to Byzantine Tasks
Watch video | Download video: 201611281615-Herlihy.mp4 (216M)
, Calibra
- 10:03
PODC - Practice of Distributed Computing
Watch video | Download video: 201611290900-Malkhi.mp4 (291M)
, University of Manitoba
- 10:31
Communicating with Beeps
Watch video | Download video: 201611291009-Miller.mp4 (80M)
, Institut de Recherche en Informatique Fondamentale
- 11:40
Asynchrony and Least Fixpoint Logic
Watch video | Download video: 201611291100-Reiter.mp4 (152M)
, Department of CS, Stony Brook University
- 12:41
TBD: Three Backoff Dilemmas
Watch video | Download video: 201611291147-Bender.mp4 (217M)
, University of California Los Angeles
- 13:36
3 Original Sins +
Watch video | Download video: 201611291240-Gafni.mp4 (246M)
, Technion
- 16:01
Memory Management for Lock-Free Data-Structures
Watch video | Download video: 201611291500-Petrank.mp4 (258M)
, Technion
- 09:55
Dynamic Memory - It's Time to Talk About Complexity
Watch video | Download video: 201611300900-Keidar.mp4 (207M)
, INRIA Rennes
- 10:32
Sketching Your Way Toward Greater Efficiency
Watch video | Download video: 201611301000-Kermarrec.mp4 (126M)
, National University of Singapore
- 11:29
Gossip, Latency, and Weighted Conductance
Watch video | Download video: 201611301100-Gilbert.mp4 (105M)
, Texas A & M University
- 11:57
Message-Passing Implementations of Shared Data Structures
Watch video | Download video: 201611301135-Welch.mp4 (82M)
, Tel-Aviv University
- 10:06
CONGEST lower bounds : beyond two-party reductions
Watch video | Download video: 201612010900-Oshman.mp4 (235M)
, Ecole Polytechnique Federale de Lausanne
- 10:45
The Atomic Commit Problem: A Brief History
Watch video | Download video: 201612011014-Guerraoui.mp4 (122M)
, University of Calgary
- 11:48
Test and Set in Optimal Space
Watch video | Download video: 201612011100-Higham.mp4 (181M)
, INRIA
- 12:50
Randomized Adversary Models
Watch video | Download video: 201612011201-Giakkoupis.mp4 (200M)
, Ben-Gurion University of the Negev
- 13:33
The Backtracking Covering Proof Technique
Watch video | Download video: 201612011255-Hendler.mp4 (193M)
, Telecom ParisTech
- 16:28
Concurrency as an Iterated Affine Task
Watch video | Download video: 201612011544-Kuznetsov.mp4 (205M)
, York University
- 17:06
Analysing the Average Time Complexity of Lock-Free Data Structures
Watch video | Download video: 201612011630-Ruppert.mp4 (162M)
, Technion -- Israel Institute of Technology
- 10:02
Indistinguishability, Duality and Necessary Conditions
Watch video | Download video: 201612020900-Moses.mp4 (218M)
, Ben Guruion University of the Negev
- 10:31
Lower Bound on the Step Complexity of Anonymous Binary Consensus
Watch video | Download video: 201612021008-BenBaruch.mp4 (88M)
, University of Calgary 
- 11:44
Boundless tagging with applications to wait-free memory reclamation
Watch video | Download video: 201612021100-Aghazadeh.mp4 (172M)