Program Day 1 - Tuesday 17/11/2015
08:30 - 09:15 Registration and Welcome
09:15 - 09:30 Opening Remarks
09:30 - 10:30 Keynote: Between Testing and Verification: Software Model Checking via Systematic Testing,
Patrice Godefroid, Microsoft Research
Session Chair: Nir Piterman
10:30 - 11:30 Technical Session: Hybrid Systems
Chair: Moshe Vardi
XSpeed: Accelerating Reachability Analysis on MultiCore Processors,
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov and Radu Grosu
Abstraction-based Parameter Synthesis for Multiaffine Systems,
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong and Radu Grosu
11:30 - 12:00 Coffee Break
12:00 - 13:00 Technical Session: Tools
Chair: Stephen Bailey
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed,
Balázs Kiss, Nikolai Kosmatov, Dillon Pariente and Armand Puccetti
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process,
Raviv Gal, Avi Ziv, Michael Behm, Klaus-Dieter Schubert, John Reysa, Gil Shurek, Moab Arar, Einat Kermany, Alex Goldin, Bilal Saleh, Odellia Boni and Maxim Ilyaev
13:00 - 13:30 Technical Session: Verification of Robotics
Chair: Karen Yorav
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans,
Dejanira Araiza-Illan, David Western, Anthony Pipe and Kerstin Eder
13:30 - 15:00 Lunch
15:00 - 16:00 Special Invited Guest: Verification Tribes, their Habits and Terminologies,
Yoav Hollander, Founder, Foretellix ltd
Session Chair: Moshe Levinger
16:00 - 16:30 Coffee Break
16:30 - 18:00 Technical Session: Symbolic Execution
Chair: Patrice Godefroid
PANDA: Simultaneous Predicate Abstraction and Concrete Execution,
Jakub Daniel and Pavel Parizek
Parallel Symbolic Execution: Merging In-Flight Requests,
Martin Nowack, Katja Tietze and Christof Fetzer
TSO to SC via symbolic execution,
Heike Wehrheim and Oleg Travkin
18:00 - 19:00 Reception, poster session, and tool demo