Speaker Deck

ASPLOS'18: Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

by Manuel Rigger

Published March 27, 2018 in Research

Talk at the 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (https://www.asplos2018.org/)