Program Analysis @ IIIT-Delhi

12 December 2020

Paper titled "Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks" authored by Dhriti Khanna, Dr. Rahul...

25 July 2020

Dhriti's Ph.D. symposium paper got accepted at ICSME!!

25 July 2020

Paper titled " JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable" got accepted at ICSME 2020. The paper is authored by...

19 November 2019

Devika presented her work SEGATE at ASE 2019 which was held in San Diego.

21 October 2019

Devika Sondhi was recently invited to attend a PhD summit at Microsoft Research, Redmond, USA. The summit was attended by PhD students from top ...

8 August 2019

Khushboo Chitre (Ph.D. scholar, IIIT Delhi) has been awarded the prestigious TCS scholarship under the TCS Research Scholar Program from July 2019...

6 August 2019

The research paper titled, ''SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs", authored by Devika...

27 May 2019

Nikita Mehrotra has been awarded the PM fellowship for her Ph.D. for the next four years. This is a very prestigious and competitive fellowship...

30 April 2019

Devika presented her recent work titled "Similarities Across Libraries: Making a Case for Leveraging Test Suites" at ICST conference held in Xian...

24 February 2019

Congratulation to Devika for her research summary being accepted at the ICST'19 doctoral symposium. The symposium will happen in Xi'an, China on...

Lastest News