• Welcome!
    I'm Dhriti.

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

    Download CV

    Google Scholar

About Me

Know me and my research

Hi I'm Dhriti Khanna I am a 5th year Ph.D. student in 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. It is a reading group where we discuss new influential research. We also discuss our ongoing work to get valuable feedback from our peers.

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.

I truly believe in the power of Karma: that what goes around, comes around.



My Specialty

My Skills

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

  • Soot: Static Analysis framefork 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






Publications

Recent publications

  • 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.
    Paper
  • Dhriti Khanna. 2018. Analysis and Verification of Message Passing based Parallel Programs. In the Doctoral Symposium, FLoC 2018.
    Paper
  • 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.
    Paper
Experience

Work Experience

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)

Lecturer 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)

Read

My blog

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

Intuitive eating

Food not only fuels our body for our living, but it also is a very important part of our being. We are what we eat.

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 Touch

Contact

dhritikATiiitd.ac.in

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