conf.researchr.org / Upamanyu Sharma
Not registered as user yet
Name: Upamanyu Sharma
Affiliation: University of Michigan, USA
Contributions
| PLDI 2020 | Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track |