Dynamic Symbolic Verification of MPI Programs

Dhriti Khanna, Subodh Sharma, Cesar Rodríguez, Rahul Purandare. 2018. Dynamic Symbolic Verification of MPI Programs. In International Symposium on Formal Methods (FM'18). Springer, Cham, Oxford, London, UK. 466-484.

Click here

Khanna18.pdf

2018

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