Career Profile
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.
Research Experience
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.
Loop Invariant
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.
Teaching Experience
Haskell: Functional Language Programming
Automaton and Formal Logic
Introduction to Complex Function
Working Experience
Research Intern
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
Publications
-
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.
Misc
Research Interest
-
Shape Analysis
-
Build Software Maintenance
-
Code Completion
Skills & Tools
Skills
-
Program Analysis
-
Numerical Computation
-
Modern Algebra
Tools
- Python
- Java
- Mathematica
- Matlab
- LaTex
- Git
Education
-
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
Awards
-
Future Academician Scholarshiphonored 100 students at Tsinghua
-
Scholarship for Academic Excellencehonered for excellent academic performance
Language
- Chinese (Native)
- English (Professional)
Interests
- Reading novels
- Writing essays
- Running
- Table tennis
Links
- Thomas Reps
- Xavier Rival
- Philip Guo
- Jeff Huang