Program Committee POPL 2017

Andrew D. Gordon Chair

Microsoft Research and University of Edinburgh

United Kingdom

Martin Abadi

Google

Josh Berdine

Facebook

Johannes Borgström

Uppsala University

Avik Chaudhuri

Facebook

United States

Adam Chlipala

MIT

United States

Derek Dreyer

MPI-SWS

Kathleen Fisher

Tufts University

Marco Gaboardi

SUNY Buffalo, USA

Italy

Ronald Garcia

University of British Columbia

Cătălin Hriţcu

Inria Paris

Bart Jacobs

iMinds - Distrinet, KU Leuven

Belgium

Ranjit Jhala

University of California, San Diego

Limin Jia

Carnegie Mellon University

China

Zachary Kincaid

Princeton University

United States

Dexter Kozen

Cornell University

United States

Akash Lal

Microsoft Research India

India

Isabella Mastroeni

University of Verona, Italy

Italy

Andrew Myers

Cornell University

Michele Pagani

IRIF, Université Paris Diderot

Italy

Mooly Sagiv

Tel Aviv University

Israel

Ilya Sergey

University College London

United Kingdom

Sharon Shoham

Tel Aviv university

Israel

Rishabh Singh

Microsoft Research

India

Sam Staton

University of Oxford

Eijiro Sumii

Tohoku University

David Van Horn

University of Maryland, College Park

Nobuko Yoshida

Imperial College London, UK

Francesco Zappa Nardelli

Inria

Italy