Search results for "relaxed memory models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
2	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
2	Sebastian Burckhardt, Madanlal Musuvathi	Effective Program Verification for Relaxed Memory Models.	CAV	2008	DBLP DOI BibTeX RDF
2	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
2	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
2	Fong Pong, Michel Dubois	Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	relaxed memory consistency models, delayed consistency, symbolic state model, verification, Shared-memory multiprocessor
1	Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely	Types for relaxed memory models.	TLDI	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Verification of STM on relaxed memory models.	Formal Methods in System Design	2011	DBLP DOI BibTeX RDF
1	Michael Kuperstein, Martin T. Vechev, Eran Yahav	Partial-coherence abstractions for relaxed memory models.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen, Christos Stergiou	Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.	TACAS	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Koushik Sen, Christos Stergiou	Testing concurrent programs on relaxed memory models.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Alexander Linden, Pierre Wolper	An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.	SPIN	2010	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh	Verifying Local Transformations on Relaxed Memory Models.	CC	2010	DBLP DOI BibTeX RDF
1	Radha Jagadeesan, Corin Pitcher, James Riely	Generative Operational Semantics for Relaxed Memory Models.	ESOP	2010	DBLP DOI BibTeX RDF
1	Peter Sewell	Memory, an elusive abstraction.	ISMM	2010	DBLP DOI BibTeX RDF	semantics, relaxed memory models
1	Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi	On the verification problem for weak memory models.	POPL	2010	DBLP DOI BibTeX RDF	lossy channel systems, program verification, infinite state systems, relaxed memory models
1	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
1	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
1	Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli	The semantics of power and ARM multiprocessor machine code.	DAMP	2009	DBLP DOI BibTeX RDF	semantics, powerpc, arm, relaxed memory models
1	Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave	The semantics of x86-CC multiprocessor machine code.	POPL	2009	DBLP DOI BibTeX RDF	semantics, relaxed memory models
1	Wolfgang Puffitsch	Data caching, garbage collection, and the Java memory model.	JTRES	2009	DBLP DOI BibTeX RDF	Java memory model, garbage collection, data cache
1	Scott Owens, Susmit Sarkar, Peter Sewell	A Better x86 Memory Model: x86-TSO.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPOPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
1	Butler W. Lampson	Lazy and speculative execution in computer systems.	ICFP	2008	DBLP DOI BibTeX RDF	lazy evaluation
1	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
1	Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo	Integrating coordinated checkpointing and recovery mechanisms into DSM synchronization barriers.	ACM Journal of Experimental Algorithmics	2006	DBLP DOI BibTeX RDF	Distributed shared memory, barrier synchronization
1	Azzedine Boukerche, Jeferson G. Koch, Alba Cristina Magalhaes Alves de Melo	Integrating Coordinated Checkpointing and Recovery Mechanisms into DSM Synchronization Barriers.	WEA	2005	DBLP DOI BibTeX RDF
1	Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin	Using Lamport Clocks to Reason about Relaxed Memory Models.	HPCA	1999	DBLP DOI BibTeX RDF
1	Daniel J. Scales, Kourosh Gharachorloo, Chandramohan A. Thekkath	Shasta: A Low Overhead, Software-Only Approach for Supporting Fine-Grain Shared Memory.	ASPLOS	1996	DBLP DOI BibTeX RDF
1	Sarita V. Adve, Alan L. Cox, Sandhya Dwarkadas, Ramakrishnan Rajamony, Willy Zwaenepoel	A Comparison of Entry Consistency and Lazy Release Consistency Implementations.	HPCA	1996	DBLP DOI BibTeX RDF	parallel computation, shared memory, performance measurement, networks of workstations, consistency models
1	Fong Pong, Michel Dubois	Formal Verification of Delayed Consistency Protocols. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF