Program Committee POPL Research Papers

Robert Atkey

University of Strathclyde

United Kingdom

Andrej Bauer

University of Ljubljana

Bor-Yuh Evan Chang

University of Colorado Boulder

Alastair F. Donaldson

Imperial College London

United Kingdom

Philippa Gardner

Imperial College London

United Kingdom

Alexey Gotsman

IMDEA

Arie Gurfinkel

Carnegie Mellon University

United States

Chung-Kil Hur

Seoul National University

Somesh Jha

University of Wisconsin, Madison

Aditya Kanade

Indian Institute of Science

Laura Kovacs

Chalmers University of Technology

Shriram Krishnamurthi

Brown University

United States

Viktor Kunčak

EPFL

Marta Kwiatkowska

University of Oxford

Boris Köpf

IMDEA

Matteo Maffei

Saarland University

Germany

Rupak Majumdar

MPI-SWS

David Monniaux

CNRS, VERIMAG

Madan Musuvathi

Prakash Panangaden

McGill University

India

Frank Pfenning

Carnegie Mellon University

Germany

Frank Piessens

iMinds - Distrinet, KU Leuven

Belgium

Corina S. Păsăreanu

NASA Ames Research Center

Tiark Rompf

Purdue & Oracle Labs

Alexandra Silva

Radboud University Nijmegen

Manu Sridharan

Samsung Research America

Ashish Tiwari

SRI International

Emina Torlak

University of Washington

United States