News & Events

Paper accepted at OOPSLA 2023

Paper titled "Rapid: Region-based Pointer Disambiguation" co-authored by Khushboo Chitre, Piyus Kedia, and Rahul Purandare has been accepted for publication in The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA'23). Congratulations to the team!

Paper accepted at ISSTA 2023

Paper titled "CGuard: Scalable and Precise Object Bounds Protection for C" co-authored by Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal and Rishabh has been accepted for publication in The 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23). Congratulations to the team!

Paper accepted at OOPSLA 2022

Paper titled "The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler" co-authored by Khushboo Chitre, Piyus Kedia, and Rahul Purandare has been accepted for publication in The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA'22). Congratulations to the team!

Paper accepted at the journal first track of ESEC/FSE 2022

Paper titled "BiRD: Race Detection in Software Binaries under Relaxed Memory Models" co-authored by Ridhi Jain, Subodh Sharma, and Rahul Purandare has been accepted to be presented at the Journal-First Track of The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2022. Congratulations to the team!

Paper conditionally accepted at OOPSLA 2022

Paper titled "The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler" co-authored by Khushboo Chitre, Piyus Kedia, and Rahul Purandare has been conditionally accepted for publication in The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA'22). Congratulations to the team!

Paper accepted at RV 2022

Paper titled "Optimal Finite-State Monitoring of Partial Traces", co-authored by Peeyush Kushwaha, Rahul Purandare, and Matthew Dwyer, has been accepted for publication in the 22nd International Conference on Runtime Verification (RV'22). Congratulations to the team!

Pages

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.