Tata Institute of Fundamental Research
The Challenges in Verification of Concurrent Programs!
STCS Faculty Seminar
Speaker:
Ashutosh Gupta
Organiser:
Rahul Vaze
Date:
Tuesday, 24 Feb 2015, 16:00 to 17:00
Venue:
D-405 (D-Block Seminar Room)
(Scan to add to calendar)
Abstract:
Abstract: 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.
| Speaker: | Ashutosh Gupta |
| Organiser: | Rahul Vaze |
| Date: | Tuesday, 24 Feb 2015, 16:00 to 17:00 |
| Venue: | D-405 (D-Block Seminar Room) |
(Scan to add to calendar)
Abstract:
Abstract: 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.