Program committee



Name Affiliation
Michael Homer Victoria University of Wellington
Anton Burtsev University of California, Irvine
Chia-Che Tsai Texas A&M University
Linhai Song Pennsylvania State University
Antoine Kaufmann MPI-SWS
Clément Pit-Claudel MIT CSAIL
Stephen Kell King's College London
Jeehoon Kang KAIST
Alain Tchana ENS Lyon, France
Pierre-Evariste Dagand chair CNRS - IRIF
Hui Lu Binghamton University
Carsten Weinhold Barkhausen Institute
Gustavo Petri ARM Research, Cambridge, UK
Faria Kalim Apple Inc