Write a Blog >>
ISSTA 2017
Mon 10 - Fri 14 July 2017 Santa Barbara, California, United States
ISSTA 2017 (series) / University of California, Santa Barbara /

Room information: ESB 1001

VenueUniversity of California, Santa Barbara
Room nameESB 1001
Floor1
Room number1001
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
60m
Talk
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
30m
Talk
Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol)
SPIN Full Paper

10:30 - 12:00
Session 3: Model CheckingSPIN Full Paper at ESB 1001
Chair(s): Neha Rungta Amazon Web Services
10:30
30m
Talk
Addressing Challenges In Obtaining High Coverage When Model Checking Android Applications (Heila Botha, Oksana Tkachuk, Brink Van Der Merwe and Willem Visser)
SPIN Full Paper

11:00
30m
Talk
 LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Ehsan Khamespanah and Ramtin Khosravi)
SPIN Full Paper

11:30
30m
Talk
Explicit State Model Checking with Generalized Büchi and Rabin Automata (Vincent Bloemen, Alexandre Duret-Lutz and Jaco van de Pol)
SPIN Full Paper

13:30 - 14:30
Session 4SPIN Keynote at ESB 1001
Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory
13:30
60m
Talk
Byron Cook: Automated Formal Reasoning About Amazon Web Services
SPIN Keynote

14:30 - 15:00
Session 5: Code VerificationSPIN Full Paper at ESB 1001
Chair(s): Alberto Salmeron
14:30
30m
Talk
Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language (Daniel Ratiu and Andreas Ulrich)
SPIN Full Paper

15:30 - 16:30
Session 6: Runtime EnforcementSPIN Full Paper at ESB 1001
Chair(s): Axel Legay
15:30
30m
Talk
Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone)
SPIN Full Paper

16:00
30m
Talk
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Srinivas Pinisetty, Partha Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden)
SPIN Full Paper

16:30 - 17:30
Session 7: Model CheckingSPIN Short Paper at ESB 1001
Chair(s): Pedro Merino Gomez
16:30
20m
Talk
SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lucas Wagner, David Greve and Andrew Gacek)
SPIN Short Paper

16:50
20m
Talk
Verification-Driven Development of Icarous Based on Automatic Reachability Analysis (Marco Antonio Feliu Gabaldon, Camilo Rocha and Swee Balachandran)
SPIN Short Paper

17:10
20m
Talk
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories (Marcello M. Bersani, Madalina Erascu, Francesco Marconi, Silvio Ghilardi and Matteo Rossi)
SPIN Short Paper

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
30m
Talk
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
30m
Talk
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
30m
Talk
A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe)
SPIN Full Paper

10:30 - 12:00
Session 9: Model CheckingSPIN Full Paper at ESB 1001
Chair(s): Konstantinos (Kostis) Sagonas
10:30
30m
Talk
Backward Coverability with Pruning for Lossy Channel Systems (Thomas Geffroy, Jérôme Leroux and Grégoire Sutre)
SPIN Full Paper

11:00
30m
Talk
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
30m
Talk
CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir Touili)
SPIN Full Paper

13:30 - 14:30
Session 10SPIN Keynote at ESB 1001
Chair(s): Yliès Falcone Univ. Grenoble Alpes, Inria
13:30
60m
Talk
Domagoj Babic: SunDew - Systematic Automated Security Testing.
SPIN Keynote

14:30 - 15:00
Session 11: Program SketchingSPIN Full Paper at ESB 1001
Chair(s): Madalina Erascu
14:30
30m
Talk
EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid)
SPIN Full Paper

15:30 - 16:30
Session 12: TestingSPIN Full Paper at ESB 1001
Chair(s): Jaco van de Pol University of Twente
15:30
30m
Talk
Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) (Michalis Kokologiannakis and Konstantinos Sagonas)
SPIN Full Paper

16:00
30m
Talk
Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid)
SPIN Full Paper

16:30 - 17:10
Session 13: TestingSPIN Short Paper at ESB 1001
Chair(s): Antoine Rollet
16:30
20m
Talk
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
20m
Talk
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
20m
Day closing
SPIN 2018, Best Paper Awards, and Closing
SPIN Agenda

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 1001

SPIN Keynote

Session 1

SPIN Full Paper

Session 2: Symbolic Verification

SPIN Full Paper

Session 3: Model Checking

SPIN Keynote

Session 4

SPIN Full Paper

Session 5: Code Verification

SPIN Full Paper

Session 6: Runtime Enforcement

SPIN Short Paper

Session 7: Model Checking

Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 1001

SPIN Full Paper

Session 8: Program Synthesis

SPIN Full Paper

Session 9: Model Checking

SPIN Keynote

Session 10

SPIN Full Paper

Session 11: Program Sketching

SPIN Full Paper

Session 12: Testing

SPIN Short Paper

Session 13: Testing

SPIN Agenda

Session 14

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ESB 1001
SPIN Keynote
Gerard Holzmann: Cobra - Fast Structural Code Checking
08:30 - 09:30
SPIN Full Paper
Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse O ...
09:30 - 10:00
SPIN Full Paper
Addressing Challenges In Obtaining High Coverage When Model Checking An ...
10:30 - 11:00
SPIN Full Paper
LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Eh ...
11:00 - 11:30
SPIN Full Paper
Explicit State Model Checking with Generalized Büchi and Rabin Automata ...
11:30 - 12:00
SPIN Keynote
Byron Cook: Automated Formal Reasoning About Amazon Web Services
13:30 - 14:30
SPIN Full Paper
Increasing Usability of Spin-based C Code Verification Using a Harness ...
14:30 - 15:00
SPIN Full Paper
Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet ...
15:30 - 16:00
SPIN Full Paper
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Sr ...
16:00 - 16:30
SPIN Short Paper
SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lu ...
16:30 - 16:50
SPIN Short Paper
Verification-Driven Development of Icarous Based on Automatic Reachabil ...
16:50 - 17:10
SPIN Short Paper
Formal Verification of Data-Intensive Applications through Model Checki ...
17:10 - 17:30

Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ESB 1001
SPIN Full Paper
Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl ...
08:30 - 09:00
SPIN Full Paper
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time an ...
09:00 - 09:30
SPIN Full Paper
A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas ...
09:30 - 10:00
SPIN Full Paper
Backward Coverability with Pruning for Lossy Channel Systems (Thomas Ge ...
10:30 - 11:00
SPIN Full Paper
Model Learning and Model Checking of SSH Implementations (Paul Fiterau- ...
11:00 - 11:30
SPIN Full Paper
CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir T ...
11:30 - 12:00
SPIN Keynote
Domagoj Babic: SunDew - Systematic Automated Security Testing.
13:30 - 14:30
SPIN Full Paper
EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Kh ...
14:30 - 15:00
SPIN Full Paper
Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-U ...
15:30 - 16:00
SPIN Full Paper
Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen ...
16:00 - 16:30
SPIN Short Paper
Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (La ...
16:30 - 16:50
SPIN Short Paper
ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Lo ...
16:50 - 17:10
SPIN Agenda
SPIN 2018, Best Paper Awards, and Closing
17:10 - 17:30