@inproceedings{ASPLOS-2018-RiggerSMGM,
	author        = "Manuel Rigger and Roland Schatz and René Mayrhofer and Matthias Grimmer and Hanspeter Mössenböck",
	booktitle     = "{Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/3173162.3173174",
	pages         = "377--391",
	publisher     = "{ACM}",
	title         = "{Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model}",
	year          = 2018,
}