Publications

Ridhi Jain, Sai Prathik Saba Bama, Venkatesh Vinayakarao and Rahul Purandare, "A Search System for Mathematical Expressions on Software Binaries", 15th International Conference on Mining Software Repositories (MSR), May 2018.

Ridhi Jain, Rahul Purandare and Subodh Sharma, "BiRD: Race Detection in Software Binaries under Relaxed Memory Models", ACM Transactions on Software Engineering and Methodology (TOSEM), 2022.

Presentations and Talks

Presented my work on Searching Mathematical Expressions in Software Binaries at Research Innovation and Incubation Showcase (RIISE-2020), IIIT-Delhi.

Presented work on locating mathematical expressions in software binaries in the 15th International Conference on Mining Software Repositories (MSR), May 2018.

Presented work on thread safety in software binaries in FormaliSE, June 2018.

Presented Poster on Searching Mathematical Expressions in Software Binaries in RIISE 2020, IIIT-Delhi.

Events Attended

Attended the fifth SMT+SAT School organized online, 2020.

Attended Facebook Testing and Verification (TAV) Symposium, 2020.

Attended IBM Maitreyee 2020, organized online.

Attended ACM India Grad Cohort Workshop 2019, IIT-Delhi.

Attended SAT-SMT Winter School, IIIT-Hyderabad, 2018.

Attended Winter School on Software Engineering, Pune (WSSE 2017).

Funds and Travel Grants

Received partial funds from Microsoft Research to attend and present paper pulblished in MSR'18.

One of the four students from across the world to receive travel grants from the FormaliSE community to present my work at FormaliSE'18.