POPL 2019
Welcome to the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).
The Annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. POPL 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.
Important Dates
AoE (UTC-12h)
- Conference: Wed 16 - Fri 18 Jan 2019
- Camera ready deadline: Fri 9 Nov 2018
- Notification: Wed 10 Oct 2018
- End of rebuttal period: Fri 21 Sep 2018
- Start of rebuttal period: Mon 17 Sep 2018
- Submission deadline: Wed 11 Jul 2018
Co-hosted Conferences
- CPP 2019
- VMCAI 2019
Workshops
- BEAT 2019
- CoqPL 2019
- LAFI 2019
- OPCT 2019
- Off the Beaten Track 2019
- PEPM 2019
- PLMW 2019
- PriSC 2019
Co-hosted Symposiums
- PADL 2019
Committees
Organizing Committee POPL 2019
General User:Curator 83air
- Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), Denmark
Artifact Evaluation Co-User:Curator 83air
- Benjamin Delaware, Purdue University
Workshops Co-User:Curator 83air
- Marco Gaboardi, University at Buffalo, SUNY, United States
- Zachary Kincaid, Princeton University, United States
Publicity User:Curator 83air
- Michael Greenberg, Pomona College
Artifact Evaluation Co-User:Curator 83air
- Cătălin Hriţcu, Inria Paris
Website User:Curator 83air
- Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan, Taiwan
Registration
- Carole Mann, R.S.L
Student Volunteer Co-Captain
- Carlos Mão de Ferro, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
- Alex Sanchez-Stern, University of California, San Diego, United States
Conference Coordinator, Treasurer
- Annabel Satin, P.C.K.
Local Arrangements User:Curator 83air
- Vasco Vasconcelos, LASIGE, Faculty of Sciences, University of Lisbon, Portugal
Student Research Competition User:Curator 83air
- Niki Vazou, IMDEA Software Institute
Industrial Relations User:Curator 83air
- David Walker, Princeton University, United States
Program User:Curator 83air
- Stephanie Weirich, University of Pennsylvania, USA, United States
Video User:Curator 83air
- Jakub Zalewski
Keynotes
- Mark Harman: Automated Fault-Finding and Fixing at Facebook
- Brigitte Pientka: Mechanized Metatheory - The Next User:Curator 83apter