POPL 2023

Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts.

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.

The talk recordings are now available on SIGPLAN youtube channel:

• POPL
• Session Previews
• PriSC
• CoqPL
• CPP
• PLMW
• PEPM
• PADL
• VMCAI
• LAFI
• ProLaLa
• SRC

Invited Talk

Principles of Persistent Programming

Viktor Vafeiadis

TutorialFest

Using a Proof Assistant to Teach PL Theory, Without the Overhead

Jonathan Aldrich, John Boyland

Z3 Internals – A guide to principles, art and empirics of programming SMT solvers

Nikolaj Bjørner

Isabelle/HOL: Foundations, Induction, and Coinduction

Andrei Popescu, Dmitriy Traytel

Neurosymbolic Programming

Swarat Chaudhuri, Atharva Sehgal, Armando Solar-Lezama

RUST: Regions, Uniqueness, Ownership & Types

James Noble, Tobias Wrigstad

Deductive Verification of Probabilistic Programs

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Incorrectness Logic and Under-approximation: Foundations of Bug Catching

Quang Loc Le, Peter O'Hearn, Azalea Raad, Julien Vanegue

QuickChick: Combining Random Testing and Verification in Coq

Leonidas Lampropoulos