Tengbin Wang

According to our database, Tengbin Wang authored at least 2 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