Effective Program Verification for Relaxed Memory Models
Top Cited Papers
- 12 August 2008
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- A Memory Model Sensitive Checker for C#Lecture Notes in Computer Science, 2006
- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case StudyLecture Notes in Computer Science, 2006
- The Java memory modelPublished by Association for Computing Machinery (ACM) ,2005
- QB or Not QB: An Efficient Execution Verification Tool for Memory OrderingsLecture Notes in Computer Science, 2004
- Automatic fence insertion for shared memory multiprocessingPublished by Association for Computing Machinery (ACM) ,2003
- Multiprocessors should support simple memory consistency modelsComputer, 1998
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Shared memory consistency models: a tutorialComputer, 1996
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1979
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974