Publications

Export 1 results:
Filters: Author is Grimmer, Matthias  [Clear All Filters]
2018
Rigger, M., Schatz R., Mayrhofer R., Grimmer M., & Mössenböck H. (2018).  Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems.