scholarly journals Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

2014 ◽  
pp. 21-41 ◽  
Author(s):  
Yehia Abd Alrahman ◽  
Marina Andric ◽  
Alessandro Beggiato ◽  
Alberto Lluch Lafuente
Keyword(s):  
Memory Models ◽  
Concurrent Programs ◽  
Relaxed Memory

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

scholarly journals Dynamic synthesis for relaxed memory models

2012 ◽  
Vol 47 (6) ◽  
pp. 429-440 ◽  
Author(s):  
Feng Liu ◽  
Nayden Nedev ◽  
Nedyalko Prisadnikov ◽  
Martin Vechev ◽  
Eran Yahav
Keyword(s):  
Memory Models ◽  
Dynamic Synthesis ◽  
Relaxed Memory

scholarly journals Partial-coherence abstractions for relaxed memory models

2012 ◽  
Vol 47 (6) ◽  
pp. 187
Author(s):  
Michael Kuperstein ◽  
Martin Vechev ◽  
Eran Yahav
Keyword(s):  
Memory Models ◽  
Partial Coherence ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document