Documents Abstractions for Relaxed Memory Models

Abstractions for Relaxed Memory Models Abstractions for Relaxed Memory Models Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav 1 Verification under a relaxed memory model…

Documents Partial-coherence abstractions for relaxed memory models

Partial-coherence abstractions for relaxed memory models Presented by Michael Kuperstein, Technion Joint work with Martin Vechev, IBM Research and Eran Yahav, Technion 1…

Documents Communicate 67

Communicate I 3 Letter from the edItor | JuLy-August 2010 Words and pictures A year ago, in July 2009, the front cover of Communicate’s summer issue bore a picture of a…