Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs. - Astrauskas, Vytautas (2024)

The Prusti Project: Formal Verification for Rust. - Astrauskas, Vytautas; Bílý, Aurel; Fiala, Jonás; Grannan, Zachary; Matheja, Christoph; Müller, Peter; Poli, Federico; Summers, Alexander J. (2022)

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. - Bornholt, James; Joshi, Rajeev; Astrauskas, Vytautas; Cully, Brendan; Kragl, Bernhard; Markle, Seth; Sauri, Kyle; Schleit, Drew; Slatton, Grant; Tasiran, Serdar; Geffen, Jacob Van; Warfield, Andrew (2021)

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

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