School of Technology and Computer Science Seminars

The Challenges in Verification of Concurrent Programs!

by Dr. Ashutosh Gupta (School of Technology and Computer Science, TIFR)

Tuesday, February 24, 2015 from to (Asia/Kolkata)
at D-405 (D-Block Seminar Room)
Description
Concurrent software is everywhere. Ensuring reliability of concurrent software is a daunting task. In this talk, I will present the basics of verification, what is so hard about concurrency, and recent efforts to tame the problem. The talk will also include some of my past works in the topic and one of my current projects.