Write a Blog >>
SPIN 2017
Thu 13 - Fri 14 July 2017
Santa Barbara, California, United States
co-located with
ISSTA 2017
Toggle navigation
Attending
Venue: University of California, Santa Barbara
Registration and Accommodations
Visas and Travel
Program
SPIN Program
Your Program
Call for Papers
Accepted Papers
Keynote Speakers
Proceedings
Thu 13 Jul
Fri 14 Jul
Tracks
SPIN 2017
SPIN Agenda
SPIN Keynote
SPIN Full Paper
SPIN Short Paper
RERS
Organization
SPIN 2017 Committees
Organizing Committee
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2017
(
series
) /
SPIN 2017
(
series
) /
Keynotes
SPIN 2017
About
Program
Speakers and Talk Titles
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
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
SPIN 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 4
SPIN 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 10
SPIN 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
Speakers and Talk Titles
Title
Byron Cook: Automated Formal Reasoning About Amazon Web Services
SPIN Keynote
Domagoj Babic: SunDew - Systematic Automated Security Testing.
SPIN Keynote
Gerard Holzmann: Cobra - Fast Structural Code Checking
SPIN Keynote
x
Sat 21 Dec 15:06