Tony Nuda Zhang

2 papers · 2024–2025 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8) 🏆 Keyword Champion (2)

Conferences

OSDI (2)

Top co-authors

Tej Chajed (2) Bryan Parno (2) Manos Kapritsos (2) Keshav Singh (1) Travis Hance (1)

Keywords

distributed protocol (2) formal verification (2) safety property (1) invariant inference (1) state machine (1) protocol correctness (1) inductive invariant (1) theorem proving (1) provenance invariant (1) static analysis (1)

Papers

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