Concurrent Programming Courses
ACM SIGPLAN via YouTube Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
ACM SIGPLAN via YouTube Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
ACM SIGPLAN via YouTube What Compilers Desire from Weak Memory Semantics
ACM SIGPLAN via YouTube Programmers Love Mind-Bogglingly Complicated Weak Memory Models
ACM SIGPLAN via YouTube Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
ACM SIGPLAN via YouTube Designing Wait-free Weak Reference Counting
ACM SIGPLAN via YouTube Reference Capabilities for Flexible Memory Management
ACM SIGPLAN via YouTube Proof Automation for Linearizability in Separation Logic
ACM SIGPLAN via YouTube Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
ACM SIGPLAN via YouTube