Upamanyu Sharma

2 papers · 2018–2023 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (7) 🐣 Hot Topic Early Bird

Conferences

OSDI (2)

Top co-authors

Weidong Cui (1) Joseph Tassarotti (1) Xinyang Ge (1) Ben Niu (1) M. Frans Kaashoek (1) Insu Yun (1) Baris Kasikci (1) Nickolai Zeldovich (1) Ruoyu Wang (1) Yun-Sheng Chang (1)

Keywords

formal verification (1) binary analysis (1) multi-version concurrency control (1) machine-checked proof (1) reverse debugging (1) hardware tracing (1) error correction (1) memory dump (1) program tracing (1) logical atomicity (1) transaction library (1) execution history (1)

Papers

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

REPT: Reverse Debugging of Failures in Deployed Software OSDI 2018