Write a Blog >>
SPIN 2017
co-located with ISSTA 2017

Dates
Rooms
Tracks
Badges
Your 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:00 - 10:30
Thursday AM BreakCatering at ESB Courtyard
10:00
30m
Coffee break
Break
Catering

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

15:00 - 15:30
Thursday PM BreakCatering at ESB Courtyard
15:00
30m
Coffee break
Break
Catering

18:30 - 20:30
SPIN ReceptionCatering at Mosher Alumni House
18:30
2h
Dinner
Dinner
Catering

Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

10:00 - 10:30
Friday AM BreakCatering at ESB Courtyard
10:00
30m
Coffee break
Break
Catering

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:00 - 15:30
Friday PM BreakCatering at ESB Courtyard
15:00
30m
Coffee break
Break
Catering

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