Program Committee POPL Research Papers

Lars Birkedal PC Chair

Aarhus University

Alastair F. Donaldson

Imperial College London

United Kingdom

Alexandra Silva

University College London

United Kingdom

Alexey Gotsman

IMDEA Software Institute

Spain

Andrej Bauer

University of Ljubljana

Slovenia

Andrew W. Appel

Princeton

Andrzej Murawski

University of Oxford

United Kingdom

Arjun Guha

University of Massachusetts Amherst

Armando Solar-Lezama

Massachusetts Institute of Technology

United States

Arthur Azevedo de Amorim

Carnegie Mellon University, USA

United States

Arthur Charguéraud

Inria

France

Azalea Raad

MPI-SWS, Germany

United Kingdom

Beta Ziliani

FAMAF, UNC and CONICET

Argentina

Bor-Yuh Evan Chang

University of Colorado Boulder | Amazon

Cédric Fournet

Microsoft Research

Cezara Drăgoi

INRIA, ENS, CNRS

France

Christine Tasson

University Paris Diderot

Chung-Kil Hur

Seoul National University

Korea, South

Colin Gordon

Drexel University

United States

Dominique Devriese

Vrije Universiteit Brussel

Belgium

Eran Yahav

Technion

Israel

Eric Koskinen

Stevens Institute of Technology

Filippo Bonchi

University of Pisa

Francesco Ranzato

University of Padova

Italy

Hiroshi Unno

University of Tsukuba

Japan

Jeffrey S. Foster

Tufts University

United States

Jeremy G. Siek

Indiana University, USA

United States

Jesper Cockx

TU Delft

Netherlands

Limin Jia

Carnegie Mellon University

United States

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Margus Veanes

Microsoft Research

Matteo Cimini

University of Massachusetts Lowell

United States

Mirco Tribastone

IMT Institute for Advanced Studies Lucca, Italy

Mohsen Lesani

University of California, Riverside

Noam Rinetzky

Tel Aviv University

Israel

Ohad Kammar

University of Edinburgh

United Kingdom

Osbert Bastani

University of Pennsylvania

United States

Peter Thiemann

University of Freiburg, Germany

Pierre-Yves Strub

Ecole Polytechnique

France

Radha Jagadeesan

DePaul University

Rastislav Bodík

University of Washington

United States

Roopsha Samanta

Purdue University

Sam Lindley

The University of Edinburgh and Imperial College London

United Kingdom

Sandrine Blazy

Univ Rennes- IRISA

France

Shuvendu K. Lahiri

Microsoft Research

Steve Zdancewic

University of Pennsylvania

United States

Sukyoung Ryu

KAIST, South Korea

Susmit Sarkar

University of St. Andrews

Sylvie Putot

École Polytechnique

Thomas Wies

New York University

Tiark Rompf

Purdue University

United States

Ugo Dal Lago

University of Bologna, Italy / Inria, France

Italy

Vijay Ganesh

Georgia Institute of Technology

United States

Xavier Rival

INRIA/CNRS/ENS Paris

France