Organizing Committee
|
General and Program Chairs |
Roope Kaivola
Thomas Wahl |
Intel (Portland, OR)
Northeastern University (Boston, MA) |
|---|---|---|
|
Publication Chair |
Yale University
|
|
|
Student Forum Chair |
Vienna University of Technology
|
|
|
Tutorial Chairs |
Malay Ganai
Chao Wang |
Atrenta
Virginia Tech |
|
Local Arrangements Chair & Webmaster |
The University of Texas at Austin
|
Program Committee
|
Domagoj Babic
|
Google
|
|
Armin Biere
|
Johannes Kepler University
|
|
Per Bjesse
|
Synopsys
|
|
Nikolaj Bjorner
|
Microsoft Research
|
|
Roberto Bruttomesso
|
ALES/United Technologies
|
|
Gianpiero Cabodi
|
Politecnico di Torino
|
|
Alessandro Cimatti
|
FBK-irst
|
|
Hana Chockler
|
King's College
|
|
Bruno Dutertre
|
SRI International
|
|
John Havlicek
|
Cadence Design Systems
|
|
Keijo Heljanko
|
Aalto University
|
|
Alan Hu
|
University of British Columbia
|
|
Roope Kaivola (co-chair)
|
Intel
|
|
Daniel Kroening
|
University of Oxford
|
|
Panagiotis Manolios
|
Northeastern University
|
|
Ken McMillan
|
Microsoft Research
|
|
Naren Narasimhan
|
Calypto
|
|
Lee Pike
|
Galois
|
|
Ruzica Piskac
|
Yale University
|
|
Sandip Ray
|
Intel
|
|
Philipp Ruemmer
|
Uppsala University
|
|
Andrey Rybalchenko
|
Microsoft Research
|
|
Julien Schmaltz
|
Eindhoven University of Technology
|
|
Natasha Sharygina
|
Universita' della Svizzera Italiana
|
|
Anna Slobodova
|
Centaur Technology
|
|
Niklas Sorensson
|
Chalmers University of Technology
|
|
Daryl Stewart
|
ARM
|
|
Murali Talupur
|
Intel Corporation
|
|
Helmut Veith
|
Vienna University of Technology
|
|
Thomas Wahl (co-chair)
|
Northeastern University
|
|
Georg Weissenbacher
|
Vienna University of Technology
|
Steering Committee
|
Johannes Kepler University in Linz, Austria
|
|
|
University of British Columbia, Canada
|
|
|
The University of Texas at Austin, USA
|