Seminar: Automatically Comparing Memory Consistency Models
Huxley Building, Room 217/218 Imperial College London, London, United KingdomS-REPLS Seminar Slides Speaker name: Dr. John Wickerson Abstract A memory consistency model (MCM) is the part of a programming language or computer architecture specification that defines which values can legally... Read more »