Papers in concurrency
- Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
- Finding Race Conditions in Erlang with QuickCheck and PULSE
- Heap Architectures for Concurrent Languages using Message Passing
- Message Analysis for Concurrent Languages?
- Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms
- The Semantics of x86-CC Multiprocessor Machine Code
- Time, Clocks, and the Ordering of Events in a Distributed System