Concurrent Programming Courses
Code Sync via YouTube Embedding Generic Monadic Transformer into Scala
Code Sync via YouTube A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation - PLDI 2024
ACM SIGPLAN via YouTube ChoRus: Library-Level Choreographic Programming in Rust
ACM SIGPLAN via YouTube Compositional Development of Certified System Software
ACM SIGPLAN via YouTube A New Perspective on Commutativity in Verification
ACM SIGPLAN via YouTube A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability
ACM SIGPLAN via YouTube Weak Memory Demands Model-based Compiler Testing
ACM SIGPLAN via YouTube Compositional Verification of Concurrent C Programs with Search Structure Templates
ACM SIGPLAN via YouTube Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube