Bryan Parno
10 papers · 2013–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (17) π Century Club Β· Bronze
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
formal verification
(5)
inductive invariant
(2)
automated verification
(2)
state machine
(2)
distributed system
(2)
distributed protocol
(2)
adversarial input
(1)
trusted execution environment
(1)
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)
feedforward neural network
(1)
piecewise linear activation
(1)
paxos protocol
(1)
Papers
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
ICML 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
OSDI 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
Don't Yank My Chain: Auditable NF Service Chaining
NSDI 2021
Fast Geometric Projections for Local Robustness Certification
ICLR 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All
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