Dynamic Symbolic Verification of MPI Programs

22 January 2024

Paper titled "Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks" co-authored by Nikita...

22 January 2024

Paper titled "Verifying Exception-Handling Code in Concurrent Libraries" co-authored by Dhriti Khanna, Subodh Sharma and Rahul Purandare has been...

28 August 2023

Paper titled "Rapid: Region-based Pointer Disambiguation" co-authored by Khushboo Chitre, Piyus Kedia, and Rahul Purandare has been accepted for...

31 July 2023

Paper titled "CGuard: Scalable and Precise Object Bounds Protection for C" co-authored by Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal and...

3 September 2022

Paper titled "The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler" co-authored by Khushboo Chitre, Piyus Kedia...

31 August 2022

Paper titled "BiRD: Race Detection in Software Binaries under Relaxed Memory Models" co-authored by Ridhi Jain, Subodh Sharma, and Rahul Purandare...

2 July 2022

Paper titled "The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler" co-authored by Khushboo Chitre, Piyus Kedia...

2 July 2022

Paper titled "Optimal Finite-State Monitoring of Partial Traces", co-authored by Peeyush Kushwaha, Rahul Purandare, and Matthew Dwyer, has been...

ISEC 2023

12 May 2022

Dr. Rahul Purandare will be co-chairing ISEC 2023 along with Prof. Abhik Roychoudhury (NUS).
Link to the conference website: ...

16 February 2022

Paper titled "Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks", co-authored by Nikita Mehrotra, Navdha Agarwal,...

Lastest News