Best Paper Award

The paper METIS: Resource and Context Aware Monitoring of Finite State Properties has been chosen as the Best Paper in the conference Runtime Verification, 2018. Congratulations to the team: Garvita, Aritra, Ambreen, and Dr. Purandare.

Lastest News

Paper titled "POLLUX: Safely Upgrading Dependent Application Libraries" accepted in FSE2016

9 June 2016

Sukrit Kalra, Ayush Goel, Dhriti Khanna under the guidance of Dr. Mohan Dhawan (IBM-IRL), Dr. Subodh Sharma (IIT-D), and Dr. Rahul Purandare co-...

Yogesh Kumari defends her M.Tech Thesis

1 May 2016

Abstract: Providing feedback to all the students individually, for a programming assignment is a very tedious and error-prone task and can take a...

Links to tools created by the group

Course Particular

Program Analysis
Practice of Programming
Program Synthesis

Interesting External Links

Get in touch with us

pagadmin@iiitd.ac.in

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

Search form