collaborators

5 papers

cs.SE2025

Towards a Human-in-the-Loop Framework for Reliable Patch Evaluation Using an LLM-as-a-Judge

Sherry Shi, Renyao Wei, Michele Tufano +4

Reliable evaluation is crucial for advancing Automated Program Repair (APR), but prevailing benchmarks rely on execution-based evaluation methods (unit test pass@k), which fail to…

cs.SE2025

Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic Program Repair

José Cambronero, Michele Tufano, Sherry Shi +7

Agentic Automated Program Repair (APR) is increasingly tackling complex, repository-level bugs in industry, but ultimately these patches still need to be reviewed by a human before…

cs.SE2025

Towards Verified Code Reasoning by LLMs

Meghana Sistla, Gogul Balakrishnan, Pat Rondon +3

While LLM-based agents are able to tackle a wide variety of code reasoning questions, the answers are not always correct. This prevents the agent from being useful in situations wh…

cs.SE2025

Agentic Bug Reproduction for Effective Automated Program Repair at Google

Runxiang Cheng, Michele Tufano, Jürgen Cito +5

Bug reports often lack sufficient detail for developers to reproduce and fix the underlying defects. Bug Reproduction Tests (BRTs), tests that fail when the bug is present and pass…

cs.SE2025

Evaluating Agent-based Program Repair at Google

Pat Rondon, Renyao Wei, José Cambronero +5

Agent-based program repair offers to automatically resolve complex bugs end-to-end by combining the planning, tool use, and code generation abilities of modern LLMs. Recent work ha…