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