Devika presented her recent work titled "Similarities Across Libraries: Making a Case for Leveraging Test Suites" at ICST conference held in Xian...
Congratulation to Devika for her research summary being accepted at the ICST'19 doctoral symposium. The symposium will happen in Xi'an, China on...
Piyush Gupta receives Amit Semiwal Award for his performance and learning attitude in the course Program Analysis (CSE-503, monsoon semester 2018...
The paper titled 'Similarities Across Libraries: Making a Case for Leveraging Test Suites', authored by Devika Sondhi, Divya Rani, and Rahul...
The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime...
Congratulations to Garvita Allabadi, Aritra Dhar, Ambreen Bashir, and Dr. Purandare for their paper titled "METIS: Resource- and Context-Aware...
Congratulations to Dr. Venkatesh Vinayakarao for his doctoral degree. All the best for the future!
We are proud to announce that Venkatesh successfully defended his thesis work on 14th August, 2018. He did his Ph.D. work in about 4 years and...
Dhriti presented her paper titled "Dynamic Symbolic Verification of MPI Programs" co-authored by Subodh Sharma, Cesar Rodriguez, and Rahul...
Ridhi presented her paper titled "A Search System for Mathematical Expressions on Software Binaries" co-authored by Sai Prathik, Venkatesh...
pagadmin@iiitd.ac.in