POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
  • Attending
    • Venue: Omni Hotel
    • Registration
    • Code of Conduct
    • Supporting POPL
    • Childcare
    • Students
    • Visa Support Letter
    • Accessibility
    • Remote Participation
  • Program
    • POPL Program
    • Your Program
    • Proceedings
    • Filter by Day
      • Sun 7 Jan
      • Mon 8 Jan
      • Tue 9 Jan
      • Wed 10 Jan
      • Thu 11 Jan
      • Fri 12 Jan
      • Sat 13 Jan
  • Tracks
      • POPL 2018
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Co-hosted Conferences
      • CPP
        • CPP
        • CPP
      • VMCAI
      • Workshops
      • PPS
      • CoqPL
      • NetPL
      • Off the Beaten Track
      • PEPM
      • PLMW
      • PriSC
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2018 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Program Committee
      • VMCAI
        • Invited Speakers
        • Invited Tutorial
        • Organizing Committee
        • Travel Grants
        • Program Committee
      • Workshops
      • PPS
        • Program Committee
      • CoqPL
        • Organizing Committee
        • Program Committee
      • NetPL
        • Organizing Committee
      • Off the Beaten Track
        • Organizing Committee
        • Program Committee
      • PEPM
        • Programme Committee
        • Steering Committee
      • PLMW
        • Speakers
        • Panelists
        • Organizers
      • PriSC
        • Program Committee
        • Organizing Committee
      • Co-hosted Symposia
      • PADL
        • Publicity Chair
  • Search
  • Series
    • Series
    • POPL 2026
    • 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 2018 (series) / Research Papers /

Program Committee POPL Research Papers

Andrew Myers

Andrew Myers Program Chair

Cornell University

United States

small-avatar

Thorsten Altenkirch Committee Member

University of Nottingham

Nada Amin

Nada Amin Committee Member

University of Cambridge

United Kingdom

Gilles Barthe

Gilles Barthe Committee Member

IMDEA Software Institute

Mark Batty

Mark Batty Committee Member

University of Kent

United Kingdom

Lars Birkedal

Lars Birkedal Committee Member

Aarhus University

Pavol Cerny

Pavol Cerny Committee Member

University of Colorado Boulder

Slovakia

James Cheney

James Cheney Committee Member

University of Edinburgh, UK

United States

Koen Claessen

Koen Claessen Committee Member

Chalmers University of Technology

William Cook

William Cook † 2021 Committee Member

University of Texas at Austin

small-avatar

Karl Crary Committee Member

Carnegie Mellon University

Loris D'Antoni

Loris D'Antoni Committee Member

University of Wisconsin–Madison

Italy

Mila Dalla Preda

Mila Dalla Preda Committee Member

University of Verona, Italy

Işıl Dillig

Işıl Dillig Committee Member

UT Austin

Sophia Drossopoulou

Sophia Drossopoulou Committee Member

Constantin Enea

Constantin Enea Committee Member

Université Paris Diderot

France

Azadeh Farzan

Azadeh Farzan Committee Member

University of Toronto

Canada

Xinyu Feng

Xinyu Feng Committee Member

University of Science and Technology of China

China

Atsushi Igarashi

Atsushi Igarashi Committee Member

Kyoto University, Japan

Japan

Laura Kovacs

Laura Kovacs Committee Member

Chalmers University of Technology

Neel Krishnaswami

Neel Krishnaswami Committee Member

Computer Laboratory, University of Cambridge

Sorin Lerner

Sorin Lerner Committee Member

University of California, San Diego

Xavier Leroy

Xavier Leroy Committee Member

Inria

small-avatar

Conor McBride Committee Member

Mira Mezini

Mira Mezini Committee Member

TU Darmstadt

Germany

Matthew Might

Matthew Might Committee Member

University of Utah, USA

United States

Peter Müller

Peter Müller Committee Member

ETH Zurich

Switzerland

Santosh Nagarakatte

Santosh Nagarakatte Committee Member

Rutgers University, USA

United States

Aleksandar Nanevski

Aleksandar Nanevski Committee Member

IMDEA Software Institute

Spain

Klaus Ostermann

Klaus Ostermann Committee Member

University of Tuebingen

Germany

Ruzica Piskac

Ruzica Piskac Committee Member

Yale University

Nadia Polikarpova

Nadia Polikarpova Committee Member

University of California, San Diego

United States

Zvonimir Rakamaric

Zvonimir Rakamaric Committee Member

University of Utah

United States

Aseem Rastogi

Aseem Rastogi Committee Member

Microsoft Research

India

Grigore Roşu

Grigore Roşu Committee Member

University of Illinois at Urbana-Champaign

United States

Andrey Rybalchenko

Andrey Rybalchenko Committee Member

Microsoft Research

United Kingdom

Amr Sabry

Amr Sabry Committee Member

Indiana University

Egypt

Dave Sands

Dave Sands Committee Member

Chalmers University of Technology

Davide Sangiorgi

Davide Sangiorgi Committee Member

University of Bologna

Peter Sewell

Peter Sewell Committee Member

University of Cambridge

Zhong Shao

Zhong Shao Committee Member

Yale University

Yannis Smaragdakis

Yannis Smaragdakis Committee Member

University of Athens

Zhendong Su

Zhendong Su Committee Member

University of California, Davis

United States

Éric Tanter

Éric Tanter Committee Member

University of Chile

Chile

Zachary Tatlock

Zachary Tatlock Committee Member

University of Washington, Seattle

United States

Tachio Terauchi

Tachio Terauchi Committee Member

Waseda University

Viktor Vafeiadis

Viktor Vafeiadis Committee Member

MPI-SWS, Germany

Greece

Philip Wadler

Philip Wadler Committee Member

University of Edinburgh, UK

United Kingdom

David Walker

David Walker Committee Member

Princeton University

United States

Stephanie Weirich

Stephanie Weirich Committee Member

University of Pennsylvania, USA

United States

Jean Yang

Jean Yang Committee Member

Carnegie Mellon University

Danfeng Zhang

Danfeng Zhang Committee Member

Pennsylvania State University

United States

xFri 23 May 14:11

POPL 2018

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers

Co-hosted Conferences

CPP 2018
VMCAI 2018

Workshops

PPS 2018
CoqPL 2018
NetPL 2018
Off the Beaten Track 2018
PEPM 2018
PLMW 2018
PriSC 2018

Co-hosted Symposia

PADL 2018

Attending

Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Sign Up