Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution.

Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan

Browse the full SOSP paper archive.