PAgE

PAgE 2026 with PLDI 2026

AI-powered agents are increasingly being deployed in production settings: they plan, call tools, maintain state, and act over live services and data. Yet the formal foundations needed to make these systems safe, reliable, and trustworthy remain underdeveloped. Ensuring correctness in these settings demands a new discipline, which we term agentic engineering: a research agenda that brings together ideas from progr ...