@inproceedings{fajita,
title={FaJITa: Verifying Optimizations on Just-In-Time Programs.},
author={Thien, David and Smith, Michael},
booktitle={Workshop on Principles of Secure Compilation (PriSC)},
year={2023}
}