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

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
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

:
: