Zuxing Gu

Software Developer

Bio

I obtained my B.S in Software Engineering at Nankai University from 2010-2014 and my Ph.D in software engineering from Tsinghua University from 2014 to 2019 supervised by Prof. Jiaguang Sun and Prof. Ming Gu. My main area of research is static program analysis for bug detection. During 2016-2017, I was a visiting student directed by Prof. Lui Sha, focusing on Medcial CPS for early detection of a special pattern called PSH. Here is my Publications and my Ph.D thesis(Chinese). I have broad interests in any automatic tools and methods to improve software development productivity, such as program analysis technique to find semantic bugs in source code, data-driven software knowledge mining and applications, all kinds of IDE tools.

Work Experience

Senior Software Engineer T11

Tencent/IEG/Program System Center
2022.11 - Now(5,3,5,5 Grade)
  • WeCheck: Owner of Checker Module of a bug detection tool & Customer problem consultation
  • Build a static bug detection tool for cpp based on Libtooling and llvm IR applying value-flow analysis.
  • Integrate our tool into CICD platform, currently more than 100 projects using the tool, find more than 10000+ real world bugs.
  • Tencent Technology Breakthrough Award for 2024 H2
  • Maple Tool Kit: Static Code Analysis Techniques and Applications. Project Leader.
  • Understand business team needs regarding code analysis, code quality, and R&D efficiency, and breaking down tasks accordingly.
  • Leveraging the characteristics of artifacts generated at various stages of the compiler, and combining them with business requirements to propose a “Decoupling, Unification, Integration” framework. This framework addresses business challenges through a series of code analysis tools, including code quality checks, header file analysis, code migration and slimming, code structure property analysis, and automatic instrumentation.
  • Engineering and implementing these tools in a unified pipeline, integrating them to enable daily automated analysis.
  • Tencent Outstanding Technology Award for 2025 H1
  • Published 5 patents

Junior Software Engineer A

Huawei/2012/IDE lab & Huawei/Cloud/PaaS
2020.1 - 2022.11
  • Tech Owner of HMS Toolkit - SmartCoder
  • Leading two Academic Collaboration with Nanjing and Fudan University
  • Technology planning of AI4SE
  • Build AI and program analysis powered tool(Jetbrains Plugin) for a specific domain, including knowledge querying, code completion and others.
  • Tool link

Junior Software Engineer B

Huawei/2012/Program Language lab
2019.7 - 2020.1
  • Software Developer of HMS Toolkit - Convertor
  • Design system interfaces between different modules
  • Automatic generate wrapper code of HMS and GMS
  • Tool link

Publications

  • Gu, Zuxing, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, and Jiaguang Sun. "Vetting api usages in c programs with imchecker." In 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 91-94. IEEE, 2019. [PDF] [IMChecker Repo]
  • Gu, Zuxing, Jiecheng Wu, Jiaxiang Liu, Min Zhou, and Ming Gu. "An empirical study on api-misuse bugs in open-source c programs." In 2019 IEEE 43rd annual computer software and applications conference (COMPSAC), vol. 1, pp. 11-20. IEEE, 2019. [PDF] [APIMU4C Repo]
  • Li, Chi, Min Zhou, Zuxing Gu(* corresponding author), Guang Chen, Yuexing Wang, Jiecheng Wu, and Ming Gu. "VBSAC: a value-based static analyzer for C." In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 382-385. 2019. [PDF] [VBSAC Repo]
  • Gu, Zuxing, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, and Ming Gu. "An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity." In 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 818-822. IEEE, 2016. [PDF]

    • MISC

  • Awesome Static Program Analysis
  • Personal Chinese translation of Static Program Analysis(Aarhus University, Anders Møller)[CP1-CP5.6] Personal Chinese translation of Static Program Analysis(Aarhus University, Anders Møller)[CP5.7~]

    • Skills

    Programming

    • Java
    • C++
    • python

    Skills

    • Academic Collaboration
    • Software Design
    • Problem Solving
    • Good Communication
    • Full of Passion

    Education

    • Ph.D in Software Engineering
      Tsinghua University
      2014 - 2019
    • BSc in Software Engineering
      Nankai University
      2010 - 2014

    Language

    • Chinese (Native)
    • English (Professional)

    Interests

    • Cooking
    • Variety Show