Programme
Programme |
|
| Tutorials (Oct. 3) | Day 1 (Oct. 4) | Day 2 (Oct. 5) | Day 3 (Oct. 6) | All days |
| Tutorials by Invited Speakers (October 3, 2017) | |
| 08:00 - 08:45 | Registration |
| 08:45 - 09:00 | Opening Remarks |
| 09:00 - 10:30 |
Generic Fixpoint Engines for Interprocedural Analyses with Widening and Narrowing - Helmut Seidl
(Chair: Deepak D'Souza) |
| 10:30 - 11:00 | Tea/Coffee break |
| 11:00 - 12:30 | Data types, tools, and techniques for building available and correct distributed applications - Carla Ferreira
(Chair: S P Suresh) |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 | Isabelle Tutorial - Gerwin Klein
(Chair: Mandayam Srivas) |
| 15:30 - 16:00 | Tea/Coffee break |
| Industry Session (Chair: R Venkatesh) |
|
| 16:00 - 16:20 | Sponsor's Presentation - Ravindra Metta (Tata Consultancy Services) |
| 16:20 - 16:40 | Sponsor's Presentation - Manoj Dixit Gangadhar (MathWorks) |
| 16:40 - 16:55 | [Industry Presentation] Amol Wakankar, Paritosh K. Pandya, and Raj Mohan Matteplackel DCSynth: Guided Reactive Synthesis with Soft Requirements and Performance Measurement |
| 16:55 - 17:10 | [Industry Presentation] Venkat M, and Sanjeev Kumar Regression Test Automation of Embedded QT based GUI Application |