The Lawn - PLDI 2026

VenueLimelight Boulder

Room nameThe Lawn

Floor1

Room InformationNo extra information available

Program

This program is tentative and subject to change.

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 PostersStudent Research Competition at The Lawn Reception for all attendees with light refreshments, with Student Research Competition posters.

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

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

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


Room	17:00						30						18:00						30						19:00						30
The Lawn											Student Research Competition PLDI Reception with Student Research Competition Posters PLDI Events 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

Room information: The Lawn

This program is tentative and subject to change.

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

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

Student Research Competition

PLDI Events

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

Tracks

Co-hosted Conferences

Workshops

Room information: The Lawn

This program is tentative and subject to change.

Program Display Configuration

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

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

Student Research Competition

PLDI Events

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