The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime Verification, 2018. Congratulations to the team: Garvita, Aritra, Ambreen, and Dr. Purandare.
Paper titled "Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks" co-authored by Nikita...
Paper titled "Verifying Exception-Handling Code in Concurrent Libraries" co-authored by Dhriti Khanna, Subodh Sharma and Rahul Purandare has been...
Paper titled "Rapid: Region-based Pointer Disambiguation" co-authored by Khushboo Chitre, Piyus Kedia, and Rahul Purandare has been accepted for...
Paper titled "CGuard: Scalable and Precise Object Bounds Protection for C" co-authored by Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal and...
Paper titled "The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler" co-authored by Khushboo Chitre, Piyus Kedia...
Paper titled "BiRD: Race Detection in Software Binaries under Relaxed Memory Models" co-authored by Ridhi Jain, Subodh Sharma, and Rahul Purandare...
Paper titled "Optimal Finite-State Monitoring of Partial Traces", co-authored by Peeyush Kushwaha, Rahul Purandare, and Matthew Dwyer, has been...
Dr. Rahul Purandare will be co-chairing ISEC 2023 along with Prof. Abhik Roychoudhury (NUS). Link to the conference website: ...
Paper titled "Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks", co-authored by Nikita Mehrotra, Navdha Agarwal,...
pagadmin@iiitd.ac.in