PLDI 2026

Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)!

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.

PLDI 2026 will be held in person at the Limelight Boulder in Boulder, Colorado, USA.

The main PLDI conference will be held from Wednesday, June 17, through Friday, June 19. Workshops and tutorials were held on Monday, June 15, and Tuesday, June 16.

Registration opens on Monday, March 16, 2026.

Keynotes

Programming Language Design and Implementation for the Machine Learning Era: A Personal Perspective

Saman Amarasinghe

The Rise & Collapse of a Quantum State

Aws Albarghouthi

Happiness U-Curve: Navigating the AI Validation Bottleneck with Conformance Testing and Proof-Engineering

Miryung Kim

Co-located Conferences and Workshops Keynotes

Paths Converge: Software Model Checking for the BBC micro:bit

Thomas Ball

Keynote

How should we evaluate garbage collectors?

Tobias Wrigstad

The Shape of Things to Come

Jared Roesch

Tiles, Bricks, and Layouts: How Aggregate Data Abstractions Aid in Optimizing Data Movement

Mary Hall

Interpreters everywhere!

Lindsey Kuper

Keynote

Reduce, Reuse, Recycle: Is this Mantra under attack with Proliferation of Machine Learning?

Lizy John

Formal Methods for Frontier AI Systems

Gagandeep Singh