Michalis Kokologiannakis, Viktor Vafeiadis
HMC: Model Checking for Hardware Memory Models
ASPLOS, 2020.
@inproceedings{ASPLOS-2020-Kokologiannakis,
author = "Michalis Kokologiannakis and Viktor Vafeiadis",
booktitle = "{Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/3373376.3378480",
isbn = "978-1-4503-7102-5",
pages = "1157--1171",
publisher = "{ACM}",
title = "{HMC: Model Checking for Hardware Memory Models}",
year = 2020,
}