Papers in concurrency
- C-RACER: A Faster Race Detector Than FastTrack
- Concurrent and Compositional Generation of Test Plans from Use Cases
- ESC/Java User Manual
- MMTk: A Design Plan for the Next Generation Memory Management Toolkit
- Nonblocking Concurrent Objects with Condition Synchronization
- Relaxed Memory Models: An Operational Approach
- Time, Clocks, and the Ordering of Events in a Distributed System