Research Scholar
Department of Computer Science & Engineering
IIT Delhi


location_on Verification Lab, Lab-411, Bharti Building, IIT Delhi

About Me

I am currently a research scholar in Department of Computer Science & Engineering, IIT Delhi working with Dr Subodh Sharma. I have completed my M.Tech from Banasthali Vidypith, Rajasthan in 2014. My experience include working as an Assistant Professor in GLA University, Mathura from July 2014 to Jun 2017.

My reasearch area is static verification of programs using abstract interpretation. I am also associated with the VERification, TEsting, Concurrency, Security / Semantics ( VERTECS2) research group at IIT Delhi.

Static Verification of C/C++11 Programs

Verification of concurrent programs under relaxed memory model is a hard problem. This project focuses on finding a precise thread-modular abstract interpretation based approach for verifying properties of concurrent programs under C/C++11 memory model.


Divyanjali Sharma and Subodh Sharma. "Thread-Modular Analysis of Release-Acquire Concurrency." International Static Analysis Symposium. Springer, Cham, 2021. Extended Version

Sanjana Singh, Divyanjali Sharma and Subodh Sharma. "Dynamic Verification of C11 Concurrency over Multi Copy Atomics." TASE 2021

Sanjana Singh, Divyanjali Sharma, Ishita Jaju and Subodh Sharma. "Fence Synthesis for the C11 Memory Model." ATVA 2022

Courses Undertaken

COL702 Advanced Data Structures
COL750 Foundations of Automated Verification
COL728 Compiler Design
COL871 Spl. Topics in Programming Languages and Compilers
COL869 Spl. Topics in Concurrency

Courses TAed at IITD

COL765 Introduction to Logic and Functional Programming (I semester 2019-20)
COL380 Introduction to Parallel and Distributed Programming​ (II semester 2018-19)
CSL703 Logic for Computer Science (I semester 2018-19)
COL106 Data Structures​ (II semester 2017-18)
COL100 Introduction to Computer Science (I semester 2017-18)

Workshops and Conferences Attended

The Fourth Indian SAT+SMT School 08-10 December 2019, IIT Bombay, India
The Third Indian SAT+SMT School 06-08 December 2018, IIIT Hyderabad, India
Japan-Asia Youth Exchange Program in Science (SAKURA) 23 June - 14 July 2018, University of Tokyo, Japan
The Second Indian SAT+SMT School 06-08 December 2017, Infosys-Mysore, India
Winter School in Software Engineering (WSSE) 11-16 December 2017, TRDDC-Pune, India