Papers
Automating Geometric Proofs of Collision Avoidance.
Nishant Kheterpal, Elanor Tang, and Jean-Baptiste Jeannin.
In Formal Methods in Computer-Aided Design (FMCAD 2022).
Presentations
Verifying the Rust Standard Library Using Verus.
Elanor Tang, Travis Hance, Chris Hawblitzel, Natalie Neamtu, Jake Ginesin, and Bryan Parno.
New England Systems Verification Day 2025.
Initial Steps Toward Verifying the Rust Standard Library Using Verus.
Elanor Tang, Travis Hance, and Bryan Parno.
Rust Verification Workshop 2025 (co-located with ETAPS 2025).