@inproceedings{smith:2024:icarus, author = {Naomi Smith and Abhishek Sharma and John Renner and David Thien and Fraser Brown and Hovav Shacham and Ranjit Jhala and Deian Stefan}, title = {Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution}, booktitle = {Symposium on Operating Systems Principles}, publisher = {ACM}, month = {Nov}, year = {2024}, }