• Welcome!
    I'm Dhriti.

    I am pursuing Ph.D. in Computer Science and am interested in Program Analysis techniques.

    Download CV

    Google Scholar


Me and my research

I am a Ph.D. candidate at IIIT Delhi. I am jointly advised by Dr. Rahul Purandare and Dr. Subodh Sharma. My Ph.D. is supported by the prestigious TCS fellowship. I am a member of the Program Analysis Group at my university. Before joining Ph.D., I did my Masters's in Computer Science (M.Sc. CS) from the University of Delhi.

My research helps the developers of parallel code in finding concurrency-related issues. I work with multi-process and multi-threaded code to find deadlocks in them. I use dynamic analysis and constraint solving approaches to do these tasks.


Skill set

During my research, I have worked with the following Program Analysis tools and techniques:

  • Soot: Static Analysis framework for Java
  • Symbolic Path Finder: A symbolic execution engine
  • z3: SMT constraint solver
  • PIN: Dynamic binary instrumentation and analysis framework for C++
  • ISP: Dynamic verification engine



  • Dhriti Khanna, Rahul Purandare, Subodh Sharma. 2021. Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks. In International Conference on Software Testing (ICST'21).
  • Dhriti Khanna, Rahul Purandare, Subodh Sharma. 2020. Verifying and Testing Concurrent Programs using Constraint Solver based Approaches. In Doctoral Symposium, IEEE International Conference on Software Maintenance and Evolution (ICSME'20).
  • Dhriti Khanna, Subodh Sharma, Cesar Rodríguez, Rahul Purandare. 2018. Dynamic Symbolic Verification of MPI Programs. In International Symposium on Formal Methods (FM'18). Springer, Cham, Oxford, London, UK. 466-484.
  • Dhriti Khanna. 2018. Analysis and Verification of Message Passing based Parallel Programs. In the Doctoral Symposium, FLoC 2018.
  • Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, and Rahul Purandare. 2016. POLLUX: safely upgrading dependent application libraries. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016). ACM, New York, NY, USA, 290-300.


Research intern TRDDC, Pune                 May 2018-Aug 2018

I worked with optimization of verifying sequentialized concurrent programs using concurrent program invariants under the supervision of Mr. Anand Yeolekar.

Teaching Assistant IIIT-Delhi                 Aug 2015-Oct 2016

Program Analysis (Monsoon 2016); Data structures and Algorithms (Winter 2016); Advanced Programming (Monsoon 2015)

Assistant Professor University of Delhi             Jan 2013-Apr 2015

Taught foundational computer science courses like Operating System and C++ (amongst others) to undergraduate courses to CS and ECE students.

Software Engineer Nagarro Software Pvt. Ltd.         Jul 2012-Dec 2012

Worked on developing ERP software (.NET and Microsoft Silverlight)


My blog

HTML5 Bootstrap Template by colorlib.com
Sep 19, 2020 | Goals

Keep you goals private to yourself

There is an old saying in Hindi “jo badal garajte hai, wo baraste nahi”.

HTML5 Bootstrap Template by colorlib.com
May 31, 2020 | Habits

Intuitive eating

Food not only fuels our body for our living, but it also ...

HTML5 Bootstrap Template by colorlib.com
March 28, 2020 | Covid

Impact of COVID-19 on my life

Physically, I am good. Healthy. But, psychologically, I don’t feel so top-notch...

HTML5 Bootstrap Template by colorlib.com
Nov 14, 2018 | World

The trade war between China and the USA

Tariff means that a country imposes taxes on imports with another country...

Get in



A-518, Research and Developement Building, IIIT-Delhi, Delhi-110020