Program Synthesis

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

16 February 2022

Paper titled "Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS", co-authored by ...

9 November 2021

Paper titled " BiRD: Race Detection in Software Binaries under Relaxed Memory Models", co-authored by Ridhi Jain (PhD candidate, IIIT Delhi), ...

13 October 2021

The Siebel Scholars program was founded in 2000 by the Siebel Foundation to recognize the most talented students at the world’s leading graduate...

6 October 2021

We are proud to announce that Nikita successfully defended her comprehensive exam on 5th October 2021. Congratulations to Nikita.

Lastest News