PAgE 2026 – Preliminary Table of Contents

2026 ACM SIGPLAN International Workshop on Principles of Agentic Engineering (PAgE 2026)

Towards Verified Code Reasoning by LLMs
Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José P. Cambronero, Michele Tufano, and Satish Chandra
(University of Texas at Austin, USA; Google DeepMind, USA; Google, USA; Meta Platforms, USA)

Article Search Article: pldiws26pagemain-p4-p doi:10.1145/3819802.3820578

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
Martin C. Rinard
(National University of Singapore, Singapore; Massachusetts Institute of Technology, USA)

Article Search Article: pldiws26pagemain-p5-p doi:10.1145/3819802.3820579

The Next Frontier for AI-Generated Kernels: Correctness
Guido Martínez and Tyler Sorensen
(Microsoft Research, USA)

Article Search Article: pldiws26pagemain-p6-p doi:10.1145/3819802.3820580

Testing LLM-Generated Distributed Protocol Code
Brendan Coyne and Ankush Das
(Boston University, USA)

Article Search Article: pldiws26pagemain-p11-p doi:10.1145/3819802.3820581

Lazy Validation and Self-Healing for Agentic Programs
Theodoros Tsampouris, Eleftherios Ioannidis, and Andreas Symeonidis
(Aristotle University of Thessaloniki, Greece; Microsoft Research, USA)

Article Search Article: pldiws26pagemain-p14-p doi:10.1145/3819802.3820582

proc time: 0.01