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

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

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, 2021)

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

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