Divyanjali Sharma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ATVA | Fence Synthesis Under the C11 Memory Model. | Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma |
| 2021 | SAS | Thread-Modular Analysis of Release-Acquire Concurrency. | Divyanjali Sharma, Subodh Sharma |
| 2021 | TASE | Dynamic Verification of C11 Concurrency over Multi Copy Atomics. | Sanjana Singh, Divyanjali Sharma, Subodh Sharma |