Demo Data from EDBT 2026 / reviewers in the wild / expert
Tung Duy Vu
dblp:414/7243
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
—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 |
Program verification · 50% Requirements engineering and software design · 50% | |
| Artificial intelligence
1 paper |
Question answering and dialogue systems · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › formal specification
formal specification inference |
1.0 | 1 | 2026 | SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference · ACL (1) 2026 |
Program verification › invariant generation
postcondition inference |
1.0 | 1 | 2026 | SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference · ACL (1) 2026 |
Natural language and speech › Question answering and dialogue systems
multi-turn interaction |
0.3 | 1 | 2026 | SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference · ACL (1) 2026 |
Methods — techniques the papers use, named apart from their topics
large language model prompting · 2.0interactive inference · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition InferenceabstractCuong Chi Le, Minh V.t. Pham, Tung D. Vu, Van Duc Cuong, Phan Nhat Huy, Phan Nhat Hoang, Tien N. Nguyen. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026. Cuong Chi Le, Minh V. T. Pham, Tung Duy Vu, Huy Nhat Phan, Hoang Nhat Phan, Tien N. Nguyen |
ACL (1) | 3 |