Email: chengxi13 at mails dot tsinghua dot edu dot cn
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.
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.
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.
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.
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]