3 papers
cs.SE2026
Willful Disobedience: Automatically Detecting Failures in Agentic Traces
Reshabh K Sharma, Shraddha Barke, Benjamin Zorn
AI agents are increasingly embedded in real software systems, where they execute multi-step workflows through multi-turn dialogue, tool invocations, and intermediate decisions. The…
cs.SE2026
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh K Sharma, Jonathan De Halleux, Shraddha Barke +2
Large language models (LLMs) are being used in many applications and prompts for these models are integrated into software applications as code-like artifacts. These prompts behave…
cs.CY2025
Empowering the Future Workforce: Prioritizing Education for the AI-Accelerated Job Market
Lisa Amini, Henry F. Korth, Nita Patel +2
AI's rapid integration into the workplace demands new approaches to workforce education and training and broader AI literacy across disciplines. Coordinated action from government,…