Nuda Zhang

According to our database, Nuda Zhang authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Pilotfish: Distributed Transaction Execution for Lazy Blockchains.

Quentin Kniep, Lefteris Kokoris-Kogias, Alberto Sonnino, Igor Zablotchi, Nuda Zhang

CoRR, 2024

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Performal: Formal Verification of Latency Properties for Distributed Systems.

Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos

Proc. ACM Program. Lang., 2023

2020

On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

CoRR, 2020

Brief Announcement: On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020