Automating Geometric Proofs of Collision Avoidance.

Nishant Kheterpal, Elanor Tang, and Jean-Baptiste Jeannin.

In Formal Methods in Computer-Aided Design (FMCAD 2022).

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).