Assertional reasoning about data races in relaxed memory models

2008 ◽  
Author(s):  
Beverly A. Sanders ◽  
KyungHee Kim
Keyword(s):  
Memory Models ◽  
Data Races ◽  
Assertional Reasoning ◽  
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

Automated Classification of Data Races Under Both Strong and Weak Memory Models

2015 ◽  
Vol 37 (3) ◽  
pp. 1-44 ◽  
Author(s):  
Baris Kasikci ◽  
Cristian Zamfir ◽  
George Candea
Keyword(s):  
Memory Models ◽  
Automated Classification ◽  
Data Races

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
Sign in / Sign up

Export Citation Format

Share Document