Concurrent Programming Courses
ACM SIGPLAN via YouTube Building a Lock-Free STM for OCaml - OCaML'23
ACM SIGPLAN via YouTube Dependent Session Protocols in Separation Logic from First Principles - Functional Pearl
ACM SIGPLAN via YouTube GHC Plugin for Setting Breakpoints in Concurrent Programs
ACM SIGPLAN via YouTube A Semantics of Core Erlang with Handling of Signals
ACM SIGPLAN via YouTube CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
ACM SIGPLAN via YouTube Concurrent Immediate Reference Counting
ACM SIGPLAN via YouTube A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
ACM SIGPLAN via YouTube Petrification: Software Model Checking for Programs with Dynamic Thread Management
ACM SIGPLAN via YouTube Concurrent Mutation Must Go
ACM SIGPLAN via YouTube