Demo Data from EDBT 2026 / reviewers in the wild / expert
Jibin Ou
dblp:161/3357
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2015
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Human-computer interaction and ubiquitous computing · 1 · 1 first-author
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% | |
| Human-computer interaction and pervasive computing
1 paper |
Interaction techniques and input · 100% |
Topics — the 1 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
data structure visualization |
0.2 | 1 | 2015 | An Interactive System for Data Structure Development · CHI 2015 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.4interactive abstraction manipulation · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | An Interactive System for Data Structure DevelopmentabstractData structure algorithms are of fundamental importance in teaching and software development, yet are difficult to understand. We propose a new approach for understanding, debugging and developing heap manipulating data structures. The key technical idea of our work is to combine deep parametric abstraction techniques emerging from the area of static analysis with interactive abstraction manipulation. Our approach bridges program analysis with HCI and enables new capabilities not possible before: i) online automatic visualization of the data structure in a way which captures its essential operation, thus enabling powerful local reasoning, and ii) fine grained pen and touch gestures allowing for interactive control of the abstraction -- at any point the developer can pause the program, graphically interact with the data, and continue program execution. These features address some of the most pressing challenges in developing data structures. We implemented our approach in a Java-based system called FluiEdt and evaluated it with $27$ developers. The results indicate that FluiEdt is more effective in helping developers find data structure errors than existing state of the art IDEs (e.g. Eclipse) or pure visualization based approaches. Jibin Ou, Martin T. Vechev, Otmar Hilliges |
CHI | 1 |