Old Web
English
Sign In
Acemap
>
authorDetail
>
Upamanyu Sharma
Upamanyu Sharma
University of Michigan
Real-time computing
Computer science
Operating system
Microsoft Windows
Error detection and correction
3
Papers
46
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Armada: low-effort verification of high-performance concurrent programs.
2020
PLDI | Programming Language Design and Implementation
Jacob R. Lorch
Yixuan Chen
Manos Kapritsos
Bryan Parno
Shaz Qadeer
Upamanyu Sharma
James R. Wilcox
Xueyuan Zhao
Show All
Source
Cite
Save
Citations (10)
REPT: reverse debugging of failures in deployed software
2018
OSDI | Operating Systems Design and Implementation
Weidong Cui
Xinyang Ge
Baris Kasikci
Ben Niu
Upamanyu Sharma
Ruoyu Wang
Insu Yun
Show All
Source
Cite
Save
Citations (36)
{REPT}: Reverse Debugging of Failures in Deployed Software
2018
| USENIX Symposium on Operating Systems Design and Implementations
Weidong Cui
Xinyang Ge
Baris Kasikci
Ben Niu
Upamanyu Sharma
Ruoyu Wang
Insu Yun
Show All
Source
Cite
Save
Citations (0)
1