Program Day 3 - Thursday 19/11/2015

09:00 - 10:00 Keynote: Fight for the Future of Verification; Live In It Today,
Stephen Bailey, Director of Emerging Technologies, Mentor Graphics
Session Chair: Laurent Fournier

10:00 - 11:00 Technical Session: Model Checking
Chair: Orna Grumberg

Limited Mobility, Eventual Stability,
Lenore Zuck and Sanjiva Prasad

A new Refinement Strategy for CEGAR-based Industrial Model Checking,
Martin Leucker, Grigory Markin and Martin R. Neuhäußer

11:00 - 11:30 Coffee Break

11:30 - 13:00 Industry Session
Chair: Dmitry Pidan

Static Analysis based Software Verification,
Evgueni Kolossov, The Programming Research Group

The Challenge in Verification and Test of SoC for Smartphones,
Gad Shavit, Qualcomm

Being Mr. Robot: Why Hackers Win,
David Kaplan, IBM

13:00 - 13:30 Technical Session: Multi-Domain Verification
Chair: Avi Ziv

Multi-Domain Verification of Power, Clock and Reset Domains,
Ping Yeung and Eugene Mandel

13:30 - 15:00 Lunch

15:00 - 16:00 HVC Award Ceremony
Chair: Michael Vinov

SAT Solving for Model Checking and Beyond,
Prof. Armin Biere, Johannes Kepler University

16:00 - 16:30 Coffee Break

16:30 - 17:30 Technical Session: Synthesis
Chair: Eli Singerman

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction,
Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas Veneris, Barbara Jobstmann and Paolo Ienne

On switching aware synthesis for combinational circuits,
Jan Lanik and Oded Maler

17:30 - 17:45 Concluding remarks