Registered user since Fri 17 Sep 2021

Name:Divyanjali Sharma
Country:India
Affiliation:IIT Delhi, India

Contributions

SAS 2021 Author of Thread-modular Analysis of Release-Acquire Concurrency within the SAS-track