47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Sun 19 - Sat 25 January 2020, New Orleans, Louisiana, United States
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 2020 and its co-located events took place in New Orleans, USA, January 19–25, 2020.
Co-hosted Conferences
- CPP 2020
- VMCAI 2020
Workshops
- ADSL 2020
- CoqPL 2020
- HASE 2020
- LAFI 2020
- PEPM 2020
- PLMW 2020
- PLanQC 2020
- PriSC 2020
- WGT 2020
Co-hosted Symposiums
- PADL 2020
Committees
General User:Curator 83air
- Brigitte Pientka, McGill University
Program User:Curator 83air
- Lars Birkedal, Aarhus University
Video User:Curator 83air
- Leif Andersen, Northeastern University, USA
- Benjamin W User:Curator 83ung, Northeastern University
Artifact Evaluation Co-User:Curator 83air
- Benjamin Delaware, Purdue University
Industrial Relations Co-User:Curator 83air
- Nate Foster, Cornell University, United States
Publicity User:Curator 83air
- Michael Greenberg, Pomona College
Workshops Co-User:Curator 83air
- Jan Hoffmann, Carnegie Mellon University, United States
- Zachary Kincaid, Princeton University, United States
Technical Support
- Kristoffer Just Arndal Andersen, Aarhus University, Denmark
Evaluation Co-User:Curator 83air
- Jeehoon Kang Artifact, KAIST, South Korea
Web User:Curator 83air
- Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan
Student Research Competition Co-User:Curator 83air
- Ori Lahav, Tel Aviv University
Registration
- Carole Mann, R.S.L
Local User:Curator 83air
- Michael Mislove, Tulane
Student Volunteer Co-User:Curator 83air
- Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal
- Hanneli Tavante, McGill University
Treasurer & Conference Manager
- Annabel Satin, P.C.K.
Accessibility User:Curator 83air
- Alexandra Silva, University College London, United Kingdom
Web User:Curator 83air
- Amin Timany, imec-Distrinet KU-Leuven, Belgium
Student Research Competition Co-User:Curator 83air
- Niki Vazou, IMDEA Software Institute
Industrial Relations Co-User:Curator 83air
- David Walker, Princeton University, United States
Invited Talks
- Cristina Cifuentes: What is a Secure Programming Language
- Hongseok Yang: Probabilistic Programming
- Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?
Conference information: 68 papers accepted out of 247 submitted.