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 Attendees
Visa Letter
Lodging
Travel
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
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: The Lawn
Venue
Limelight Boulder
Room name
The Lawn
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
Tue 16 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
17:30 - 21:30
Game Night (by Jane Street)
PLDI Events
at
The Lawn
Wed 17 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
17:50 - 19:30
PLDI Reception with Student Research Competition Posters
PLDI Events
at
The Lawn
See
here
for the SRC posters details.
17:50 - 19:30
PLDI Reception with Student Research Competition Posters
Student Research Competition
at
The Lawn
17:50
1h40m
Talk
K-Sentry: A Verified Order-Sensitive Telemetry Accumulator
Student Research Competition
Sudrit Ghimire
Texas State University
17:50
1h40m
Talk
Smocq: Formal Verification of Self Modifying Code
Student Research Competition
Ilan Buzzetti
University of Texas at Dallas
17:50
1h40m
Talk
Formal Methods for Securing Federated Authorization: A Case Study of SciTokens
Student Research Competition
Minh Le
Georgia Institute of Technology
17:50
1h40m
Talk
Scenario-based Proof for Distributed Protocols
Student Research Competition
Zhendong Ang
National University of Singapore
17:50
1h40m
Talk
Language Models Need Some Space: On the Sensitivity of Constrained Decoding to Completeness
Student Research Competition
Jahrim Gabriele Cesario
University of St. Gallen
Link to publication
17:50
1h40m
Talk
Formal Proofs of Bit Hacks in Machine Code
Student Research Competition
Humam Alhusaini
University of Texas at Arlington
17:50
1h40m
Talk
LLMEffect: A Type System for Securing LLM API Boundaries
Student Research Competition
Sanjib Kumar Sen
Texas A&M University - Corpus Christi
17:50
1h40m
Talk
Pync: Function-Level Incremental Execution for Python Scripts
Student Research Competition
Bolun Thompson
University of California, Los Angeles
17:50
1h40m
Talk
Correctly Rounded Dot Products under Round-to-Odd
Student Research Competition
Sehyeok Park
Rutgers University
17:50
1h40m
Talk
Impulse: Momentously Fast, General, and Portable Probabilistic Programming via Compiler Augmentation
Student Research Competition
Siyuan Brant Qian
University of Illinois at Urbana-Champaign
17:50
1h40m
Talk
Towards Taming Indirect Control Flow in Binaries with Multi-Task Graph Learning
Student Research Competition
Kun Liu
Tulane University
17:50
1h40m
Talk
CAST: Continuous Fuzzing for SMT Solvers
Student Research Competition
Andrei Zhukov
ETH Zürich
17:50
1h40m
Talk
Implementing Hybrid Resource Analysis in Resource Aware ML 2
Student Research Competition
Arnav Sabharwal
Carnegie Mellon University
17:50
1h40m
Talk
Modular Verification of Leakage Contracts
Student Research Competition
Aditya Ranjan Jha
National University of Singapore
17:50
1h40m
Talk
Cumulating Abstract Semantics via Handlers
Student Research Competition
Cade Lueker
University of Colorado Boulder
17:50
1h40m
Talk
Semantics Lifting for Scientific Kernels
Student Research Competition
Naifeng Zhang
Carnegie Mellon University
17:50
1h40m
Talk
pp-horn: A Secure Inference Primitive
Student Research Competition
Sai Lalith Kumar Aka
University of Colorado Boulder
17:50
1h40m
Talk
Automatic Energy Analysis Using Types
Student Research Competition
Sai Divvela
University of Maryland, College Park, USA
17:50
1h40m
Talk
E-Graph-Based Metamorphic Testing for Datalog Engines
Student Research Competition
Samuel Gerbers
ETH Zurich
Tue 16 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
The Lawn
PLDI Events
Game Night (by Jane Street)
Wed 17 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
17:00
30
18:00
30
19:00
30
The Lawn
PLDI Events
PLDI Reception with Student Research Competition Posters
Student Research Competition
PLDI Reception with Student Research Competition Posters
17:50 - 19:30
Wed 17 Jun
Displayed time zone:
Mountain Time (US & Canada)
change
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
The Lawn
PLDI Student Research Competition
K-Sentry: A Verified Order-Sensitive Telemetry Accumulator
17:50 - 19:30
Smocq: Formal Verification of Self Modifying Code
17:50 - 19:30
Formal Methods for Securing Federated Authorization: A Case Study of Sc ...
17:50 - 19:30
Scenario-based Proof for Distributed Protocols
17:50 - 19:30
Language Models Need Some Space: On the Sensitivity of Constrained Deco ...
17:50 - 19:30
Formal Proofs of Bit Hacks in Machine Code
17:50 - 19:30
LLMEffect: A Type System for Securing LLM API Boundaries
17:50 - 19:30
Pync: Function-Level Incremental Execution for Python Scripts
17:50 - 19:30
Correctly Rounded Dot Products under Round-to-Odd
17:50 - 19:30
Impulse: Momentously Fast, General, and Portable Probabilistic Programm ...
17:50 - 19:30
Towards Taming Indirect Control Flow in Binaries with Multi-Task Graph ...
17:50 - 19:30
CAST: Continuous Fuzzing for SMT Solvers
17:50 - 19:30
Implementing Hybrid Resource Analysis in Resource Aware ML 2
17:50 - 19:30
Modular Verification of Leakage Contracts
17:50 - 19:30
Cumulating Abstract Semantics via Handlers
17:50 - 19:30
Semantics Lifting for Scientific Kernels
17:50 - 19:30
pp-horn: A Secure Inference Primitive
17:50 - 19:30
Automatic Energy Analysis Using Types
17:50 - 19:30
E-Graph-Based Metamorphic Testing for Datalog Engines
17:50 - 19:30
x
Thu 4 Jun 11:16