34 citations · 65 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
Rijul Jain, Shraddha Barke, Gabriel Ebner +3
Proof-oriented programming languages (POPLs) empower developers to write code alongside formal correctness proofs, providing formal guarantees that the code adheres to specified re…
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…