G2: A Graph Processing System for Diagnosing Distributed Systems. - Zhenyu Guo; Dong Zhou 006; Haoxiang Lin; Mao Yang 004; Fan Long; Chaoqiang Deng; Changshu Liu; Lidong Zhou (USENIX ATC, 2011)

Witnessing Network Transformations. - Chaoqiang Deng; Kedar S. Namjoshi (RV, 2017)

Securing the SSA Transform. - Chaoqiang Deng; Kedar S. Namjoshi (SAS, 2017)

Securing a compiler transformation. - Chaoqiang Deng; Kedar S. Namjoshi (Formal Methods Syst. Des., 2018)

Responsibility Analysis by Abstract Interpretation. - Chaoqiang Deng; Patrick Cousot (SAS, 2019)

Responsibility Analysis by Abstract Interpretation. - Chaoqiang Deng (2021)

The Systematic Design of Responsibility Analysis by Abstract Interpretation. - Chaoqiang Deng; Patrick Cousot (ACM Trans. Program. Lang. Syst., 2022)