Bryan Parno

10 papers · 2013–2025 · 4 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (4) 🧭 Keyword Pioneer 🗺️ Taxonomy Completionist (12) 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (12) 🐝 Cross-Pollinator (8) 💎 Century Club (10)

Conferences

OSDI (5) NSDI (3) ICLR (1) ICML (1)

Top co-authors

Jon Howell (4) Travis Hance (4) Chris Hawblitzel (3) Tej Chajed (2) Tony Nuda Zhang (2) Andrea Lattuada (2) Manos Kapritsos (2) Yi Zhou (1) Pranjal Aggarwal (1) Marijn Heule (1)

Keywords

formal verification (5) automated verification (2) state machine (2) distributed system (2) distributed protocol (2) inductive invariant (2) network function virtualization (1) invariant inference (1) protocol correctness (1) key-value store (1) provenance invariant (1) linear type (1) runtime verification (1) transition system (1) policy compliance (1) paxos protocol (1) concurrent programming (1) concurrent verification (1) ownership type (1) shared memory verification (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement ICML 2025

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023

Fast Geometric Projections for Local Robustness Certification ICLR 2021

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021

Don't Yank My Chain: Auditable NF Service Chaining NSDI 2021

Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020

Ironclad Apps: End-to-End Security via Automated Full-System Verification OSDI 2014

Embassies: Radically Refactoring the Web NSDI 2013