Upamanyu Sharma
Email: upamanyu@mit.edu
Last updated: Sep 2023

I am a fourth year PhD student at MIT, advised by Frans Kaashoek and Nickolai Zeldovich in the PDOS group.

Current research interests: formal verification of distributed systems.

Master’s Thesis (2022): Modular Verification of Distributed Systems with Grove

Publications

• Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
  Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich.
  arXiv:2309.03046v2

• Grove: a Separation-Logic Library for Verifying Distributed Systems
  Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich.
  SOSP 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, and Nickolai Zeldovich.
  OSDI 2023

• Performal: Formal Verification of Latency Properties for Distributed Systems
  Tony Nuda Zhang, Upamanyu Sharma, and Manos Kapritsos.
  PLDI 2023

• 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, and Xueyuan Zhao.
  ACM Transactions on Programming Languages and Systems (TOPLAS) 2022

• 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, and Xueyuan Zhao.
  PLDI 2020
  Awarded Distinguished Paper

• REPT: Reverse Debugging of Failures in Deployed Software
  Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, and Insu Yun.
  OSDI 2018
  Awarded Best Paper