Chaoqiang Deng

According to our database, Chaoqiang Deng authored at least 7 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

The Systematic Design of Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng, Patrick Cousot

ACM Trans. Program. Lang. Syst., 2022

2021

Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng

PhD thesis, 2021

2019

Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng, Patrick Cousot

Proceedings of the Static Analysis - 26th International Symposium, 2019

2018

Securing a compiler transformation.

Chaoqiang Deng, Kedar S. Namjoshi

Formal Methods Syst. Des., 2018

2017

Securing the SSA Transform.

Chaoqiang Deng, Kedar S. Namjoshi

Proceedings of the Static Analysis - 24th International Symposium, 2017

Witnessing Network Transformations.

Chaoqiang Deng, Kedar S. Namjoshi

Proceedings of the Runtime Verification - 17th International Conference, 2017

2011

G2: A Graph Processing System for Diagnosing Distributed Systems.

Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, Lidong Zhou

Proceedings of the 2011 USENIX Annual Technical Conference, 2011