Program Day 1 - Tuesday 5/11/2013

08:30 Registration

08:45 Opening Remarks,
Moshe Levinger, DGM, Verification and Cognitive computing, IBM research - Haifa

09:00 Keynote: EDA in the Cloud,
Dr. Leon Stok, IBM, USA

10:00 Break

10:30 Session 1: SAT- and SMT - based verification
Chair: Armin Biere

10:30 Backbones for Equality,
Michael Codish, Yoav Fekete, and Amit Metodi

10:55 PASS: String Solving with Parameterized Array and Interval Automation,
Guodong Li and Indradeep Ghosh

11:20 Increasing Confidence in Liveness Model Checking Results with Proofs,
Tuomas Kuismin

11:45 Speeding Up the Safety Verification of Programmable Logic Controller Code,
Tim Lange, Martin Neuhäußer, and Thomas Noll

12:40 Keynote Speaker: Opportunities and Challenges for High Performance Microprocessor Designs and Design Automation,
Dr. Ruchir Puri, IBM, USA

13:40 Lunch

14:40 Session 2: Software testing track
Chair: Shmuel Ur

14:40 Modeling Firmware as Service Functions and its Application to Test Generation,
Sunha Ahn and Sharad Malik

15:05 Symbolic Model-Based Testing for Industrial Automation Software,
Sabrina Von Styp and Liyong Yu

15:30 Break

15:45 Session 3: Software testing track
Chair: Mark Trakhtenbrot

15:45 Online testing of LTL properties for Java code,
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccohene

16:10 ModBat: A Model-based API Tester for Event-driven Systems,
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto

16:35 Predictive Taint Analysis for Extended Testing of Parallel Executions,
Emmanuel Sifakis and Mounier Laurent

17:00 Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the Webinos Project (Tools and experience paper),
Tao Su, John Lyle, Andrea Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, and Christos Botsikas

17:15 Reception and Poster session