divyanjali
Divyanjali

Research Scholar
Department of Computer Science & Engineering
IIT Delhi

emailemail

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.

Projects
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.

Publications

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. Extended Version

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

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 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022) 25-28 October 2022, Attended Virtually
28th Static Analysis Symposium (SAS 2021) 17-22 October 2021, Attended Virtually
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