PhD Candidate, School of Software, Tsinghua University
Room 11-321, East Main Building, Tsinghua University, Beijing, China
I am a PhD student in School of Software, Tsinghua University. I received my B.S. degree in the School of Software, Tsinghua University in 2015. My reseach interest is program analysis, software testing and deep learning.
Ph.D Candidate in Software Engineering, 2015-nowSchool of Software, Tsinghua University, Beijing, ChinaAdvisor: Prof. Jiaguang Sun
B.E. in Software Engineering, 2011-2015School of Software, Tsinghua University, Beijing, China
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming GuEscape from Escape Analysis of Golang.the International Conference on Software Engineering (ICSE, CCF A), 2020.
Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang SunWeak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis.the International Conference on Software Engineering (ICSE, CCF A), 2018.
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang SunGo-Clone: Graph-Embedding Based Clone Detector for Golang.International Symposium on Software Testing and Analysis (ISSTA, CCF A), 2019.
Jian Gao, Yu Jiang, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang SunSemantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker.IEEE Transactions on Software Engineering (TSE, CCF A), 2019.
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu:Go-Sanitizer:Bug-Oriented Assertion Generation for Golang.International Symposium on Software Reliability Engineering (ISSRE, CCF B), 2019.
Cong Wang, Le Kang, Renwei Zhang, Weiliang YinStatically-Directed Assertion Recommendation for C Programs.Computer Software and Applications Conference (COMPSAC, CCF C), 2019.
Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang SunAssertion Recommendation for Formal Program Verification.Computer Software and Applications Conference (COMPSAC, CCF C), 2017.
- Weak-Assert: is a weakness-oriented assertion recommendation tool kit for program analysis. Weak-Assert applies to several types of program weaknesses, which are classified in Common Weakness Enumeration (CWE). # Personal completion Website , Video , Code , Paper
- Go-Clone: is a deep learning-based code clone detector for Golang. Users can choose one or more Golang projects. Go-Clone works out a list of function pairs, which are most likely cloned code. # Personal completion Video , Code
- Ceagle Online: is an online tool. Ceagle is a program verification tool for C program. It can judge the correctness of assertion statements in programs. Users can verify C program on this website. The website is developed by using django, uwsgi, nginx and mysql. # Personal completion Website , Code
- THSS: is an online website, which can help students to manage their scores. Developed by Django, uwsgi, nginx and mysql. # Personal completion Website , Code
- Huasheng Education: is an online educational website for primary school students. Till now, the website has 4k real users(students and teachers). Students can do exercises and take courses online. The website is developed by using Angular.JS, Node.JS, Leancloud API and Webpack. # Major contributor Website
- Bug Visualizer: is a visualization tool kit for program bug presentation. # Personal completion Code
- Dayifang: is wechat mini-application. Dayifang help college teachers to answer students' questions after class. You can have a try on "wechat" app. # Personal completion Qrcode
- Build Capture: is an makefile analysis tool. The tool is developed by using python. Build Capture is a private project. We are applying for patent for this technique. # Major contributor
- College Counselor, School of Sofeware, Tsinghua University, (2015/2016/2017/2018/2019/2020).
- President of student union, School of Sofeware, Tsinghua University, 2014.
- TA, Discrete Mathematics, Tsinghua University, (2015/2016/2017/2018/2019).
- TA, Formal Program Verification, Tsinghua University, (2016).
- TA, Professional Quality Education, Tsinghua University, (2015).
- Member, THU-HKUST communication project, (2017).
- Member, THU-KAIST communication project, (2015).
- Beijing's "Pioneer Cup" Outstanding League Leader, 2014.
- Excellent Students Awards Of Beijing, 2014.
- Tsinghua-Jinli Academic Scholarship, 2016.
- Tsinghua-Huayu Academic Scholarship, 2018.
- Tsinghua-Guoshuang Academic Scholarship, 2017.
- Outstanding Leader of Tsinghua 12.9 Singing Competition, 2016.
- Tsinghua Academic Scholarship, 2016.
- Tsinghua Social Work Scholarship, 2017.
- Tsinghua University student outstanding cadres, 2013.