Xi Cheng


Ph.D. Candidate
Institute of Software System and Engineering
School of Software
Tsinghua University

Email: chengxi13 at mails dot tsinghua dot edu dot cn
Office: East Main Building 11-301

Address:
Tsinghua University
Beijing, 100084


Research Interest

My research focuses on constraint solving, static analysis and program repair. I am working on building a static analysis platform to automatically detect and fix complicated vulnerabilites in real-world software systems. I am interested in how static analysis techniques unleash the software productivity.


Publications

IntPTI: Automatic Integer Error Repair With Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun
In Proceedings of the 32th IEEE/ACM International Conference on Automated Software Engineering, ASE'17, Urbana-Champaign, IL, USA, 2017.
[PDF]

RABIEF: Range Analysis Based Integer Error Fixing
Xi Cheng
In Proceedings of 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE'16, Seattle, WA, USA, 2016.
[PDF]

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang and Xiaoyu Song
In Proceedings of 40th IEEE Computer Society International Conference on Computers, Software and Applications, COMPSAC'16, Atlanta, GA, USA, 2016.
[PDF]

Automatic Fix for C Integer Errors by Precision Improvement
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun
In Proceedings of 40th IEEE Computer Society International Conference on Computers, Software and Applications, COMPSAC'16, Atlanta, GA, USA, 2016.
Best Paper Award
[PDF]


Research Projects

Follow me on Github: @cxcfan, @45258E9F

PZ3
A parallel SMT solver based on lazy decomposition and conciliation schema.

CIntFix
A tool for automatic C integer error fixing based on precision improvement.

IntPTI
A static-analysis based C integer error fixing tool based on proper-type inference.