Upamanyu Sharma

According to our database, Upamanyu Sharma authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

2023

Performal: Formal Verification of Latency Properties for Distributed Systems.

Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos

Proc. ACM Program. Lang., 2023

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version).

Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

CoRR, 2023

Grove: a Separation-Logic Library for Verifying Distributed Systems.

Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

ACM Trans. Program. Lang. Syst., 2022

2020

Armada: low-effort verification of high-performance concurrent programs.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

REPT: Reverse Debugging of Failures in Deployed Software.

Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018