(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "([-])User:Curator 83" to "$1Ch") |
||
Line 61: | Line 61: | ||
* Benjamin W User:Curator 83ung, Northeastern University | * Benjamin W User:Curator 83ung, Northeastern University | ||
− | '''Artifact Evaluation Co- | + | '''Artifact Evaluation Co-Chair''' |
* Benjamin Delaware, Purdue University | * Benjamin Delaware, Purdue University | ||
− | '''Industrial Relations Co- | + | '''Industrial Relations Co-Chair''' |
* Nate Foster, Cornell University, United States | * Nate Foster, Cornell University, United States | ||
Line 70: | Line 70: | ||
* Michael Greenberg, Pomona College | * Michael Greenberg, Pomona College | ||
− | '''Workshops Co- | + | '''Workshops Co-Chair''' |
* Jan Hoffmann, Carnegie Mellon University, United States | * Jan Hoffmann, Carnegie Mellon University, United States | ||
* Zachary Kincaid, Princeton University, United States | * Zachary Kincaid, Princeton University, United States | ||
Line 77: | Line 77: | ||
* Kristoffer Just Arndal Andersen, Aarhus University, Denmark | * Kristoffer Just Arndal Andersen, Aarhus University, Denmark | ||
− | '''Evaluation Co- | + | '''Evaluation Co-Chair''' |
* Jeehoon Kang Artifact, KAIST, South Korea | * Jeehoon Kang Artifact, KAIST, South Korea | ||
Line 83: | Line 83: | ||
* Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan | * Hsiang-Shang ‘Josh’ Ko, Institute of Information Science, Academia Sinica, Taiwan | ||
− | '''Student Research Competition Co- | + | '''Student Research Competition Co-Chair''' |
* Ori Lahav, Tel Aviv University | * Ori Lahav, Tel Aviv University | ||
Line 92: | Line 92: | ||
* Michael Mislove, Tulane | * Michael Mislove, Tulane | ||
− | '''Student Volunteer Co- | + | '''Student Volunteer Co-Chair''' |
* Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal | * Carlos Mão de Ferro, Lasige, Faculty of Sciences, Universidade de Lisboa, Portugal | ||
* Hanneli Tavante, McGill University | * Hanneli Tavante, McGill University | ||
Line 105: | Line 105: | ||
* Amin Timany, imec-Distrinet KU-Leuven, Belgium | * Amin Timany, imec-Distrinet KU-Leuven, Belgium | ||
− | '''Student Research Competition Co- | + | '''Student Research Competition Co-Chair''' |
* Niki Vazou, IMDEA Software Institute | * Niki Vazou, IMDEA Software Institute | ||
− | '''Industrial Relations Co- | + | '''Industrial Relations Co-Chair''' |
* David Walker, Princeton University, United States | * David Walker, Princeton University, United States | ||
Revision as of 11: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 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-Chair
- Benjamin Delaware, Purdue University
Industrial Relations Co-Chair
- Nate Foster, Cornell University, United States
Publicity User:Curator 83air
- 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 User:Curator 83air
- 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 User:Curator 83air
- 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 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-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.