Program Committee POPL Research Papers

Aaron Stump

The University of Iowa, USA

United States

Alan Jeffrey

Mozilla Research

United States

Andreas Abel

Gothenburg University

Sweden

Andreas Podelski

University of Freiburg, Germany

Germany

Andrew Tolmach

Portland State University

Aws Albarghouthi

University of Wisconsin-Madison

Benjamin Delaware

Purdue University

Claudio Russo

Microsoft Research

Danel Ahman

University of Ljubljana

Slovenia

David Naumann

Stevens Institute of Technology

Dimitrios Vytiniotis

Microsoft Research, Cambridge

Dominic Orchard

University of Kent, UK

United Kingdom

Gabriel Scherer

INRIA Saclay

France

Gavin Bierman

Oracle Labs

United Kingdom

Heather Miller

Carnegie Mellon University

Hongjin Liang

Nanjing University, China

China

Hugo Herbelin

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore

Jacques Garrigue

Nagoya University

Japan

Jan Hoffmann

Carnegie Mellon University

United States

Jean-Philippe Bernardy

University of Gothenburg

June Andronick

Data61,CSIRO (formerly NICTA) and UNSW

Australia

Justin Hsu

University of Wisconsin-Madison, USA

United States

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Martin Erwig

Oregon State University

United States

Matthew J. Parkinson

Microsoft Research, UK

United Kingdom

Mayur Naik

University of Pennsylvania

Michael D. Adams

University of Utah

United States

Michael Emmi

SRI International

United States

Michael Greenberg

Pomona College

Nate Foster

Cornell University

United States

Nicolas Tabareau

Inria

France

Nikhil Swamy

Microsoft Research

United States

Niki Vazou

IMDEA Software Institute

Nils Anders Danielsson

University of Gothenburg, Chalmers University of Technology

Noam Zeilberger

University of Birmingham, UK

Ori Lahav

Tel Aviv University

Patricia Johann

Appalachian State University

Peter O'Hearn

Facebook

Peter Selinger

Dalhaousie University

Radu Grigore

University of Kent

United Kingdom

Robbert Krebbers

Delft University of Technology

Netherlands

Robert Atkey

University of Strathclyde

Ryan R. Newton

Indiana University

United States

Sam Tobin-Hochstadt

Indiana University

United States

Scott Owens

University of Kent, UK

United Kingdom

Suresh Jagannathan

Purdue University

Swarat Chaudhuri

Rice University

Zhenjiang Hu

National Institute of Informatics

Japan

Matthew Hammer

None

United States

Stephanie Weirich

University of Pennsylvania, USA

United States