Seminar: Automatically Comparing Memory Consistency Models

Huxley Building, Room 217/218 Imperial College London, London

S-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 »