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.
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