Nuda Zhang
Orcid: 0009-0009-0288-8270
According to our database1,
Nuda Zhang
authored at least 5 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024
2023
Proc. ACM Program. Lang., 2023
2020
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020