Program Committee VMCAI

Jade Alglave

University College London

France

Roderick Bloem

Institute of Software Technology, Graz University of Technology

Wei-Ngan Chin

National University of Singapore

Maria Christakis

MPI-SWS

Germany

Patrick Cousot

Işıl Dillig Program Co-Chair

UT Austin

Laure Gonnord

University of Lyon & LIP, France

France

Eric Koskinen

Stevens Institute of Technology

Laura Kovacs

Chalmers University of Technology

Paddy Krishnan

Ondřej Lhoták

University of Waterloo, Canada

Ruben Martins

Carnegie Mellon University

Portugal

Kenneth L. McMillan

Microsoft Research

United States

Daniel Neider

Max Planck Institute for Software Systems

Germany

Jens Palsberg Program Co-Chair

University of California, Los Angeles (UCLA)

Andreas Podelski

University of Freiburg, Germany

Germany

Corina S. Păsăreanu

NASA Ames Research Center

Xiaokang Qiu

Purdue University

United States

Noam Rinetzky

Tel Aviv University

Israel

Philipp Ruemmer

Uppsala University

Sweden

Roopsha Samanta

Purdue University

Rahul Sharma

Microsoft Research

India

Ana Sokolova

University of Salzburg

Tachio Terauchi

Waseda University

Thomas Wahl

Northeastern University

Thomas Wies

New York University

Charles Zhang