Thread
Testing and benchmarking agents
Agent harnesses are software, and software has bugs. Reproducible benchmarks of real harness failures, harness-centric test generation, and agents that diagnose and repair other agents — including hundreds of previously unknown bugs found in production open-source agentic systems.
Yiling Lou · UIUC
Lingming Zhang · UIUC
Bogdan Stoica · UIUC
Aditya Thimmaiah · UT Austin
Thread
Constraints, verification and guardrails
What it takes to bound what an agent may do: enforcing temporal and grammatical constraints on generation, hybrid pipelines that pair LLM creativity with static and dynamic program analysis, neurosymbolic reasoning, formal semantics and runtime assurance.
Saša Misailović · UIUC
Sriram Sankaranarayanan · CU Boulder
Alvaro Velasquez · CU Boulder
Bor-Yuh Evan Chang · CU Boulder
Gowtham Kaki · CU Boulder
Danny Dig · CU Boulder
Thread
Securing and assuring agents
What an agent is allowed to touch, and how you find out when that goes wrong: reasoning symbolically about the plans agents produce, red-teaming the tools and webpages they rely on, automated software vetting, and keeping multi-step workflows predictable in cost and quality.
Tristan Ravitch · Amazon AWS
Guanhong Tao · University of Utah
Stefan Nagy · University of Utah
Neeraja Yadwadkar · UT Austin
Thread
People, trust and consequences
Keeping the human meaningfully in the loop as AI moves off the screen and into the physical world — what makes people trust an AI system in the built environment, what human–robot interaction teaches us about teaming with agents, how agents can adapt to individuals over time, and how to design for people at their most vulnerable.
Ellen Do · CU Boulder
Brad Hayes · CU Boulder · CTO, Circadence
Kenneth Marino · University of Utah
Amir Behzadan · CU Boulder
Jed Brubaker · CU Boulder
Panel
AI governance
Turning responsible-AI principles into policies teams can actually follow — what to write down, what to require, what to audit, and who signs off when an agent is allowed to act on the organization's behalf.
Day 1 panel
Karen Furlani · Ex-Worley
Michael Cooper · Triarcus Systems
Rajdeep Mukherjee · Amazon AWS
Moses Bazzi · RMCyber
Brad Hayes · CU Boulder (moderator)
Panel
The future of work
What sustained collaboration with AI does to human thinking — to judgment, to memory, to the willingness to sit with a hard problem — and what that means for jobs, teams and professional practice over the next decade. Evidence where we have it, honest uncertainty where we do not.
Day 2 panel
Ajaykumar Rajasekharan · Workday
Carolyn Ujcic · Google
Scott James · SoundlyRun
Taryn Heilman · Indeed
John Regehr · University of Utah (moderator)
Panel
Durable skills in the GenAI era
The role is shifting from using AI to supervising it. What engineers and researchers need to be able to do — verify work they did not produce, hold onto hard-won expertise, and stay effective as the tools move underneath them — and what employers and universities owe them.
Day 2 panel
Bhavna Chhabra · Ex-Google
Jaden Garza · Half as Smart
Nita Meng · Google
Sergio Ortega · Amazon AWS
Amir Behzadan · CU Boulder (moderator)
Panel
Agentic AI in low-resource environments
Finance, healthcare, manufacturing and defense have the hardest version of this problem: foundation models saw little of their domain data in training, so the general-purpose recipes underperform — and the constraints are strictest exactly where the models are weakest, with HIPAA and comparable privacy regimes, security review, and data that cannot leave the building.
Day 2 panel
Dragos Margineantu · Boeing
Kedar Naik · BAE Systems
Yuki Kosaka · NEC Labs America
Grzegorz Kakareko · Workday
Sriram Sankaranarayanan · CU Boulder (moderator)
Tutorial
Tutorial: Responsible AI approaches to Speculative Design
As AI systems are further oriented towards autonomous workflows and interactions with the physical world, engineers and developers should be equipped to anticipate the sociotechnical impacts of their work. This tutorial leverages core concepts from Responsible AI practice to help participants build their capacity to both imagine and mitigate potential risks as they design and build AI systems.
Chris Persaud · Intel
Casey Fiesler · CU Boulder
Panel
Teaching, curriculum and the next generation
What changes in a computing education when students arrive already coding with agents — from people who are teaching those courses now. John Regehr teaches Utah's CS 3960 "Vibe Coding" alongside advanced compilers, bringing a compiler-testing researcher's standards for correctness to a classroom where students generate most of their code. Brad Hayes is teaching a new CU course, "Design, Build, and Think AI." Danny Dig has taught three: Building AI Agents, GenAI-augmented Software Engineering, and AI-driven Leadership. Alongside them, Tushar Udeshi is building AI learning tools at Khan Academy.
Day 2 panel
Tushar Udeshi · Khan Academy
John Regehr · University of Utah
Brad Hayes · CU Boulder · CTO, Circadence
Danny Dig · CU Boulder
Bor-Yuh Evan Chang · CU Boulder (moderator)