Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Session 2RERS at Bren 1424
10:30 - 12:00
Talk
Approaches and Results (presentations by participants)
RERS
16:30 - 17:30: Session 5RERS at Bren 1424
16:30 - 17:30
Day closing
Discussion Panel
RERS

Thu 13 Jul
Times are displayed in 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 - 09:30
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 - 10:00
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 - 10:30
Coffee break
Break
Catering
13:30 - 14:30: Session 4SPIN Keynote at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
13:30 - 14:30
Talk
Byron Cook: Automated Formal Reasoning About Amazon Web Services
SPIN Keynote
15:00 - 15:30: Thursday PM BreakCatering at ESB Courtyard
15:00 - 15:30
Coffee break
Break
Catering
18:30 - 20:30: SPIN ReceptionCatering at Mosher Alumni House
18:30 - 20:30
Dinner
Dinner
Catering

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

10:00 - 10:30: Friday AM BreakCatering at ESB Courtyard
10:00 - 10:30
Coffee break
Break
Catering
13:30 - 14:30: Session 10SPIN Keynote at ESB 1001
Chair(s): Yliès FalconeUniv. Grenoble Alpes, Inria
13:30 - 14:30
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 - 15:00
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 - 15:30
Coffee break
Break
Catering
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 - 17:30
Day closing
SPIN 2018, Best Paper Awards, and Closing
SPIN Agenda

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)