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
Complete 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
) /
Program Committee
SPIN 2017
Erika Abraham
RWTH Aachen University
Germany
Christel Baier
TU Dresden, Germany
Germany
Thomas Ball
Microsoft Research
United States
Ezio Bartocci
Technische Universität Wien
Austria
Dirk Beyer
LMU Munich
Germany
Armin Biere
Johannes Kepler University
Austria
Dragan Bosnacki
Eindhoven University of Technology
Netherlands
Zmago Brezocnik
University of Maribor
Slovenia
Sagar Chaki
Carnegie Mellon Software Engineering Institute
United States
Alessandro Cimatti
Fondazione Bruno Kessler
Italy
Lucas Cordeiro
University of Oxford
United Kingdom
Patrice Godefroid
Microsoft Research
United States
Susanne Graf
Verimag
France
Radu Grosu
Vienna University of Technology
Austria
Arie Gurfinkel
University of Waterloo
Canada
Gerard Holzmann
NASA/Caltech Jet Propulsion Laboratory
United States
Rajeev Joshi
NASA/Caltech Jet Propulsion Laboratory
United States
Sarfraz Khurshid
University of Texas at Austin
United States
Kim Larsen
Aalborg University
Denmark
Stefan Leue
University of Konstanz
Germany
Alice Miller
University of Glasgow
United Kingdom
Doron Peled
Bar Ilan University
Israel
Corina S. Păsăreanu
NASA Ames Research Center
United States
Neha Rungta
Amazon Web Services
United States
Theo Ruys
RUwise
Netherlands
Scott Smolka
Stony Brook University
United States
Scott Stoller
Stony Brook University
United States
Jun Sun
Singapore University of Technology and Design
Singapore
Oksana Tkachuk
Amazon Web Services
United States
Stavros Tripakis
Aalto University and UC Berkeley
Finland
Willem Visser
Stellenbosch University
South Africa
Farn Wang
National Taiwan University
Taiwan
Michael Whalen
University of Minnesota
United States
Anton Wijs
Eindhoven University of Technology
Netherlands
x
Fri 8 Nov 00:12