Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models
SAS, 2017.
@inproceedings{SAS-2017-LeonFHM,
author = "Hernán Ponce de León and Florian Furbach and Keijo Heljanko and Roland Meyer 0001",
booktitle = "{Proceedings of the 24th International Static Analysis Symposium}",
doi = "10.1007/978-3-319-66706-5_15",
isbn = "['978-3-319-66705-8', '978-3-319-66706-5']",
pages = "299--320",
publisher = "{Springer}",
title = "{Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models}",
year = 2017,
}
Tags: