Demo Data from EDBT 2026 / reviewers in the wild / expert
Chaoqiang Deng
dblp:145/3709
· DBLP profile ↗
7ranked-venue papers
6as first author
1since 2021 · last 2022
0000-0003-3747-1984ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 5 first-author · 1 since 2021Systems, architecture and hardware · 1Theory of computation · 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
2 papers |
Program analysis · 48% Programming languages and type systems · 48% Debugging and program repair · 3% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 50% Parallel and multicore computing · 50% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
static analysis |
0.6 | 1 | 2022 | The Systematic Design of Responsibility Analysis by Abstract Interpretation · ACM Trans. Program. Lang. Syst. 2022 |
Programming languages and type systems › language semantics
trace semantics |
0.6 | 1 | 2022 | The Systematic Design of Responsibility Analysis by Abstract Interpretation · ACM Trans. Program. Lang. Syst. 2022 |
Electronic design automation › hardware verification and test
diagnosis |
0.1 | 1 | 2011 | G2: A Graph Processing System for Diagnosing Distributed Systems · USENIX ATC 2011 |
Parallel and multicore computing
graph processing |
0.1 | 1 | 2011 | G2: A Graph Processing System for Diagnosing Distributed Systems · USENIX ATC 2011 |
Debugging and program repair › concurrent program debugging
distributed debugging |
0.0 | 1 | 2011 | G2: A Graph Processing System for Diagnosing Distributed Systems · USENIX ATC 2011 |
Methods — techniques the papers use, named apart from their topics
forward reachability analysis · 0.6backward impossible failure accessibility analysis · 0.6abstract interpretation · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | The Systematic Design of Responsibility Analysis by Abstract InterpretationabstractGiven a behavior of interest, automatically determining the corresponding responsible entity (i.e., the root cause) is a task of critical importance in program static analysis. In this article, a novel definition of responsibility based on the abstraction of trace semantics is proposed, which takes into account the cognizance of observer, which, to the best of our knowledge, is a new innovative idea in program analysis. Compared to current dependency and causality analysis methods, the responsibility analysis is demonstrated to be more precise on various examples. However, the concrete trace semantics used in defining responsibility is uncomputable in general, which makes the corresponding concrete responsibility analysis undecidable. To solve this problem, the article proposes a sound framework of abstract responsibility analysis, which allows a balance between cost and precision. Essentially, the abstract analysis builds a trace partitioning automaton by an iteration of over-approximating forward reachability analysis with trace partitioning and under/over-approximating backward impossible failure accessibility analysis, and determines the bounds of potentially responsible entities along paths in the automaton. Unlike the concrete responsibility analysis that identifies exactly a single action as the responsible entity along every concrete trace, the abstract analysis may lose some precision and find multiple actions potentially responsible along each automaton path. However, the soundness is preserved, and every responsible entity in the concrete is guaranteed to be also found responsible in the abstract. Chaoqiang Deng, Patrick Cousot |
ACM Trans. Program. Lang. Syst. | 1 |
| 2019 | Responsibility Analysis by Abstract Interpretation
Chaoqiang Deng, Patrick Cousot |
SAS | 1 |
| 2018 | Securing a compiler transformation
Chaoqiang Deng, Kedar S. Namjoshi |
Formal Methods Syst. Des. | 1 |
| 2017 | Witnessing Network Transformations
Chaoqiang Deng, Kedar S. Namjoshi |
RV | 1 |
| 2017 | Securing the SSA Transform
Chaoqiang Deng, Kedar S. Namjoshi |
SAS | 1 |
| 2016 | Securing a Compiler Transformation
Chaoqiang Deng, Kedar S. Namjoshi |
SAS | 1 |
| 2011 | G2: A Graph Processing System for Diagnosing Distributed Systems
Dong Zhou 0006, Haoxiang Lin, Mao Yang 0004, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou |
USENIX ATC | 6 |