Divyanjali Sharma

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 6

Top Topics

Memory Requirements

Dynamically Changing

Statistical Analysis

Top Venues

Publications

Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
Fence Synthesis Under the C11 Memory Model. ATVA (2022)
Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
Fence Synthesis under the C11 Memory Model. CoRR (2022)
Divyanjali Sharma, Subodh Sharma
Thread-modular Analysis of Release-Acquire Concurrency. CoRR (2021)
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Dynamic Verification of C11 Concurrency over Multi Copy Atomics. TASE (2021)
Divyanjali Sharma, Subodh Sharma
Thread-Modular Analysis of Release-Acquire Concurrency. SAS (2021)
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics. CoRR (2021)