Divyanjali Sharma | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Subodh Sharma
10 publications
Sanjana Singh
3 publications
Ishita Jaju
1 publication

research

∙ 07/30/2022

Fence Synthesis under the C11 Memory Model

The C/C++11 (C11) standard offers a spectrum of ordering guarantees on m...

0 Sanjana Singh, et al. ∙

research

∙ 07/06/2021

Thread-modular Analysis of Release-Acquire Concurrency

We present a thread-modular abstract interpretation(TMAI) technique to v...

0 Divyanjali Sharma, et al. ∙

research

∙ 03/02/2021

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

We investigate the problem of runtime analysis of C11 programs under Mul...

0 Sanjana Singh, et al. ∙

research

∙ 05/10/2019

Dynamic Verification with Observational Equivalence of C/C++ Concurrency

Program executions under relaxed memory model (rmm) semantics are signif...

0 Sanjana Singh, et al. ∙