POPL 2020

From Openresearch
Jump to: navigation, search
POPL 2020
47th ACM SIGACT Symposium on Principles of Programming Languages
Event in series POPL
Dates 2020/01/19 (iCal) - 2020/01/25
Homepage: https://popl20.sigplan.org/
Twitter account: ‎@poplconf
Location: New Orleans, Louisiana, USA
Loading map...

Subevents: PEPM 2020
Papers: Submitted 247 / Accepted 68 (27.5 %)
Organizers: Michael Mislove
General chairs: Brigitte Pientka
PC chairs: Lars Birkedal
Workshop chairs: Jan Hoffmann, Zachary Kincaid
Keynote speaker: Cristina Cifuentes, Hongseok Yang, Martin Vechev
Table of Contents
Tweets by ‎@poplconf

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


  • ADSL 2020
  • CoqPL 2020
  • HASE 2020
  • LAFI 2020
  • PEPM 2020
  • PLMW 2020
  • PLanQC 2020
  • PriSC 2020
  • WGT 2020

Co-hosted Symposiums

  • PADL 2020


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


  • 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.