Xi Cheng


Member of Technical Staff, Professional
VMware, Inc.

Email: chengxi09 at gmail dot com

Address:
8F South Wing, Raycom Infotech Park Tower C
No. 2, Kexueyuan South Road
Haidian District
Beijing, 100190


Intro

I received my PhD in Tsinghua University on July 2018. Currently I am working at VMware as a Member of Technical Staff. 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

Tolerating C Integer Error via Precision Elevation
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun
Accepted by IEEE Transactions on Computers, 2018.

Parallelizing SMT Solving via Lazy Decomposition and Conciliation
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun
Artificial Intelligence, Elsevier, 2018, 257.
[PDF]

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.