scholarly journals RustBelt meets relaxed memory

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Hoang-Hai Dang ◽  
Jacques-Henri Jourdan ◽  
Jan-Oliver Kaiser ◽  
Derek Dreyer
Keyword(s):  
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 Pomsets with preconditions: a simple model of relaxed memory

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Radha Jagadeesan ◽  
Alan Jeffrey ◽  
James Riely
Keyword(s):  
Simple Model ◽  
Relaxed Memory

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware

2021 ◽  
Author(s):  
Runzhou Tao ◽  
Jianan Yao ◽  
Xupeng Li ◽  
Shih-Wei Li ◽  
Jason Nieh ◽  
...  
Keyword(s):  
Formal Verification ◽  
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 Transactions in relaxed memory architectures

2018 ◽  
Vol 2 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Brijesh Dongol ◽  
Radha Jagadeesan ◽  
James Riely
Keyword(s):  
Memory Architectures ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document