Upamanyu Sharma

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Distributed Systems

Concurrent Programs

Formal Verification

Correctness Criterion

Top Venues

Proc. ACM Program. Lang.

Publications

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. OSDI (2023)
Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Grove: a Separation-Logic Library for Verifying Distributed Systems. SOSP (2023)
Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos
Performal: Formal Verification of Latency Properties for Distributed Systems. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version). CoRR (2023)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
REPT: Reverse Debugging of Failures in Deployed Software. OSDI (2018)