Tony Nuda Zhang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Interprocess Communication

Distributed Systems

Formal Verification

Geometric Invariants

Top Venues

Proc. ACM Program. Lang.

Publications

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos
Performal: Formal Verification of Latency Properties for Distributed Systems. Proc. ACM Program. Lang. 7 (PLDI) (2023)