Login / Signup
Taoqing Chen
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 3
Top Topics
Lower Bound
Static Analysis
Imperative Programs
Resource Usage
Top Venues
APSEC
ISSRE
CP
</>
Publications
</>
Liqian Chen
,
Taoqing Chen
,
Guangsheng Fan
,
Banghu Yin
Static Analysis of Resource Usage Bounds for Imperative Programs.
APSEC
(2021)
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)