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
Wed 12 Jul 2017
Thu 13 Jul 2017
Fri 14 Jul 2017
Rooms
Bren 1424
ESB 1001
ESB Courtyard
Mosher Alumni House
Tracks
SPIN Agenda
SPIN Full Paper
SPIN Keynote
SPIN Short Paper
SPIN Catering
SPIN RERS
Badges
Nothing to filter
Your Program
Nothing to filter
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 |