Concurrency Courses
ACM SIGPLAN via YouTube Memory Consistency Models for Program Transformations - An Intellectual Abstract
ACM SIGPLAN via YouTube Optimal Reads-From Consistency Checking for C11-Style Memory Models
ACM SIGPLAN via YouTube Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
ACM SIGPLAN via YouTube Sound Dynamic Deadlock Prediction in Linear Time
ACM SIGPLAN via YouTube Putting Weak Memory in Order via a Promising Intermediate Representation
ACM SIGPLAN via YouTube An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
ACM SIGPLAN via YouTube Heterogeneous Concurrency - A New Frontier for Weak Memory
ACM SIGPLAN via YouTube Evolving Weak Memory Models for Evolving Architectures
ACM SIGPLAN via YouTube What Compilers Desire from Weak Memory Semantics
ACM SIGPLAN via YouTube