Recorded
Talks
Conference presentations and invited lectures. Course lectures live on the Algorithmic Program Verification and Concurrent Algorithms & Data Structures pages.
Conference talks
Deciding Reachability under Persistent x86-TSO
Paper (PDF) Slides (PDF) Watch on YouTube Short intro (2 min) Full recording (MP4)