Travel grant approved from ACM-India/IARCS

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. This will partly cover her travel expenses for Oxford, UK where the conference is organized this year.

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