Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs - Vytautas Astrauskas (ETH Zurich, Zürich, Switzerland, 2024)

The Prusti Project: Formal Verification for Rust - Vytautas Astrauskas; Aurel Bílý; Jonás Fiala; Zachary Grannan; Christoph Matheja; Peter Müller; Federico Poli; Alexander J. Summers (NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, 2022)

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 - James Bornholt; Rajeev Joshi; Vytautas Astrauskas; Brendan Cully; Bernhard Kragl; Seth Markle; Kyle Sauri; Drew Schleit; Grant Slatton; Serdar Tasiran; Jacob Van Geffen; Andrew Warfield (SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021, 2021)

How do programmers use unsafe rust? - Vytautas Astrauskas; Christoph Matheja; Federico Poli; Peter Müller; Alexander J. Summers (Proc. ACM Program. Lang., 2020)

Leveraging rust types for modular specification and verification - Vytautas Astrauskas; Peter Müller; Federico Poli; Alexander J. Summers (Proc. ACM Program. Lang., 2019)