RustBelt meets relaxed memory
2020 ◽
Vol 4
(POPL)
◽
pp. 1-29
◽
Hoang-Hai Dang
◽
Jacques-Henri Jourdan
◽
Jan-Oliver Kaiser
◽
Derek Dreyer
2015 ◽
Vol 50
(6)
◽
pp. 250-259
◽
Naling Zhang
◽
Markus Kusano
◽
Chao Wang
2020 ◽
Vol 4
(OOPSLA)
◽
pp. 1-30
Radha Jagadeesan
◽
Alan Jeffrey
◽
James Riely
Jacob Burnim
◽
Koushik Sen
◽
Christos Stergiou
Runzhou Tao
◽
Jianan Yao
◽
Xupeng Li
◽
Shih-Wei Li
◽
Jason Nieh
◽
...
2012 ◽
Vol 47
(6)
◽
pp. 429-440
◽
Feng Liu
◽
Nayden Nedev
◽
Nedyalko Prisadnikov
◽
Martin Vechev
◽
Eran Yahav
2018 ◽
Vol 2
(POPL)
◽
pp. 1-29
◽
Brijesh Dongol
◽
Radha Jagadeesan
◽
James Riely
Yong-Kim Chong
◽
Kai Hwang
J. Protic
◽
V. Milutinovic
Gérard Boudol
◽
Gustavo Petri
Beverly A. Sanders
◽
KyungHee Kim