PLDI 2026
Mon 15 - Fri 19 June 2026
Boulder, Colorado, United States
Toggle navigation
Attending
Venue: Limelight Boulder
Registration
Sponsorship
Information for Presenters
Information for Session Chairs
Information for Attendees
PLDI Live Streams
Visa Letter
Lodging
Travel Information
Explore Boulder
Program
PLDI Program
Your Program
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Thu 18 Jun
Fri 19 Jun
Tracks
PLDI 2026
PLDI Keynotes
PLDI Research Papers
PLDI Events
Diversity, Equity and Inclusion
PLDI Meetups
Student Research Competition
Tutorials
- ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators
- A guided tour through Oxidized OCaml
- Deep dive into the AWS Nitro Isolation Engine
- Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
- Mechanized Specifications for Real-World Programming Languages
- Writing Performance-Portable Kernels Simplified with Helion
Research Artifacts
Workshops and Tutorials
Volunteering
Co-hosted Conferences
ISMM
Memory Management
LCTES
Programming Languages and Embedded Systems
Workshops
ARRAY
Array-oriented Programming
CP
Choreographic Programming
EGRAPHS
Equality Graphs
PAgE
Principles Of Agentic Engineering
PLMW @ PLDI
PL Mentoring Workshop
PROPL
Programming for the Planet
SOAP
State Of the Art in Program Analysis
Tom Ball @ Sixty
Tom Ball at 60
Organization
PLDI 2026 Committees
Organizing Committee
AV Committee
Track Committees
PLDI Research Papers
Student Research Competition
Research Artifacts
Contributors
People Index
Co-hosted Conferences
ISMM
Memory Management
Organizing Committee
Program Committee
LCTES
Programming Languages and Embedded Systems
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Array-oriented Programming
Organizing Committee
Program Committee
CP
Choreographic Programming
Organizing Committee
Program Committee
EGRAPHS
Equality Graphs
Organizing Committee
Program Committee
PAgE
Principles Of Agentic Engineering
Organizing Committee
Program Committee
PLMW @ PLDI
PL Mentoring Workshop
Organizing Committee
PROPL
Programming for the Planet
Organizing Committee
Program Committee
SOAP
State Of the Art in Program Analysis
Organizing Committee
Keynote Speakers
Program Committee
Tom Ball @ Sixty
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2027
PLDI 2026
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2026
(
series
) /
Limelight Boulder
/
Room information: Trailhead
Venue
Limelight Boulder
Room name
Trailhead
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-06:00) Mountain Time (US & Canada)
.
Use conference time zone: (GMT-06:00) Mountain Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 15 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
09:00 - 12:00
MechSpec
Tutorials
at
Trailhead
09:00
3h
Tutorial
Mechanized Specifications for Real-World Programming Languages
Tutorials
Sukyoung Ryu
KAIST
,
Seokhun Jeong
KAIST
,
Jaehyun Lee
KAIST
,
Jihong Min
KAIST
14:00 - 15:20
OxCAML
Tutorials
at
Trailhead
14:00
80m
Tutorial
A guided tour through Oxidized OCaml
Tutorials
Anil Madhavapeddy
University of Cambridge, UK
,
Gavin Gray
Brown University
,
Shriram Krishnamurthi
Brown University
,
Will Crichton
Brown University
,
Chris Casinghino
Jane Street
,
Richard A. Eisenberg
Jane Street
,
KC Sivaramakrishnan
IIT Madras and Tarides
15:50 - 17:10
OxCAML (Repeat)
Tutorials
at
Trailhead
15:50
80m
Tutorial
A guided tour through Oxidized OCaml
Tutorials
Anil Madhavapeddy
University of Cambridge, UK
,
Gavin Gray
Brown University
,
Shriram Krishnamurthi
Brown University
,
Will Crichton
Brown University
,
Chris Casinghino
Jane Street
,
Richard A. Eisenberg
Jane Street
,
KC Sivaramakrishnan
IIT Madras and Tarides
Tue 16 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
09:00 - 10:10
Keynote
CP
at
Trailhead
Chair(s):
Andrew K. Hirsch
University at Buffalo, SUNY
09:00
10m
Talk
Opening remarks
CP
09:10
60m
Keynote
Interpreters everywhere!
CP
K:
Lindsey Kuper
University of California, Santa Cruz
10:40 - 12:20
Choreographic Applications
CP
at
Trailhead
Chair(s):
Dan Plyukhin
University of Southern Denmark
10:40
25m
Talk
The Chor of the Message Passing Interface (MPI)
CP
Keith Allen
University at Buffalo, SUNY
,
Andrew K. Hirsch
University at Buffalo, SUNY
11:05
25m
Talk
Towards Quantum Choreographies
CP
Jennifer Paykin
University of Vermont
,
Joseph P. Near
University of Vermont
,
Christian Skalka
University of Vermont
11:30
25m
Talk
Pact: A Choreographic Language for Agentic Ecosystems
CP
Kiran Gopinathan
Basis
,
Jack Feser
Basis
,
Michelangelo Naim
,
Zenna Tavares
,
Eli Bingham
File Attached
11:55
25m
Talk
Towards Choreographic Programming for Consensus Protocols
CP
Michael Zhang
Northeastern University
,
Joshua Gancher
Northeastern University
13:40 - 15:20
Choreographic Foundations
CP
at
Trailhead
Chair(s):
Andrew K. Hirsch
University at Buffalo, SUNY
13:40
25m
Talk
Probabilistic Performance of Asynchronous Data-Flow Choreographies
CP
Mako P. Bates
University of Vermont
Pre-print
14:05
25m
Talk
Bushwhacking towards Event-Driven Chorex
CP
Ashton Wiersdorf
University of Utah
,
Ben Greenman
University of Utah
14:30
25m
Talk
Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs
CP
Mako P. Bates
University of Vermont
,
Xueying Qin
University of Southern Denmark
,
Joseph P. Near
University of Vermont
,
Marco Peressotti
University of Southern Denmark
14:55
25m
Talk
Parametric Choreographies for Distributed Programming
CP
John Liagouris
,
Ankush Das
Boston University
15:50 - 17:00
Business Meeting
CP
at
Trailhead
Chair(s):
Dan Plyukhin
University of Southern Denmark
Mon 15 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Trailhead
Tutorials
MechSpec
Tutorials
OxCAML
Tutorials
OxCAML (Repeat)
Tue 16 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Trailhead
CP
Keynote
CP
Choreographic Applications
CP
Choreographic Foundations
CP
Business Meeting
Mon 15 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Trailhead
PLDI Tutorials
Mechanized Specifications for Real-World Programming Languages
09:00 - 12:00
PLDI Tutorials
A guided tour through Oxidized OCaml
14:00 - 15:20
PLDI Tutorials
A guided tour through Oxidized OCaml
15:50 - 17:10
Tue 16 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Trailhead
CP
Opening remarks
09:00 - 09:10
CP
Interpreters everywhere!
09:10 - 10:10
CP
The Chor of the Message Passing Interface (MPI)
10:40 - 11:05
CP
Towards Quantum Choreographies
11:05 - 11:30
CP
Pact: A Choreographic Language for Agentic Ecosystems
11:30 - 11:55
CP
Towards Choreographic Programming for Consensus Protocols
11:55 - 12:20
CP
Probabilistic Performance of Asynchronous Data-Flow Choreographies
13:40 - 14:05
CP
Bushwhacking towards Event-Driven Chorex
14:05 - 14:30
CP
Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs
14:30 - 14:55
CP
Parametric Choreographies for Distributed Programming
14:55 - 15:20
x
Tue 21 Jul 06:32