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

Keynote Speakers

Previous Conferences

See us on Linked In See us on Facebook