EDBT 2026 Demo / reviewers in the wild / expert
Wenmeng Zhang
dblp:66/9653
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2026
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 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 |
Program synthesis and code generation · 50% Debugging and program repair · 50% | |
| Artificial intelligence
1 paper |
Motion planning and robot control · 50% Robot manipulation · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
program repair |
0.9 | 1 | 2025 | Multi-modal Sketch-Based Behavior Tree Synthesis · Proc. ACM Program. Lang. 2025 |
Program synthesis and code generation › syntax-guided synthesis
sketch-based synthesis |
0.9 | 1 | 2025 | Multi-modal Sketch-Based Behavior Tree Synthesis · Proc. ACM Program. Lang. 2025 |
Robotics › Robot manipulation › robot programming
behavior tree generation |
0.3 | 1 | 2025 | Multi-modal Sketch-Based Behavior Tree Synthesis · Proc. ACM Program. Lang. 2025 |
Robotics › Motion planning and robot control
robot control |
0.3 | 1 | 2025 | Multi-modal Sketch-Based Behavior Tree Synthesis · Proc. ACM Program. Lang. 2025 |
Methods — techniques the papers use, named apart from their topics
search-based synthesis · 1.7natural language understanding · 1.7large language model · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Classifier guidance and domain cooperation for multisource unsupervised domain adaptation
Ming Zhao 0011, Yifan Lan, Yuwu Lu, Leyao Yuan, Wenmeng Zhang |
Knowl. Based Syst. | 5 |
| 2025 | Multi-modal Sketch-Based Behavior Tree SynthesisabstractBehavior trees (BTs) are widely adopted in the field of agent control, particularly in robotics, due to their modularity and reactivity. However, constructing a BT that meets the desired expectations is time-consuming and challenging, especially for non-experts. This paper presents BtBot , a multi-modal sketch-based behavior tree synthesis technique. Given a natural language task description and a set of positive and negative examples, BtBot automatically generates a BT program that aligns with the natural language description and meets the requirements of the examples. Inside BtBot , an LLM is employed to understand the task’s natural language description and generate a sketch of the task execution. Then, BtBot searches the sketch to synthesize a candidate BT program consistent with the user-provided positive and negative examples. When the sketch is proven to be incapable of generating the target BT, BtBot provides a multi-step repairing method that modifies the control nodes and structure of the sketch to search for the desired BT. We have implemented BtBot in a prototype and evaluated it on a benchmark of 70 tasks across multiple scenarios. The experimental results indicate that BtBot outperforms the existing BT synthesis techniques in effectiveness and efficiency. In addition, two user studies have been conducted to demonstrate the usefulness of BtBot . Wenmeng Zhang, Zhenbang Chen 0001, Weijiang Hong |
Proc. ACM Program. Lang. | 1 |