m (Text replacement - "([-])User:Curator 83" to "$1Ch") |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
| Line 51: | Line 51: | ||
==Committees== | ==Committees== | ||
| − | '''General | + | '''General Chair''' |
* Brigitte Pientka, McGill University | * Brigitte Pientka, McGill University | ||
| − | '''Program | + | '''Program Chair''' |
* Lars Birkedal, Aarhus University | * Lars Birkedal, Aarhus University | ||
| − | '''Video | + | '''Video Chair''' |
* Leif Andersen, Northeastern University, USA | * Leif Andersen, Northeastern University, USA | ||
| − | * Benjamin W | + | * Benjamin W Chung, Northeastern University |
'''Artifact Evaluation Co-Chair''' | '''Artifact Evaluation Co-Chair''' | ||
| Line 67: | Line 67: | ||
* Nate Foster, Cornell University, United States | * Nate Foster, Cornell University, United States | ||
| − | '''Publicity | + | '''Publicity Chair''' |
* Michael Greenberg, Pomona College | * Michael Greenberg, Pomona College | ||
| Line 80: | Line 80: | ||
* Jeehoon Kang Artifact, KAIST, South Korea | * Jeehoon Kang Artifact, KAIST, South Korea | ||
| − | '''Web | + | '''Web Chair''' |
* Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan | * Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan | ||
| Line 89: | Line 89: | ||
* Carole Mann, R.S.L | * Carole Mann, R.S.L | ||
| − | '''Local | + | '''Local Chair''' |
* Michael Mislove, Tulane | * Michael Mislove, Tulane | ||
| Line 99: | Line 99: | ||
* Annabel Satin, P.C.K. | * Annabel Satin, P.C.K. | ||
| − | '''Accessibility | + | '''Accessibility Chair''' |
* Alexandra Silva, University College London, United Kingdom | * Alexandra Silva, University College London, United Kingdom | ||
| − | '''Web | + | '''Web Chair''' |
* Amin Timany, imec-Distrinet KU-Leuven, Belgium | * Amin Timany, imec-Distrinet KU-Leuven, Belgium | ||
Revision as of 12:43, 7 July 2022
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 Chair
- Brigitte Pientka, McGill University
Program Chair
- Lars Birkedal, Aarhus University
Video Chair
- Leif Andersen, Northeastern University, USA
- Benjamin W Chung, Northeastern University
Artifact Evaluation Co-Chair
- Benjamin Delaware, Purdue University
Industrial Relations Co-Chair
- Nate Foster, Cornell University, United States
Publicity Chair
- Michael Greenberg, Pomona College
Workshops Co-Chair
- Jan Hoffmann, Carnegie Mellon University, United States
- Zachary Kincaid, Princeton University, United States
Technical Support
- Kristoffer Just Arndal Andersen, Aarhus University, Denmark
Evaluation Co-Chair
- Jeehoon Kang Artifact, KAIST, South Korea
Web Chair
- Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan
Student Research Competition Co-Chair
- Ori Lahav, Tel Aviv University
Registration
- Carole Mann, R.S.L
Local Chair
- Michael Mislove, Tulane
Student Volunteer Co-Chair
- 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 Chair
- Alexandra Silva, University College London, United Kingdom
Web Chair
- Amin Timany, imec-Distrinet KU-Leuven, Belgium
Student Research Competition Co-Chair
- Niki Vazou, IMDEA Software Institute
Industrial Relations Co-Chair
- 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.
