The Lawn - PLDI 2026

VenueLimelight Boulder

Room nameThe Lawn

Floor1

Room InformationNo extra information available

Program

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

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 programSpecify 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

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

17:50 - 19:30	PLDI Reception with Student Research Competition PostersPLDI Events at The Lawn Reception for all attendees with light refreshments. See here for the Student Research Competition posters details.

17:50 1h40m		PLDI Reception with Student Research Competition Posters PLDI Events
17:50 1h40m		Visit Boulder VW Mobile Visitor Bus PLDI Events

17:50 - 19:30	PLDI Reception with Student Research Competition PostersStudent Research Competition at The Lawn Reception for all attendees with light refreshments and Student Research Competition posters.

17:50 1h40m Talk		K-Sentry: A Verified Order-Sensitive Telemetry Accumulator Student Research Competition Sudrit Ghimire Texas State University File Attached
17:50 1h40m Talk		Smocq: Formal Verification of Self Modifying Code Student Research Competition Ilan Buzzetti University of Texas at Dallas File Attached
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 File Attached
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 File Attached
17:50 1h40m Talk		Formal Proofs of Bit Hacks in Machine Code Student Research Competition Humam Alhusaini University of Texas at Arlington File Attached
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 File Attached
17:50 1h40m Talk		Pync: Function-Level Incremental Execution for Python Scripts Student Research Competition Bolun Thompson University of California, Los Angeles File Attached
17:50 1h40m Talk		Correctly Rounded Dot Products under Round-to-Odd Student Research Competition Sehyeok Park Rutgers University File Attached
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 File Attached
17:50 1h40m Talk		Towards Taming Indirect Control Flow in Binaries with Multi-Task Graph Learning Student Research Competition Kun Liu Tulane University File Attached
17:50 1h40m Talk		CAST: Continuous Fuzzing for SMT Solvers Student Research Competition Andrei Zhukov ETH Zürich File Attached
17:50 1h40m Talk		Implementing Hybrid Resource Analysis in Resource Aware ML 2 Student Research Competition Arnav Sabharwal Carnegie Mellon University File Attached
17:50 1h40m Talk		Modular Verification of Leakage Contracts Student Research Competition Aditya Ranjan Jha National University of Singapore File Attached
17:50 1h40m Talk		Cumulating Abstract Semantics via Handlers Student Research Competition Cade Lueker University of Colorado Boulder File Attached
17:50 1h40m Talk		Semantics Lifting for Scientific Kernels Student Research Competition Naifeng Zhang Carnegie Mellon University File Attached
17:50 1h40m Talk		pp-horn: A Secure Inference Primitive Student Research Competition Sai Lalith Kumar Aka University of Colorado Boulder File Attached
17:50 1h40m Talk		Automatic Energy Analysis Using Types Student Research Competition Sai Divvela University of Maryland, College Park, USA File Attached
17:50 1h40m Talk		E-Graph-Based Metamorphic Testing for Datalog Engines Student Research Competition Samuel Gerbers ETH Zurich File Attached

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 Events PLDI Reception with Student Research Competition Posters 17:50 - 19:30 Visit Boulder VW Mobile Visitor Bus 17:50 - 19:30 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

Room information: The Lawn

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

PLDI Events

Student Research Competition

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Room information: The Lawn

Program Display Configuration

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

PLDI Events

Student Research Competition

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Mountain Time (US & Canada) change