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 titled "Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS", co-authored by ...
Paper titled " BiRD: Race Detection in Software Binaries under Relaxed Memory Models", co-authored by Ridhi Jain (PhD candidate, IIIT Delhi), ...
The Siebel Scholars program was founded in 2000 by the Siebel Foundation to recognize the most talented students at the world’s leading graduate...
We are proud to announce that Nikita successfully defended her comprehensive exam on 5th October 2021. Congratulations to Nikita.
We are proud to announce that Devika successfully defended her thesis work on 17th August, 2021. She did her Ph.D. work in about 4 years and...
Paper titled " Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks", authored by Nikita Mehrotra (PhD student, IIIT...
Bhavya Chopra (B.Tech student, IIIT Delhi) and Ruhma Mehek Khan (B.Tech student, IIIT Delhi) have been awarded the Grace Hopper scholarship.
Paper titled "Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS", authored by Gede...
Dr. Rahul Purandare will serve on the program committees of ICSE (SEET) 2022, FSE 2022, and ISSTA 2022.
Dr. Rahul Purandare was selected as a distinguished reviewer for the MSR 2021 technical track.
pagadmin@iiitd.ac.in