Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models

Article Details
Title:	Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models
Article URLs:	https://doi.org/10.1007/978-3-319-66706-5_15
Alternative Article URLs:
Authors:	Hernán Ponce de León	fortiss GmbH
	Florian Furbach	TU Kaiserslautern
	Keijo Heljanko	Aalto University HIIT
	Roland Meyer	TU Braunschweig
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://github.com/hernanponcedeleon/PORTHOS
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sas/LeonFHM17
Author Comments:	A newer version of the tool (including new features and improvements in performance) can be found here: https://github.com/hernanponcedeleon/Dat3M

International Static Analysis Symposium, SAS 2017