Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser, Derek Dreyer
RustBelt meets relaxed memory
POPL, 2020.
@article{POPL-2020-DangJKD,
author = "Hoang-Hai Dang and Jacques-Henri Jourdan and Jan-Oliver Kaiser and Derek Dreyer",
doi = "10.1145/3371102",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{RustBelt meets relaxed memory}",
volume = 4,
year = 2020,
}