Xi Cheng
Email: chengxi09 at gmail dot com
Address: |
![]() |
IntroI 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
Automatic Integer Error Repair by Proper-Type Inference
Accepted by IEEE Transactions on Dependable and Secure Computing, 2019.
Tolerating C Integer Error via Precision Elevation
IEEE Transactions on Computers, 2019, 68(2).
[PDF]
Parallelizing SMT Solving via Lazy Decomposition and Conciliation
Artificial Intelligence, Elsevier, 2018, 257.
[PDF]
IntPTI: Automatic Integer Error Repair With Proper-Type Inference
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
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
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
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
PZ3
|