Chaoqiang Deng

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 7

Top Topics

Abstract Interpretation

Network Topologies

Static Analysis

Fukunaga Koontz

Top Venues

Formal Methods Syst. Des.

Publications

Chaoqiang Deng, Patrick Cousot
The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Chaoqiang Deng, Patrick Cousot
Responsibility Analysis by Abstract Interpretation. SAS (2019)
Chaoqiang Deng, Patrick Cousot
Responsibility Analysis by Abstract Interpretation. CoRR (2019)
Chaoqiang Deng, Kedar S. Namjoshi
Securing a compiler transformation. Formal Methods Syst. Des. 53 (2) (2018)
Chaoqiang Deng, Kedar S. Namjoshi
Securing the SSA Transform. SAS (2017)
Chaoqiang Deng, Kedar S. Namjoshi
Witnessing Network Transformations. RV (2017)
Chaoqiang Deng, Kedar S. Namjoshi
Securing a Compiler Transformation. SAS (2016)
Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou
G2: A Graph Processing System for Diagnosing Distributed Systems. USENIX Annual Technical Conference (2011)