1 CSE 331 Timers, Threads, and Concurrency slides created by Marty Stepp based on materials by M. Ernst, S. Reges, D. Notkin, R. Mercer, Wikipedia
2014 Steven Pelley Memory Persistency Steven Pelley, Peter M. Chen, Thomas F. Wenisch University of Michigan.
The Transactional Memory / Garbage Collection Analogy Dan Grossman University of Washington AMD July 26, 2010.
The Transactional Memory / Garbage Collection Analogy
Deterministic Execution of Nondeterministic Shared-Memory Programs
Verifying Parallel Optimizations with PTRANS