ISSTA 2017 (series) / SPIN 2017 (series) /
SPIN 2017 Program
This is the SPIN 2017 program - see the full program for ISSTA 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 12 JulDisplayed time zone: Tijuana, Baja California change
Wed 12 Jul
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 60mDay opening | RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) RERS | ||
10:30 - 12:00 | |||
10:30 90mTalk | Approaches and Results (presentations by participants) RERS | ||
13:30 - 15:00 | |||
13:30 45mTalk | Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) RERS | ||
14:15 45mTalk | Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) RERS | ||
15:30 - 16:30 | |||
15:30 60mTalk | Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) RERS | ||
16:30 - 17:30 | |||
16:30 60mDay closing | Discussion Panel RERS | ||
Thu 13 JulDisplayed time zone: Tijuana, Baja California change
Thu 13 Jul
Displayed time zone: Tijuana, Baja California change
08:30 - 09:30 | Session 1SPIN Keynote at ESB 1001 Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory | ||
08:30 60mTalk | Gerard Holzmann: Cobra - Fast Structural Code Checking SPIN Keynote | ||
09:30 - 10:00 | Session 2: Symbolic VerificationSPIN Full Paper at ESB 1001 Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory | ||
09:30 30mTalk | Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol) SPIN Full Paper | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
13:30 - 14:30 | |||
13:30 60mTalk | Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote | ||
14:30 - 15:00 | |||
14:30 30mTalk | Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language (Daniel Ratiu and Andreas Ulrich) SPIN Full Paper | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 16:30 | |||
15:30 30mTalk | Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone) SPIN Full Paper | ||
16:00 30mTalk | Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Srinivas Pinisetty, Partha Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden) SPIN Full Paper | ||
18:30 - 20:30 | |||
18:30 2hDinner | Dinner Catering | ||
Fri 14 JulDisplayed time zone: Tijuana, Baja California change
Fri 14 Jul
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | Session 8: Program Synthesis SPIN Full Paper at ESB 1001 Chair(s): Stefan Leue University of Konstanz | ||
08:30 30mTalk | Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay and Danny Bøgsted Poulsen) SPIN Full Paper | ||
09:00 30mTalk | An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space (John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan and Dominik Wojtczak) SPIN Full Paper | ||
09:30 30mTalk | A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe) SPIN Full Paper | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Backward Coverability with Pruning for Lossy Channel Systems (Thomas Geffroy, Jérôme Leroux and Grégoire Sutre) SPIN Full Paper | ||
11:00 30mTalk | Model Learning and Model Checking of SSH Implementations (Paul Fiterau-Brostean, Frits Vaandrager, Erik Poll, Joeri de Ruiter, Toon Lenaerts and Patrick Verleg) SPIN Full Paper | ||
11:30 30mTalk | CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir Touili) SPIN Full Paper | ||
13:30 - 14:30 | |||
13:30 60mTalk | Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote | ||
14:30 - 15:00 | |||
14:30 30mTalk | EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid) SPIN Full Paper | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 16:30 | |||
15:30 30mTalk | Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) (Michalis Kokologiannakis and Konstantinos Sagonas) SPIN Full Paper | ||
16:00 30mTalk | Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid) SPIN Full Paper | ||
16:30 - 17:10 | |||
16:30 20mTalk | Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (Laura Panizo, Alberto Salmerón, Maria Del Mar Gallardo and Pedro Merino) SPIN Short Paper | ||
16:50 20mTalk | ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Loring, Duncan Mitchell and Johannes Kinder) SPIN Short Paper | ||
17:10 - 17:30 | Session 14SPIN Agenda at ESB 1001 Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory, Pedro Merino Gomez | ||
17:10 20mDay closing | SPIN 2018, Best Paper Awards, and Closing SPIN Agenda | ||