Divyanjali Sharma -

Registered user since Fri 17 Sep 2021

Name:Divyanjali Sharma

Country:India

Affiliation:IIT Delhi, India

Personal website: https://www.cse.iitd.ac.in/~divyanjali/

Contributions

2024

ISEC

Author of Parameterized Static Analysis for Weak Memory Models within the Doctoral Symposium-track

2021

Static Analysis Symposium

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