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.
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
Publications
- 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).
Paper -
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
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
Sep 19, 2020 | Goals
Keep you goals private to yourself
There is an old saying in Hindi “jo badal garajte hai, wo baraste nahi”.
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...
Nov 14, 2018 | World
The trade war between China and the USA
Tariff means that a country imposes taxes on imports with another country...
Nov 10, 2018 | World
The balance between economic growth and the environament
Contact
dhritikATiiitd.ac.in
A-518, Research and Developement Building, IIIT-Delhi, Delhi-110020