1. L^3: a linear language with locations;Ahmed Amal;Fundamenta Informaticae,2007
2. Compiling with Continuations
3. Vytautas Astrauskas , Aurel Bílý , Jonáš Fiala , Zachary Grannan , Christoph Matheja , Peter Müller , Federico Poli , and Alexander J . Summers . 2022 . The Prusti Project: Formal Verification for Rust. In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer International Publishing , Cham. 88–108. isbn:978-3-031-06773-0 https://link.springer.com/chapter/10.1007/978-3-031-06773-0_5 Vytautas Astrauskas, Aurel Bílý, Jonáš Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, and Alexander J. Summers. 2022. The Prusti Project: Formal Verification for Rust. In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer International Publishing, Cham. 88–108. isbn:978-3-031-06773-0 https://link.springer.com/chapter/10.1007/978-3-031-06773-0_5
4. Leveraging rust types for modular specification and verification
5. Predicate Abstraction for Linked Data Structures