News & Events
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 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 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 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 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 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
Interesting External Links
Education - This is a contributing Drupal Theme
Design by
WeebPal.
