Concurrency Courses
ACM SIGPLAN via YouTube Termination in Concurrency, Revisited - PPDP23
ACM SIGPLAN via YouTube Extending Automerge: Undo, Redo, and Move Operations - PLF23
ACM SIGPLAN via YouTube Capture Tracking in Scala
ACM SIGPLAN via YouTube Parallel Sequences in Multicore OCaml
ACM SIGPLAN via YouTube Modernizing Standard ML of New Jersey: A Status Report
ACM SIGPLAN via YouTube An Exceptional Actor System in Haskell - Functional Pearl
ACM SIGPLAN via YouTube The Best Multicore-Parallelization Refactoring You've Never Heard Of
ACM SIGPLAN via YouTube Reference Counting Deeply Immutable Data Structures with Cycles
ACM SIGPLAN via YouTube SPORE: Combining Symmetry and Partial Order Reduction for Model Checking
ACM SIGPLAN via YouTube