Personal information

No personal information available

Activities

Works (2)

Grove: a Separation-Logic Library for Verifying Distributed Systems

2023-10-23 | Conference paper
Contributors: Upamanyu Sharma; Ralf Jung; Joseph Tassarotti; Frans Kaashoek; Nickolai Zeldovich
Source: check_circle
Crossref

Performal: Formal Verification of Latency Properties for Distributed Systems

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Tony Nuda Zhang; Upamanyu Sharma; Manos Kapritsos
Source: check_circle
Crossref