POPL 2017
Sun 15 - Sat 21 January 2017
Toggle navigation
Attending
Campus: Paris Jussieu
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits
Program
Complete Program
Your Program
Filter by Day
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Tracks
POPL 2017
Tutorials
Student Research Competition
POPL
Artifact Evaluation
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
VMCAI
VMCAI
Workshops
PPS
CoqPL
N40AI
Next 40 years of Abstract Interpretation
Off the Beaten Track
OBT
PEPM
PLMW
PLMW
PiP
RDP
SCM
TTT
Co-hosted Symposia
PADL
Organization
POPL 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Student Research Competition
POPL
Program Committee
External Review Committee
Artifact Evaluation
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Organizing Committee
Program committee
Steering Committee
Program Chairs
Workshops
PPS
Program Committee
CoqPL
Program Committee
N40AI
Organizer
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Programme Committee
PLMW
Speaker
Program Committee
PiP
Program Committee
RDP
Program Committee
SCM
Organizing Committee
TTT
Program Committee
Co-hosted Symposia
PADL
Organizing 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 2017
(
series
) /
POPL 2017
/
External Review Committee
POPL
Nada Amin
EPFL
Switzerland
June Andronick
Data61,CSIRO (formerly NICTA) and UNSW
Australia
Karthikeyan Bhargavan
INRIA
Lars Birkedal
Aarhus University
Nikolaj Bjørner
Microsoft Research
Mihai Budiu
VMware Research Group
Krishnendu Chatterjee
IST Austria
Loris D'Antoni
University of Wisconsin–Madison
Italy
Mila Dalla Preda
University of Verona, Italy
Benjamin Delaware
Purdue University
Delphine Demange
IRISA
Işıl Dillig
UT Austin
R. Kent Dybvig
Cisco, Indiana University
Azadeh Farzan
University of Toronto
Cormac Flanagan
University of California, Santa Cruz
Ireland
Benjamin Gregoire
INRIA
Dan Grossman
University of Washington
United States
Martin Hofmann
LMU, Munich, Germany
Chung-Kil Hur
Seoul National University
Korea, South
Chantal Keller
LRI, Université Paris-Sud
France
Naoki Kobayashi
University of Tokyo, Japan
Robbert Krebbers
Delft University of Technology, Netherlands
Netherlands
Xavier Leroy
Inria
Mohsen Lesani
University of California, Riverside
Sam Lindley
University of Edinburgh
Francesco Logozzo
Facebook
United States
Nuno P. Lopes
Microsoft Research
P. Madhusudan
University of Illinois at Urbana-Champaign
United States
Roman Manevich
Ben-Gurion University of the Negev
Israel
Luc Maranget
INRIA Rocquencourt
Damiano Mazza
CNRS
France
Mira Mezini
TU Darmstadt
Germany
Andrzej Murawski
University of Warwick, UK
Peter Müller
ETH Zurich
Switzerland
Santosh Nagarakatte
Rutgers University, USA
United States
Vivek Nigam
Federal University of Paraiba
Scott Owens
University of Kent
United Kingdom
Frank Pfenning
Carnegie Mellon University
Damien Pous
CNRS
G. Ramalingam
Microsoft Research
Aseem Rastogi
Microsoft Research India
India
Daniel Roy
Andrey Rybalchenko
Microsoft Research
United Kingdom
Dave Sands
Chalmers University of Technology
Alexandra Silva
University College London
United Kingdom
Nicolas Tabareau
Inria, France
Tachio Terauchi
JAIST
Peter Thiemann
University of Freiburg
Germany
Ben L. Titzer
Google
Sam Tobin-Hochstadt
Indiana University
United States
Mirco Tribastone
IMT Institute for Advanced Studies Lucca, Italy
Viktor Vafeiadis
MPI-SWS, Germany
Greece
Martin Vechev
ETH Zurich
Eran Yahav
Technion
Israel
Hongseok Yang
University of Oxford
Steve Zdancewic
University of Pennsylvania
United States
Noam Zeilberger
INRIA
Elena Zucca
University of Genova
Damien Zufferey
MIT
x
Thu 10 Oct 12:23