Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

Article Details
Title:	Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
Article URLs:	https://doi.org/10.1145/3173162.3173174
Alternative Article URLs:
Authors:	Manuel Rigger	Johannes Kepler University Linz
	Roland Schatz	Oracle Labs
	René Mayrhofer	Johannes Kepler University Linz
	Matthias Grimmer	Oracle Labs
	Hanspeter Mössenböck	Johannes Kepler University Linz
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://ssw.jku.at/General/%20Staff/ManuelRigger/ASPLOS18-SafeSulong-Bugs.csv
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/asplos/RiggerSMGM18
Author Comments:

ACM Architectural Support for Prog. Languages and Operating Systems, ASPLOS 2018