2022

The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler

Khushboo Chitre, Piyus Kedia, Rahul Purandare. The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler. The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA'22).

Read more about The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler

BiRD: Race Detection in Software Binaries under Relaxed Memory Models

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

Read more about BiRD: Race Detection in Software Binaries under Relaxed Memory Models

Lastest News

Venkatesh got his PhD. degree

25 August 2018

Congratulations to Dr. Venkatesh Vinayakarao for his doctoral degree. All the best for the future!

Venkatesh's Thesis Defense

15 August 2018

We are proud to announce that Venkatesh successfully defended his thesis work on 14th August, 2018. He did his Ph.D. work in about 4 years and...

Dhriti presented her work at FM 2018

2 August 2018

Dhriti presented her paper titled "Dynamic Symbolic Verification of MPI Programs" co-authored by Subodh Sharma, Cesar Rodriguez, and Rahul...

Ridhi Presented her work at MSR 2018

15 June 2018

Ridhi presented her paper titled "A Search System for Mathematical Expressions on Software Binaries" co-authored by Sai Prathik, Venkatesh...

Acceptance in FM Doctoral Symposium 2018

16 May 2018

Dhriti's research abstract has been accepted to be presented in FM Doctorial Symposium. This symposium will be held in Oxford, UK on 14th July,...

Travel grant approved from ACM-India/IARCS

16 May 2018

Dhriti receives a travel grant of INR 60,000 from ACM-India/IARCS for her paper "Dynamic Symbolic Verification of MPI Programs" accepted in FM....

Paper Acceptance at FM 2018

10 April 2018

The paper titled "Dynamic Symbolic Verification of MPI Programs" authored by Dhriti Khanna (IIIT-Delhi), Subodh Sharma (IIT-Delhi), César...

Ridhi receives a travel grant from FormaliSE

7 April 2018

Ridhi Jain has received a travel grant from FormaliSE to attend FormaliSE 2018 and present her research in the conference to be held this June in ...

Dhriti receives a summer internship at TRDDC, Pune

6 April 2018

Dhriti Khanna (PhD student, IIIT-D) receives a summer internship at Tata Research Developement and Design Centre (Pune).

Microsoft Research India supports Ridhi's travel to present her paper at MSR 2018

20 March 2018

Ridhi receives a travel grant from Microsoft Research India to present a paper, co-authored by her, titled: "A Search System for Mathematical...

Links to tools created by the group

Course Particular

Interesting External Links

Get in touch with us

pagadmin@iiitd.ac.in

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

Search form