Program Committee VMCAI

Miltiadis Allamanis

Microsoft Research, Cambridge

United Kingdom

Timos Antonopoulos

Yale University

Domagoj Babic

Google, Inc.

United States

Josh Berdine

Facebook

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Patrick M. Cousot

Cezara Drăgoi

INRIA, ENS, CNRS

France

Constantin Enea

Université Paris Diderot

France

Javier Esparza

Jerome Feret

INRIA Paris

France

Khalil Ghorbal

Roberto Giacobazzi

University of Verona and IMDEA Software Institute

Italy

Alberto Griggio

Fondazione Bruno Kessler

Italy

Jan Kretinsky

K Narayan Kumar

Chennai Mathematical Institute

India

Ori Lahav

Tel Aviv University

Anthony Widjaja Lin

Oxford University

United Kingdom

Ruben Martins

Carnegie Mellon University

Portugal

Kedar Namjoshi

Bell Labs, Nokia

Dejan Nickovic

Austrian Institute of Technology

Jens Palsberg

University of California, Los Angeles (UCLA)

Ruzica Piskac

Yale University, USA

Sylvie Putot

École Polytechnique

Daniel Schwartz-Narbonne

Amazon, n.n.

Martina Seidl

Sharon Shoham

Tel Aviv university

Israel

Caterina Urban

Inria & École Normale Supérieure | Université PSL

France

Lenore Zuck

Damien Zufferey

MPI-SWS