Sarita_V.__Adve
A comparison of entry consistency and lazy release consistency implementations
A unified formalization of four shared-memory models
Comparison of Hardware and Software Cache Coherence Schemes
Designing Memory Consistency Models for Shared-Memory Multiprocessors
Detecting Data Races on Weak Memory Systems
Implementing sequential consistency in cache-based systems
Replacing Locks by Higher-Level Primitives
Shared Memory Consistency Models: A Tutorial
Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model
Weak Ordering - A New Definition