Programme

Conference, Day 3 (October 6, 2017)
09:00 - 10:00	Invited Talk - Helmut Seidl Proving Absence of Starvation by Means of Abstract Interpretation and Model-checking (Chair: K Narayan Kumar)
10:00 - 10:30	Tea/Coffee break
	Session I: Program Analysis (Chair: Ashutosh Gupta)
10:30 - 10:55	Ankush Das and Akash Lal Precise Null Pointer Analysis Through Global Value Numbering
10:55 - 11:20	Jean-Yves Moyen, Thomas Rubiano and Thomas Seiller Loop Quasi-Invariant Chunk Detection
11:20 - 11:45	Elvira Albert, Samir Genaim and Pablo Gordillo May-Happen-in-Parallel Analysis with Returned Futures
11:45 - 12:05	[Tool Paper] Krishnendu Chatterjee, Amir Kafshdar Goharshady and Andreas Pavlogiannis JTDec: A Tool for Tree Decompositions in Soot
12:05 - 13:35	Lunch break
	Session II: Invariant Synthesis (Chair: Peter Schrammel)
13:35 - 14:00	Manuel Montenegro, Susana Nieva, Ricardo Peña and Clara Segura Liquid Types for Array Invariant Synthesis
14:00 - 14:25	Steven De Oliveira, Saddek Bensalem and Virgile Prevosto Synthesizing invariants by solving solvable loops
14:25 - 14:50	Nuno Macedo, Alcino Cunha and Eduardo Pessoa Exploiting Partial Knowledge for Efficient Model Analysis
14:50 - 15:20	Tea/Coffee break
	Session III: Hybrid Systems/Security (Chair: S Akshay)
15:20 - 15:45	Abdullah Abdul Khadir, Madhavan Mukund and S P Suresh Knowledge transfer and information leakage in protocols
15:45 - 16:10	Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang and Radu Grosu Attacking the V: On the Resiliency of Adaptive-Horizon MPC
16:10 - 16:35	Krishna S., Ashutosh Trivedi, Aviral Kumar, Fabio Somenzi and Behrouz Touri The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
16:35 - 16:45	Closing Remarks