Title	Date
Affix: Binary Model Generation for Static Analysis	2019-05-08
A Verified Optimizer for Quantum Circuits	2020-08-14
3C: Interactive Conversion of C to Checked C	2020-08-14
Formalizing and Evaluating Checked C	2021-04-20