REST: Integrating Term Rewriting with Program Verification. - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (ECOOP, 2022)

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)

REST: Integrating Term Rewriting with Program Verification (Extended Version). - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (CoRR, 2022)

REST: Integrating Term Rewriting with Program Verification (Artifact). - Zachary Grannan; Niki Vazou; Eva Darulova; Alexander J. Summers (Dagstuhl Artifacts Ser., 2022)

Resource Specifications for Resource-Manipulating Programs. - Zachary Grannan; Alexander J. Summers (CoRR, 2023)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees. - Zachary Grannan; Aurel Bílý; Jonás Fiala; Jasper Geer; Markus de Medeiros; Peter Müller 001; Alexander J. Summers (CoRR, 2025)