Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Online Participation
Registration
Visa
Information for Students
Code of Conduct
Supporting POPL
Program
Complete Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Tracks
POPL 2019
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Workshops
Co-hosted Conferences
CPP
VMCAI
Workshops
BEAT
CoqPL
LAFI
(né PPS)
OPCT
Off the Beaten Track
PEPM
PLMW
@POPL
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Workshops
BEAT
Organizing Committee
Program Committee
CoqPL
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
OPCT
Organizing Committee
Program Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers
Panelists
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
Organizing Committee
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2019
(
series
) /
Research Papers
/
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
x
Sat 5 Oct 08:12