Bryan Parno

Identifiers

• name variant Bryan Parno 0.60 · backfill

Papers (2)

1. Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization cs.SE · 2026 · author #8
2. MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code cs.CR · 2022 · author #7

Mentions

• 2605.26457 #8 · arxiv_oai · confidence 0.70 Bryan Parno

Frequent Coauthors

• Aidan Denlinger 1 shared papers
• Alexandra E. Michael 1 shared papers
• Anitha Gollamudi 1 shared papers
• Anmol Agarwal 1 shared papers
• Cedric Flamant 1 shared papers
• Conrad Watt 1 shared papers
• Craig Disselkoen 1 shared papers
• Deian Stefan 1 shared papers
• Jannis Limperg 1 shared papers
• Jay Bosamiya 1 shared papers
• Kanna Shimizu 1 shared papers
• Marco Patrignani 1 shared papers
• Marco Vassena 1 shared papers
• Natalie Neamtu 1 shared papers
• Pranjal Aggarwal 1 shared papers
• Sean Welleck 1 shared papers
• Seungone Kim 1 shared papers