Concurrency Courses
ACM SIGPLAN via YouTube A Denotational Approach to Release/Acquire Concurrency - GALOP'24
ACM SIGPLAN via YouTube Coarser Equivalences for Causal Concurrency
ACM SIGPLAN via YouTube Some Things I Wish I Hadn't Seen - Challenging Concurrency Patterns in Code
ACM SIGPLAN via YouTube In-Order Execution Nails Every Weak Memory Behavior
ACM SIGPLAN via YouTube How Do We Know That Weak Memory Matters?
ACM SIGPLAN via YouTube What We Learned from C++ Atomics and Memory Model Standardization
ACM SIGPLAN via YouTube Why Languages Should Preserve Load-Store Order
ACM SIGPLAN via YouTube On the Need for Available, Functional, and Reusable Memory Models
ACM SIGPLAN via YouTube Peter, the May and the Must, and Lacework
ACM SIGPLAN via YouTube