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)
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. |