Sign in
Tengbin Wang
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Mathematical Foundations
Allocate Resources
Network Flow
Relational Databases
Top Venues
ISSRE
CP
</>
Publications
</>
Tengbin Wang
,
Liqian Chen
,
Taoqing Chen
,
Guangsheng Fan
,
Ji Wang
Making Rigorous Linear Programming Practical for Program Analysis.
CP
(2021)
Guangsheng Fan
,
Taoqing Chen
,
Banghu Yin
,
Liqian Chen
,
Tengbin Wang
,
Ji Wang
Static Bound Analysis of Dynamically Allocated Resources for C Programs.
ISSRE
(2021)