Login / Signup
Tony Nuda Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Verification
Model Checker
Fault Tolerance
Distributed Database Systems
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Tony Nuda Zhang
,
Upamanyu Sharma
,
Manos Kapritsos
Performal: Formal Verification of Latency Properties for Distributed Systems.
Proc. ACM Program. Lang.
7 (PLDI) (2023)