Program Committee CPP

Mauricio Ayala-Rincon Committee Member

University of Brasília

Brazil

Ana Bove Committee Member

Chalmers University of Technology, Sweden

Aaron Dutle Committee Member

Chris Hawblitzel Committee Member

Microsoft Research

Aquinas Hobor Committee Member

Johannes Hölzl Committee Member

Vrije Universiteit Amsterdam

Netherlands

Chantal Keller Committee Member

LRI, Université Paris-Sud

France

Gerwin Klein Committee Member

UNSW, Australia

Daniel R. Licata Committee Member

Wesleyan University

United States

Assia Mahboubi Program Co-Chair

INRIA

France

Jean Everson Martina Committee Member

UFSC - Universidade Federal de Santa Catarina

Brazil

Toby Murray Committee Member

University of Melbourne, Australia

Australia

Magnus O. Myreen Program Co-Chair

Chalmers University of Technology, Sweden

Sweden

André Platzer Committee Member

Carnegie Mellon University

United States

Andrei Popescu Committee Member

Middlesex University, London

United Kingdom

Giselle Reis Committee Member

Carnegie Mellon University

Anna Slobodova Committee Member

Christian Sternagel Committee Member

University of Innsbruck, Austria

Austria

Enrico Tassi Committee Member

INRIA

France

Zachary Tatlock Committee Member

University of Washington, Seattle

United States

Bow-Yaw Wang Committee Member

Tjark Weber Committee Member

Uppsala University

Sweden