ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Testing concurrent programs on relaxed memory models
Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11
◽
10.1145/2001420.2001436
◽
2011
◽
Cited By ~ 46
Author(s):
Jacob Burnim
◽
Koushik Sen
◽
Christos Stergiou
Keyword(s):
Memory Models
◽
Concurrent Programs
◽
Relaxed Memory
Download Full-text
Related Documents
Cited By
References
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Rewriting Logic and Its Applications - Lecture Notes in Computer Science
◽
10.1007/978-3-319-12904-4_2
◽
2014
◽
pp. 21-41
◽
Cited By ~ 3
Author(s):
Yehia Abd Alrahman
◽
Marina Andric
◽
Alessandro Beggiato
◽
Alberto Lluch Lafuente
Keyword(s):
Memory Models
◽
Concurrent Programs
◽
Relaxed Memory
Download Full-text
Interactive debugging of concurrent programs under relaxed memory models
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization
◽
10.1145/3368826.3377910
◽
2020
◽
Author(s):
Aakanksha Verma
◽
Pankaj Kumar Kalita
◽
Awanish Pandey
◽
Subhajit Roy
Keyword(s):
Memory Models
◽
Concurrent Programs
◽
Relaxed Memory
Download Full-text
Dynamic partial order reduction for relaxed memory models
ACM SIGPLAN Notices
◽
10.1145/2813885.2737956
◽
2015
◽
Vol 50
(6)
◽
pp. 250-259
◽
Cited By ~ 9
Author(s):
Naling Zhang
◽
Markus Kusano
◽
Chao Wang
Keyword(s):
Partial Order
◽
Order Reduction
◽
Memory Models
◽
Partial Order Reduction
◽
Relaxed Memory
Download Full-text
Dynamic synthesis for relaxed memory models
ACM SIGPLAN Notices
◽
10.1145/2345156.2254115
◽
2012
◽
Vol 47
(6)
◽
pp. 429-440
◽
Cited By ~ 13
Author(s):
Feng Liu
◽
Nayden Nedev
◽
Nedyalko Prisadnikov
◽
Martin Vechev
◽
Eran Yahav
Keyword(s):
Memory Models
◽
Dynamic Synthesis
◽
Relaxed Memory
Download Full-text
Relaxed memory models
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09
◽
10.1145/1480881.1480930
◽
2008
◽
Cited By ~ 9
Author(s):
Gérard Boudol
◽
Gustavo Petri
Keyword(s):
Memory Models
◽
Relaxed Memory
Download Full-text
Assertional reasoning about data races in relaxed memory models
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08
◽
10.1145/1345206.1345249
◽
2008
◽
Author(s):
Beverly A. Sanders
◽
KyungHee Kim
Keyword(s):
Memory Models
◽
Data Races
◽
Assertional Reasoning
◽
Relaxed Memory
Download Full-text
Software Transactional Memory on Relaxed Memory Models
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-642-02658-4_26
◽
2009
◽
pp. 321-336
◽
Cited By ~ 18
Author(s):
Rachid Guerraoui
◽
Thomas A. Henzinger
◽
Vasu Singh
Keyword(s):
Transactional Memory
◽
Memory Models
◽
Software Transactional Memory
◽
Relaxed Memory
Download Full-text
Thread-modular static analysis for relaxed memory models
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017
◽
10.1145/3106237.3106243
◽
2017
◽
Cited By ~ 7
Author(s):
Markus Kusano
◽
Chao Wang
Keyword(s):
Static Analysis
◽
Memory Models
◽
Relaxed Memory
Download Full-text
Using Lamport clocks to reason about relaxed memory models
Proceedings Fifth International Symposium on High-Performance Computer Architecture
◽
10.1109/hpca.1999.744379
◽
1999
◽
Cited By ~ 16
Author(s):
A.E. Condon
◽
M.D. Hill
◽
M. Plakal
◽
D.J. Sorin
Keyword(s):
Memory Models
◽
Relaxed Memory
Download Full-text
Partial-coherence abstractions for relaxed memory models
ACM SIGPLAN Notices
◽
10.1145/2345156.1993521
◽
2012
◽
Vol 47
(6)
◽
pp. 187
Author(s):
Michael Kuperstein
◽
Martin Vechev
◽
Eran Yahav
Keyword(s):
Memory Models
◽
Partial Coherence
◽
Relaxed Memory
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close