POPL 2018
Sun 7 - Sat 13 January 2018
Los Angeles, California, United States
Toggle navigation
Attending
Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Program
Complete 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 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
) /
PEPM 2018 (
series
) /
— ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
/
Programme Committee
PEPM
Fritz Henglein
Programme Co-Chair
DIKU, Denmark
Hsiang-Shang ‘Josh’ Ko
Programme Co-Chair
National Institute of Informatics, Japan
Taiwan
Nada Amin
University of Cambridge
United Kingdom
Shigeru Chiba
University of Tokyo, Japan
Japan
Olivier Danvy
Yale-NUS College, Singapore
Ronald Garcia
University of British Columbia
Simon J. Gay
University of Glasgow, UK
Andy Gill
University of Kansas, USA
Anastasia Izmaylova
Centrum Wiskunde & Informatica
Johan Jeuring
Gabriele Keller
Data61,CSIRO (formerly NICTA) and UNSW
Australia
Oleg Kiselyov
Ralf Laemmel
University of Koblenz-Landau, Germany
Julia Lawall
Inria/LIP6
Simon Peyton Jones
Microsoft Research
Frank Pfenning
Carnegie Mellon University, USA
United States
Sriram Rajamani
Microsoft Research
Norman Ramsey
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
United States
Sergei Romanenko
Keldysh Institute of Applied Mathematics of Russian Academy of Sciences
Russia
Tiark Rompf
Purdue University
United States
Peter Sestoft
IT University of Copenhagen
Wolfram Shulte
Facebook
Harald Sondergaard
Kohei Suenaga
Graduate School of Informatics, Kyoto University
Japan
Martin Vechev
ETH Zürich
Marcos Viera
University of the Republic, Uruguay
Nobuko Yoshida
Imperial College London
Ezgi Çiçek
MPI-SWS, Germany
x
Wed 9 Oct 20:29