Commit 6f3ea19b authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add TruSt supplementary material citation


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent bc2174d8
......@@ -2387,6 +2387,17 @@
ids = {persevere-supp-material}
}
@Article{ kokologiannakis2022:trust-supp-material,
title = {Truly Stateless, Optimal Dynamic Partial Order Reduction
(supplementary material)},
author = {Kokologiannakis, Michalis and Marmanis, Iason and
Gladstein, Vladimir and Vafeiadis, Viktor},
year = {2022},
month = jan,
url = {https://plv.mpi-sws.org/genmc},
ids = {trust-supp-material}
}
@InProceedings{ kuperstein2011:abstractions,
title = {Partial-coherence abstractions for relaxed memory models},
author = {Kuperstein, Michael and Vechev, Martin and Yahav, Eran},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment