Dhriti receives a travel grant of INR 60,000 from ACM-India/IARCS for her paper "Dynamic Symbolic Verification of MPI Programs" accepted in FM. This will partly cover her travel expenses for Oxford, UK where the conference is organized this year.
Devika Sondhi was recently invited to attend a PhD summit at Microsoft Research, Redmond, USA. The summit was attended by PhD students from top ...
Khushboo Chitre (Ph.D. scholar, IIIT Delhi) has been awarded the prestigious TCS scholarship under the TCS Research Scholar Program from July 2019...
The research paper titled, ''SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs", authored by Devika...
Nikita Mehrotra has been awarded the PM fellowship for her Ph.D. for the next four years. This is a very prestigious and competitive fellowship...
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...
pagadmin@iiitd.ac.in