Bryan Parno
10 papers · 2013–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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
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