Cong Wang

PhD Candidate, School of Software, Tsinghua University

Room 11-321, East Main Building, Tsinghua University, Beijing, China
Email: bryantwangcong@163.com, wangcong15@mails.tsinghua.edu.cn
Research Interests: Program Analysis, Software Testing, Deep Learning

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.

Education


  • Ph.D Candidate in Software Engineering, 2015-now
    School of Software, Tsinghua University, Beijing, China
    Advisor: Prof. Jiaguang Sun
  • B.E. in Software Engineering, 2011-2015
    School of Software, Tsinghua University, Beijing, China

Publications


  1. Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
    Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis.
    the International Conference on Software Engineering (ICSE, CCF A), 2018.
  2. Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
    Go-Clone: Graph-Embedding Based Clone Detector for Golang.
    International Symposium on Software Testing and Analysis (ISSTA, CCF A), 2019.
  3. 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.
  4. Cong Wang, Le Kang, Renwei Zhang, Weiliang Yin
    Statically-Directed Assertion Recommendation for C Programs.
    Computer Software and Applications Conference (COMPSAC, CCF C), 2019.
  5. Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
    Assertion Recommendation for Formal Program Verification.
    Computer Software and Applications Conference (COMPSAC, CCF C), 2017.
  6. Cong Wang, Yu Jiang, Zhe Liu, Huafeng Zhang, Zhenchang Xing, Hongtang Su, Jiaguang Sun
    (in review) Escape from Escape Analysis of Golang.
    International Conference on Automated Software Engineering (ASE, CCF A), 2019.
  7. Jian Gao, Yu Jiang, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
    (in review) Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker.
    IEEE Transactions on Software Engineering (TSE, CCF A), 2019.

Applications


  1. 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
  2. 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
  3. 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
  4. THSS: is an online website, which can help students to manage their scores. Developed by Django, uwsgi, nginx and mysql. # Personal completion
    Website , Code
  5. 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
  6. Bug Visualizer: is a visualization tool kit for program bug presentation. # Personal completion
    Code
  7. 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
  8. 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

Activities


  1. College Counselor, School of Sofeware, Tsinghua University, (2015/2016/2017/2018).
  2. President of student union, School of Sofeware, Tsinghua University, 2014.
  3. TA, Discrete Mathematics, Tsinghua University, (2015/2016/2017/2018).
  4. TA, Formal Program Verification, Tsinghua University, (2016).
  5. TA, Professional Quality Education, Tsinghua University, (2015).
  6. Member, THU-HKUST communication project, (2017).
  7. Member, THU-KAIST communication project, (2015).

Awards


  1. Beijing's "Pioneer Cup" Outstanding League Leader, 2014.
  2. Excellent Students Awards Of Beijing, 2014.
  3. Tsinghua-Jinli Academic Scholarship, 2016.
  4. Tsinghua-Huayu Academic Scholarship, 2018.
  5. Tsinghua-Guoshuang Academic Scholarship, 2017.
  6. Outstanding Leader of Tsinghua 12.9 Singing Competition, 2016.
  7. Tsinghua Academic Scholarship, 2016.
  8. Tsinghua Social Work Scholarship, 2017.
  9. Tsinghua University student outstanding cadres, 2013.