Not registered as user yet

Name:Upamanyu Sharma
Affiliation:Massachusetts Institute of Technology

Contributions

PLDI 2023 Performal: Formal Verification of Latency Properties for Distributed Systems
Show activities from other conferences

Using general profile