Divyanjali Sharma

According to our database, Divyanjali Sharma authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Parameterized Static Analysis for Weak Memory Models.

Divyanjali Sharma, Subodh Sharma

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2022

Fence Synthesis Under the C11 Memory Model.

Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

CoRR, 2021

Dynamic Verification of C11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Thread-Modular Analysis of Release-Acquire Concurrency.

Divyanjali Sharma, Subodh Sharma

Proceedings of the Static Analysis - 28th International Symposium, 2021