POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available.

POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr.

Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com.

Online registration is still open.

POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL 2021.

Video pre-publication is coming!

The POPL 2021 Program is up!

POPL 2021 Accepted Papers

Welcome to the website of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021).

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.

Invited Talks

Invited Talk

The road to a Universal Internet Machine (Demystifying Blockchain Protocols)

Rachid Guerraoui

Invited Talk

Dynamical Systems and Program Analysis

James Worrell

Invited Talk

Toward a Programmable Cloud: CALM Foundations and Open Challenges

Joseph M. Hellerstein

TutorialFest

[T2] Liquid Haskell: Refinement Type Checker for Haskell

Niki Vazou, Andres Löh

[T3] Dynamic Data-Race Prediction : Fundamentals, Theory and Practice

Umang Mathur, Andreas Pavlogiannis

[T5] An Invitation to the Intersection of Quantum Computing and Programming Languages

Xiaodi Wu

[T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic

Tej Chajed, Ralf Jung, Joseph Tassarotti

[T1] The Current State of Automatic Differentiation

Barak A. Pearlmutter