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 |