Publications

Programming languages & formal verification

Workshop Papers

• 2026

  Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification

  Yan Tong, Sabrina Reis, Lindsey Kuper

  HATRA Workshop at SPLASH 2026

• 2024

  EGSTRA: E-graph-based Structures for Test Suite Reduction and Abstraction

  Sabrina Reis, Matthew Sottile

  EGRAPHS Workshop at PLDI 2024

Technical Reports

• 2024

  The First Tri-Lab Workshop on Formal Verification: Capabilities, Challenges, Research Opportunities, and Exemplars

  Samuel Pollard, John M. Aytac, Ariel Kellison, Srinivas Nedunuri, Sabrina Reis, Matthew Sottile, Heidi Thornquist

  Technical Report SAND2024-02142, Sandia National Laboratories

Presentations

• 2024

  EGSTRA: E-graph-based Structures for Test Suite Reduction and Abstraction

  Oral presentation, EGRAPHS Workshop at PLDI · Copenhagen, Denmark · June 2024