Sanjana Singh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2021–2022
Best venue rank
B
Where they publish
Papers
2 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 | TASE | Dynamic Verification of C11 Concurrency over Multi Copy Atomics. | Sanjana Singh, Divyanjali Sharma, Subodh Sharma |