SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
Tue 6 Oct 2026 10:30 - 11:10 at OCC 208 - Session 4

AI agents increasingly resemble software systems: they call tools, remember facts, follow policies, delegate work, and take actions with real consequences. Yet the ``program'' of an agent is scattered across prompts, tools, memories, workflows, and execution traces, making its behavior difficult to inspect through ordinary testing and debugging alone. This essay argues that a programming-systems perspective offers a natural lens for making agents reliable. We recast agents as programmable artifacts whose behavior can be specified over traces and state, checked before deployment, monitored during execution, and improved from observed failures. The goal is not to make probabilistic agents behave like deterministic programs, but to give them enough structure that their behavior can be reasoned about, controlled, and repaired.

Tue 6 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
10:30
40m
Talk
Agents as Software: A Programming Languages Agenda for Agent Reliability
Onward! Essays
Shraddha Barke Microsoft Research, Redmond, Adithya Murali University of Wisconsin-Madison
11:10
40m
Talk
The Conversation We're Not Having About AI in Peer Review
Onward! Essays
Emerson Murphy-Hill Microsoft, Christian Bird Microsoft Research