Demo Data from VLDB 2026 / reviewers in the wild / expert
Shiqi Wang 0032
dblp:400/1072
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Debugging and program repair · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
automated program repair |
0.9 | 1 | 2025 | PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification · ICML 2025 |
Debugging and program repair › automated program repair
patch validation |
0.9 | 1 | 2025 | PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification · ICML 2025 |
Debugging and program repair
fault localization |
0.3 | 1 | 2025 | PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification · ICML 2025 |
Methods — techniques the papers use, named apart from their topics
rule-based planning workflow · 0.9large language model · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal VerificationabstractRecent research builds various patching agents that combine large language models (LLMs) with non-ML tools and achieve promising results on the state-of-the-art (SOTA) software patching benchmark, SWE-bench.
Based on how to determine the patching workflows, existing patching agents can be categorized as agent-based planning methods, which rely on LLMs for planning, and rule-based planning methods, which follow a pre-defined workflow.
At a high level, agent-based planning methods achieve high patching performance but with a high cost and limited stability.
Rule-based planning methods, on the other hand, are more stable and efficient but have key workflow limitations that compromise their patching performance.
In this paper, we propose PatchPilot, an agentic patcher that strikes a balance between patching efficacy, stability, and cost-efficiency.
PatchPilot proposes a novel rule-based planning workflow with five components: reproduction, localization, generation, validation, and refinement (where refinement is unique to PatchPilot).
We introduce novel and customized designs to each component to optimize their effectiveness and efficiency.
Through extensive experiments on the SWE-bench benchmarks, PatchPilot shows a superior performance than existing open-source methods while maintaining low cost (less than 1\$ per instance) and ensuring higher stability.
We also conduct a detailed ablation study to validate the key designs in each component.
Our code is available at https://github.com/ucsb-mlsec/PatchPilot. Hongwei Li 0025, Yuheng Tang, Shiqi Wang 0032, Wenbo Guo 0002 |
ICML | 3 |