The Challenges in Verification of Concurrent Programs!

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

Tuesday 24 Feb 2015, 16:00 → 17:00 Asia/Kolkata

D-405 (D-Block Seminar Room)

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.