Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Registration
Online Participation
Travel to the USA
Mentoring Events
Information for Students
Code of Conduct
Supporting POPL
Accessibility
SIGPLAN CARES
Program
POPL Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2020
Research Papers
Artifact Evaluation
Student Research Competition
Workshops and Co-located Events
TutorialFest
POPLmark 15 Year Retrospective Panel
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Co-hosted Conferences
CPP
VMCAI
Workshops
ADSL
CoqPL
HASE
LAFI
(né PPS)
PEPM
PLMW
PLanQC
PriSC
PriSC
Principles of Secure Compilation
- Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
WGT
Co-hosted Symposia
PADL
Organization
POPL 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
Student Research Competition
TutorialFest
POPLmark 15 Year Retrospective Panel
Panel
Organizing Committee
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact-Evaluation Committee
Steering Committee
Workshops
ADSL
Organizing Committee
Program Committee
CoqPL
Invited speakers
Organizing Committee
Program Committee
HASE
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
PEPM
PC Chairs
Program Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
WGT
Organizing Committee
Program Committee
Co-hosted Symposia
PADL
Program Chairs
Program Committee
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 2020
(
series
) /
VMCAI 2020 (
series
) /
VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation
/
Program Committee
VMCAI
Timos Antonopoulos
Yale University
United States
Dirk Beyer
PC Chair
LMU Munich
Germany
Nikolaj Bjørner
Microsoft Research
United States
Pavol Cerny
University of Colorado Boulder
Slovakia
Rayna Dimitrova
University of Leicester, UK
Constantin Enea
IRIF, University Paris Diderot & CNRS
France
Pierre Ganty
IMDEA Software Institute
Spain
Alberto Griggio
Fondazione Bruno Kessler
Italy
Ashutosh Gupta
TIFR, India
Marie-Christine Jakobs
TU Darmstadt, Germany
Laura Kovacs
Vienna University of Technology (TU Wien)
Austria
Jan Kretinsky
TU Munich, Germany
Markus Kusano
Virginia Tech
United States
Ori Lahav
Tel Aviv University
David Monniaux
CNRS, VERIMAG
France
Kedar Namjoshi
Bell Labs, Nokia
United States
Andreas Podelski
University of Freiburg, Germany
Germany
Nadia Polikarpova
University of California, San Diego
United States
Shaz Qadeer
Facebook
United States
Daniel Schwartz-Narbonne
Amazon, n.n.
Martina Seidl
Johannes Kepler University Linz, Austria
Natasha Sharygina
USI Lugano, Switzerland
Switzerland
Mihaela Sighireanu
IRIF, Université Paris Diderot, France
France
Jan Strejcek
Masaryk University
Czechia
Alexander J. Summers
ETH Zurich
Michael Tautschnig
Amazon Web Services
Caterina Urban
Inria & École Normale Supérieure | Université PSL
France
Heike Wehrheim
Paderborn University
Germany
Thomas Wies
New York University
Lenore Zuck
UIC
United States
Damien Zufferey
PC Chair
MPI-SWS
x
Fri 6 Dec 17:42