Thread-Modular Analysis of Release-Acquire Concurrency. - Divyanjali Sharma; Subodh Sharma 001 (SAS, 2021)

Dynamic Verification of C11 Concurrency over Multi Copy Atomics. - Sanjana Singh; Divyanjali Sharma; Subodh Sharma 001 (TASE, 2021)

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics. - Sanjana Singh; Divyanjali Sharma; Subodh Sharma 001 (CoRR, 2021)

Fence Synthesis Under the C11 Memory Model. - Sanjana Singh; Divyanjali Sharma; Ishita Jaju; Subodh Sharma 001 (ATVA, 2022)

Parameterized Static Analysis for Weak Memory Models. - Divyanjali Sharma; Subodh Sharma 001 (ISEC, 2024)