Chengpeng Wang is currently a Ph.D student under the supervision of Charles Zhang. He is also a member of Prism group in Cybersecurity Lab @ HKUST.He received his master degree at Tsinghua University. Before this, he received his B.S in Software Engineering and Mathematics(double major) at Tsinghua University.
His main area of research is programming languages, static analysis and code completion. His current research mainly focuses on automatic reasoning about heap-manipulating programs.
Inconsistency Detection in Build Systems
Presented a novel approach to detect the inconsistencies in build systems which may cause errors in the actual build.
Code Completion Based on Statistical Language Model
Applied methods from natural language processing to programming languages and implemented a tool for API completion.
Implemented the loop invariant algorithm on model checking framework CPAchecker. Applied it to the generation of function summary and used it in real world projects.
Haskell: Functional Language Programming
Automaton and Formal Logic
Introduction to Complex Function
Work on the inconsistency detection of build systems with Gang Fan
ISSTA 2019 Student Volunteer
Assist with technical sessions, workshops, tutorials and panels to keep the conferences running smoothly
Chengpeng Wang, Yixiao Yang, Han Liu, Le Kang. Statistical API Completion Based on Code Relevance Mining In MAINT 2019 : International Workshop on Mining and Analyzing Interaction Histories(SANER workshop), Feb, 2019.
Build Software Maintenance
Skills & Tools
MPhil in Software EngineeringSchool of Software, Tsinghua University2016 - 2019
BSc in MathematicsDepartment of Mathematics, Tsinghua University2013 - 2016
BSc in Software EngineeringSchool of Software, Tsinghua University2012 - 2016
Future Academician Scholarshiphonored 100 students at Tsinghua
Scholarship for Academic Excellencehonered for excellent academic performance
- Chinese (Native)
- English (Professional)
- Reading novels
- Writing essays
- Table tennis
- Thomas Reps
- Xavier Rival
- Philip Guo
- Jeff Huang