Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Chaoqiang Deng

dblp:145/3709 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program analysis
static analysis
0.612022
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.612022
The Systematic Design of Responsibility Analysis by Abstract Interpretation · ACM Trans. Program. Lang. Syst. 2022
Electronic design automation › hardware verification and test
diagnosis
0.112011
G2: A Graph Processing System for Diagnosing Distributed Systems · USENIX ATC 2011
Parallel and multicore computing
graph processing
0.112011
G2: A Graph Processing System for Diagnosing Distributed Systems · USENIX ATC 2011
Debugging and program repair › concurrent program debugging
distributed debugging
0.012011
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
YearPublicationVenuePosition
2022 The Systematic Design of Responsibility Analysis by Abstract Interpretation
abstract
Given 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
SAS1
2018 Securing a compiler transformation
Chaoqiang Deng, Kedar S. Namjoshi
Formal Methods Syst. Des.1
2017 Witnessing Network Transformations
Chaoqiang Deng, Kedar S. Namjoshi
RV1
2017 Securing the SSA Transform
Chaoqiang Deng, Kedar S. Namjoshi
SAS1
2016 Securing a Compiler Transformation
Chaoqiang Deng, Kedar S. Namjoshi
SAS1
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 ATC6