PAgE 2026 – Preliminary Table of Contents

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

Frontmatter

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

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)
While LLM-based agents are able to tackle a wide variety of code reasoning questions, the answers are not always correct. As a result of this lack of trustworthiness, the agent's answers need to be manually verified before they can be trusted, which requires substantial effort and can result in lower developer productivity. We describe a method to automatically validate the answers provided by a code reasoning agent by extracting a formal representation of the agent's response, and using formal verification and program analysis tools to verify the reasoning steps. We applied this approach to a set of 20 program equivalence queries and found that the formal verification step successfully caught 6/8 incorrect agent judgments. This work lays the foundation for what may become a new class of high-precision, verifiable code agents, paving the way for their reliable use in critical software engineering workflows.

Article Search Article: pldiws26pagemain-p4-p

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

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


Article Search Article: pldiws26pagemain-p6-p

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


Article Search Article: pldiws26pagemain-p11-p

Gradual 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

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

proc time: 6.77