Concurrent Constraint-based Memory Machines: A framework for Java Memory Models (2004)


Download Links

by Vijay Saraswat
Venue:In ASIAN
Citations:9 - 2 self

Active Bibliography

5 A Unified Formal Specification and Analysis of the New Java Memory Models – Varsha Awhad, Charles Wallace - 2002
2 An Abstract State Machine specification and verification of the Location Consistency memory model and cache protocol – Charles Wallace, Guy Tremblay, José N. Amaral
4 Formalizing Shared Memory Consistency Models for Program Analysis – Yue Yang, Co-chair Gary Lindstrom, Konrad Slind, Matthew Flatt, Radu Grosu, Date Ganesh Gopalakrishnan, David S. Chapman - 2004
18 Memory model = instruction reordering + store atomicity – Jan-willem Maessen - 2006
3 On the Tamability of the Location Consistency Memory Model – Charles Wallace, Houghton Mi Usa, Guy Tremblay, Jose N. Amaral - 2002
290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
32 X.: Improving the Java Memory Model Using CRF – Jan-willem Maessen, Xiaowei Shen
10 Analyzing the CRF Java Memory Model – Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom - 2001
8 Specifying Java thread semantics using a uniform memory model – Yue Yang - 2002
Abstract Memory Consistency and Program Verification – Rodrigo Ferreira - 2010
1 The Location Consistency memory model and cache protocol: Specification and verification – Charles Wallace, Guy Tremblay, Jose N. Amaral - 2001
WOMM: A Weak Operational Memory Model – Arnab De, Abhik Roychoudhury
12 Specifying Multithreaded Java Semantics for Program Verification – Abhik Roychoudhury, Tulika Mitra - 2002
Semantics of Multithreaded Java – Jeremy Manson And, Jeremy Manson, William Pugh - 2001
6 The java memory model simulator – Jeremy Manson, William Pugh - 2002
28 Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models – Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind - 2003
40 Commit-Reconcile Fences (CRF): A New Memory Model for Architects and Compiler Writers – Xiaowei Shen, Arvind, Xiaowei Shen, Larry Rudolph, Larry Rudolph - 1999
41 On Validity of Program Transformations in the Java Memory Model – Jaroslav ˇ Sevčík, David Aspinall
Concurrent Clustered Programming ⋆ (Extended Abstract) – Vijay Saraswat, Radha Jagadeesan