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.
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.
During my research, I have worked with the following Program Analysis tools and techniques:
I worked with optimization of verifying sequentialized concurrent programs using concurrent program invariants under the supervision of Mr. Anand Yeolekar.
Program Analysis (Monsoon 2016); Data structures and Algorithms (Winter 2016); Advanced Programming (Monsoon 2015)
Taught foundational computer science courses like Operating System and C++ (amongst others) to undergraduate courses to CS and ECE students.
Worked on developing ERP software (.NET and Microsoft Silverlight)
There is an old saying in Hindi “jo badal garajte hai, wo baraste nahi”.
Physically, I am good. Healthy. But, psychologically, I don’t feel so top-notch...
Tariff means that a country imposes taxes on imports with another country...
dhritikATiiitd.ac.in
A-518, Research and Developement Building, IIIT-Delhi, Delhi-110020