Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan. Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. In Emmett Witchel, Christopher J. Rossbach, Andrea C. Arpaci-Dusseau, Kimberly Keeton, editors, Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024. pages 473-487, ACM, 2024. [doi]
Abstract is missing.