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

SPIN will feature three great keynote addresses by:

  • Domagoj Babic, Google, Inc.
  • Byron Cook, Amazon Web Services
  • Gerard Holzmann, Nimble Research

more on Keynote Speakers

Dates
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

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

Fri 14 Jul

Displayed time zone: Tijuana, Baja California change

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