Taoqing Chen

According to our database, Taoqing Chen authored at least 3 papers in 2021.

Collaborative distances:

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

2021

Static Bound Analysis of Dynamically Allocated Resources for C Programs.

Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Making Rigorous Linear Programming Practical for Program Analysis.

Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Static Analysis of Resource Usage Bounds for Imperative Programs.

Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021