REVERT: Runtime Verification for Real-Time Systems

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

29 January 2019

Piyush Gupta receives Amit Semiwal Award for his performance and learning attitude in the course Program Analysis (CSE-503, monsoon semester 2018...

18 December 2018

The paper titled 'Similarities Across Libraries: Making a Case for Leveraging Test Suites', authored by Devika Sondhi, Divya Rani, and Rahul...

13 November 2018

The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime...

10 September 2018

Congratulations to Garvita Allabadi, Aritra Dhar, Ambreen Bashir, and Dr. Purandare for their paper titled "METIS: Resource- and Context-Aware...

Lastest News