PLDI 2026 (series) / PAgE 2026 (series) /
PAgE 2026 Program
This is the PAgE 2026 program - see the full program for PLDI 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change
Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:10 | |||
09:00 10mDay closing | Opening remarks PAgE Shraddha Barke Microsoft Research, Redmond | ||
09:10 60mKeynote | Formal Methods for Frontier AI Systems PAgE Gagandeep Singh University of Illinois Urbana-Champaign | ||
10:40 - 12:20 | |||
10:40 20mTalk | Agentic Code Reasoning PAgE Pre-print | ||
11:00 20mTalk | Towards Verified Code Reasoning by LLMs PAgE Meghana Aparna Sistla Google DeepMind, Gogul Balakrishnan Google, Patrick Rondon Google, José Pablo Cambronero Google, USA, Michele Tufano Google, Satish Chandra Meta Platforms, Inc. | ||
11:20 20mTalk | Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude CodeRemote PAgE Martin C. Rinard Massachusetts Institute of Technology | ||
11:40 20mTalk | The Next Frontier for AI-Generated Kernels: Correctness PAgE DOI Pre-print | ||
12:00 20mTalk | Testing LLM-Generated Distributed Protocol Code PAgE | ||
13:40 - 15:20 | |||
13:40 20mTalk | Combining Agentic AI and Lightweight Formal Methods To Find Bugs in a Production Hypervisor PAgE Hiroyuki Katsura University of Cambridge, Kayvan Memarian University of Cambridge, Peter Sewell University of Cambridge | ||
14:00 20mTalk | From Workarounds to Root Causes: Experience Using Agentic Workflows to Debug Complex Browser GPU Compiler Stacks PAgE Abhijit Ramesh UC Santa Cruz, Reese Levine University of California at Santa Cruz, Tyler Sorensen University of California at Santa Cruz | ||
14:20 20mTalk | Event-based Design Abstractions for Agent HarnessesRecorded PAgE McCoy Becker , Matin Ghavami Massachusetts Institute of Technology, Fabian Zaiser Massachusetts Institute of Technology, Timothy J. O'Donnell McGill University; Mila – Quebec AI Institute; CHI FRO; Canada CIFAR AI Chai, Mila, Martin C. Rinard Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology, Vikash Mansinghka Massachusetts Institute of Technology | ||
14:40 20mTalk | Lumos: Let there be Language Model System CertificationRemote PAgE Isha Chaudhary , Vedaant Jain , Prineet Parhar , Kavya Sachdeva , Avaljot Singh University of Illinois Urbana-Champaign, Sayan Ranu , Gagandeep Singh University of Illinois Urbana-Champaign Pre-print | ||
15:00 20mTalk | Lazy Validation and Self-Healing for Agentic ProgramsRemote PAgE Theodoros Tsampouris Aristotle University of Thessaloniki, Eleftherios Ioannidis Microsoft Research, Andreas Symeonidis Aristotle University of Thessaloniki | ||
15:50 - 17:00 | |||
15:50 60mKeynote | Can Coding Agents Write Verifiably Correct Software?Remote PAgE Shan Lu Microsoft; University of Chicago | ||
16:50 10mDay closing | Closing Remarks PAgE Shraddha Barke Microsoft Research, Redmond | ||