Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
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

Conference Day
Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

08:30 - 09:30
Session 1SPIN Keynote at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University
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 HavelundNASA/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

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

Conference Day
Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

13:30 - 14:30
Session 10SPIN Keynote at ESB 1001
Chair(s): Yliès FalconeUniv. 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

17:10 - 17:30
Session 14SPIN Agenda at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University, Pedro Merino Gomez
17:10
20m
Day closing
SPIN 2018, Best Paper Awards, and Closing
SPIN Agenda