AWS Open Source Blog
Author: Jatin Arora
Jatin Arora works at the intersection of AI and formal methods, building systems that make AI-generated code provably correct. At Amazon, he designed and shipped Kiro's bug-fixing workflow, now used daily by more than 700 developers. He holds a PhD in programming languages and formal methods from Carnegie Mellon University, with research published at POPL, PLDI, and FMCAD.
Introducing the Dogwood Local Engine: temporal governance for agent actions
In August, we released Dogwood, an open source governance language for agents and their actions. Dogwood policies specify which actions an agent may take and under what conditions. A key feature of the language is support for temporal conditions, which let a policy refer to an agent’s past actions and their outcomes. A Dogwood policy […]