-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
267 lines (236 loc) · 15.8 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
<!DOCTYPE html>
<html lang="en">
<head>
<title>Welcome to Zuxing's Homepage</title>
<!-- Meta -->
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="description" content="Zuxing's Homepage.">
<meta name="author" content="Zuxing Gu">
<link rel="shortcut icon" href="assets/images/shortcut.ico">
<!-- FontAwesome JS-->
<script defer src="assets/fontawesome/js/all.min.js"></script>
<!-- Theme CSS -->
<link id="theme-style" rel="stylesheet" href="assets/css/pillar-2.css">
</head>
<body>
<article class="resume-wrapper text-center position-relative">
<div class="resume-wrapper-inner mx-auto text-start bg-white shadow-lg">
<header class="resume-header pt-4 pt-md-0">
<div class="row">
<div class="col-block col-md-auto resume-picture-holder text-center text-md-start">
<img class="picture" src="assets/images/profile.jpg" alt="">
</div><!--//col-->
<div class="col">
<div class="row p-4 justify-content-center justify-content-md-between">
<div class="primary-info col-auto">
<h1 class="name mt-0 mb-1 text-white text-uppercase text-uppercase">Zuxing Gu</h1>
<div class="title mb-3">Software Developer</div>
<ul class="list-unstyled">
<li class="mb-2"><a class="text-link" href="mailto:#"><i class="far fa-envelope fa-fw me-2" data-fa-transform="grow-3"></i>guzuxing@sina.com</a></li>
<li><a class="text-link"><i class="fas fa-mobile-alt fa-fw me-2" data-fa-transform="grow-6"></i>WeChat: tomgu1991</a></li>
</ul>
</div><!--//primary-info-->
<div class="secondary-info col-auto mt-2">
<ul class="resume-social list-unstyled">
<li class="mb-3"><a class="text-link" href="https://www.linkedin.cn/incareer/in/%E7%A5%96%E5%85%B4-%E8%B0%B7-b67980b8"><span class="fa-container text-center me-2"><i class="fab fa-linkedin-in fa-fw"></i></span>linkedin.com/in/zuxing</a></li>
<li class="mb-3"><a class="text-link" href="https://github.com/tomgu1991"><span class="fa-container text-center me-2"><i class="fab fa-github-alt fa-fw"></i></span>github.com/tomgu1991</a></li>
<li class="mb-3"><a class="text-link" href="https://gitee.com/tomgu1991"><span class="fa-container text-center me-2"><i class="fab fa-github-alt fa-fw"></i></span>gitee.com/tomgu1991</a></li>
<li class="mb-3"><i class="fas fa-map-marker-alt fa-fw fa-lg mr-2"></i>Shanghai, China</li>
</ul>
</div><!--//secondary-info-->
</div><!--//row-->
</div><!--//col-->
</div><!--//row-->
</header>
<div class="resume-body p-5">
<section class="resume-section summary-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Bio</h2>
<div class="resume-section-content">
<p class="mb-0">
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 <a href="https://www.thss.tsinghua.edu.cn/faculty/sunjiaguang.htm">Prof. Jiaguang Sun</a> and <a href="https://www.thss.tsinghua.edu.cn/faculty/guming.htm">Prof. Ming Gu</a>.
My main area of research is static program analysis for bug detection.
During 2016-2017, I was a visiting student directed by <a href="http://cs.illinois.edu/directory/profile/lrs">Prof. Lui Sha</a>, focusing on Medcial CPS for early detection of a special pattern called <a href="https://emcrit.org/ibcc/psh/">PSH</a>.
Here is my <a href="https://scholar.google.com/citations?user=yHAKUBoAAAAJ&hl=en&oi=sra">Publications</a> and my <a href="assets/files/thesis.pdf">Ph.D thesis</a>(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.
</p>
</div>
</section><!--//summary-section-->
<div class="row">
<div class="col-lg-9">
<section class="resume-section experience-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Work Experience</h2>
<div class="resume-section-content">
<div class="resume-timeline position-relative">
<article class="resume-timeline-item position-relative">
<div class="resume-timeline-item-header mb-2">
<div class="d-flex flex-column flex-md-row">
<h3 class="resume-position-title font-weight-bold mb-1">Software Engineer</h3>
<div class="resume-company-name ms-auto">Tencent/PCG/Program System Center</div>
</div><!--//row-->
<div class="resume-position-time">2022.11 - Now</div>
</div><!--//resume-timeline-item-header-->
<div class="resume-timeline-item-desc">
<ul>
<li ><span class="badge bg-secondary badge-pill">Owner of Checker Module of a bug detection tool & Customer problem consultation</span></li>
<li >Build a static bug detection tool for cpp based llvm IR applying value-flow analysis.</li>
<li >Integrate our tool into CICD platform, currently more than 100 projects using the tool, find more than 1000+ real world bugs.</li>
</ul>
</div><!--//resume-timeline-item-desc-->
</article><!--//resume-timeline-item-->
<article class="resume-timeline-item position-relative">
<div class="resume-timeline-item-header mb-2">
<div class="d-flex flex-column flex-md-row">
<h3 class="resume-position-title font-weight-bold mb-1">Junior Software Engineer A</h3>
<div class="resume-company-name ms-auto">Huawei/2012/IDE lab & Huawei/Cloud/PaaS</div>
</div><!--//row-->
<div class="resume-position-time">2020.1 - 2022.11</div>
</div><!--//resume-timeline-item-header-->
<div class="resume-timeline-item-desc">
<ul>
<li ><span class="badge bg-secondary badge-pill">Tech Owner of HMS Toolkit - SmartCoder</span></li>
<li ><span class="badge bg-secondary badge-pill">Leading two Academic Collaboration with Nanjing and Fudan University</span></li>
<li >Technology planning of AI4SE</li>
<li >Build AI and program analysis powered tool(Jetbrains Plugin) for a specific domain, including knowledge querying, code completion and others.</li>
<li> <a class="text-link" href="https://developer.huawei.com/consumer/cn/doc/development/Tools-Guides/smartcoder-0000001113962554">Tool link</a></li>
</ul>
</div><!--//resume-timeline-item-desc-->
</article><!--//resume-timeline-item-->
<article class="resume-timeline-item position-relative">
<div class="resume-timeline-item-header mb-2">
<div class="d-flex flex-column flex-md-row">
<h3 class="resume-position-title font-weight-bold mb-1">Junior Software Engineer B</h3>
<div class="resume-company-name ms-auto">Huawei/2012/Program Language lab</div>
</div><!--//row-->
<div class="resume-position-time">2019.7 - 2020.1</div>
</div><!--//resume-timeline-item-header-->
<div class="resume-timeline-item-desc">
<ul>
<li ><span class="badge bg-secondary badge-pill">Software Developer of HMS Toolkit - Convertor</span></li>
<li >Design system interfaces between different modules</li>
<li >Automatic generate wrapper code of HMS and GMS</li>
<li> <a class="text-link" href="https://developer.huawei.com/consumer/en/doc/development/Tools-Guides/convertor-0000001050147221">Tool link</a></li>
</ul>
</div><!--//resume-timeline-item-desc-->
</article><!--//resume-timeline-item-->
</div><!--//resume-timeline-->
</div>
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Publications</h2>
<div class="item mb-3">
<li>
<b>Gu, Zuxing</b>, 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.
<a href="assets/files/19icse.pdf">[PDF]</a> <a href="https://github.com/tomgu1991/IMChecker">[IMChecker Repo]</a>
</li>
<li>
<b>Gu, Zuxing</b>, 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.
<a href="assets/files/19compsac.pdf">[PDF]</a> <a href="https://github.com/tomgu1991/APIMU4C">[APIMU4C Repo]</a>
</li>
<li>
Li, Chi, Min Zhou, <b>Zuxing Gu(* corresponding author)</b>, 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.
<a href="assets/files/19issta.pdf">[PDF]</a> <a href="https://github.com/tomgu1991/VBSAC">[VBSAC Repo]</a>
</li>
<li>
<b>Gu, Zuxing</b>, 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.
<a href="assets/files/16bibm.pdf">[PDF]</a>
</li>
</div>
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">MISC</h2>
<div class="item mb-3">
<li>
<a href="https://gitee.com/tomgu1991/Foundation4AIandSE/tree/main/awesome_spa">Awesome Static Program Analysis</a>
</li>
<li>
<a href="https://gitee.com/tomgu1991/spa_chinese">Personal Chinese translation of Static Program Analysis(Aarhus University, Anders Møller)[CP1-CP5.6]</a>
<a href="https://slash-margin-254.notion.site/SPA-d21b6164d1a44917b3bbf3aee59e5269">Personal Chinese translation of Static Program Analysis(Aarhus University, Anders Møller)[CP5.7~]</a>
</li>
</div>
</section><!--//experience-section-->
</div>
<div class="col-lg-3">
<section class="resume-section skills-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Skills</h2>
<div class="resume-section-content">
<div class="resume-skill-item">
<h4 class="resume-skills-cat font-weight-bold">Programming</h4>
<ul class="list-unstyled mb-4">
<li class="mb-2">
<div class="resume-skill-name">Java</div>
<div class="progress resume-progress">
<div class="progress-bar theme-progress-bar-dark" role="progressbar" style="width: 90%" aria-valuenow="25" aria-valuemin="0" aria-valuemax="100"></div>
</div>
</li>
<li class="mb-2">
<div class="resume-skill-name">C++</div>
<div class="progress resume-progress">
<div class="progress-bar theme-progress-bar-dark" role="progressbar" style="width: 50%" aria-valuenow="25" aria-valuemin="0" aria-valuemax="100"></div>
</div>
</li>
<li class="mb-2">
<div class="resume-skill-name">python</div>
<div class="progress resume-progress">
<div class="progress-bar theme-progress-bar-dark" role="progressbar" style="width: 30%" aria-valuenow="25" aria-valuemin="0" aria-valuemax="100"></div>
</div>
</li>
</ul>
</div><!--//resume-skill-item-->
<div class="resume-skill-item">
<h4 class="resume-skills-cat font-weight-bold">Skills</h4>
<ul class="list-inline">
<li class="list-inline-item"><span class="badge badge-light">Academic Collaboration</span></li>
<li class="list-inline-item"><span class="badge badge-light">Software Design</span></li>
<li class="list-inline-item"><span class="badge badge-light">Problem Solving</span></li>
<li class="list-inline-item"><span class="badge badge-light">Good Communication</span></li>
<li class="list-inline-item"><span class="badge badge-light">Full of Passion</span></li>
</ul>
</div><!--//resume-skill-item-->
</div><!--resume-section-content-->
</section><!--//skills-section-->
<section class="resume-section education-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Education</h2>
<div class="resume-section-content">
<ul class="list-unstyled">
<li class="mb-2">
<div class="resume-degree font-weight-bold">Ph.D in Software Engineering</div>
<div class="resume-degree-org">Tsinghua University</div>
<div class="resume-degree-time">2014 - 2019</div>
</li>
<li>
<div class="resume-degree font-weight-bold">BSc in Software Engineering</div>
<div class="resume-degree-org">Nankai University</div>
<div class="resume-degree-time">2010 - 2014</div>
</li>
</ul>
</div>
</section><!--//education-section-->
<section class="resume-section language-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Language</h2>
<div class="resume-section-content">
<ul class="list-unstyled resume-lang-list">
<li class="mb-2"><span class="resume-lang-name font-weight-bold">Chinese</span> <small class="text-muted font-weight-normal">(Native)</small></li>
<li class="mb-2 align-middle"><span class="resume-lang-name font-weight-bold">English</span> <small class="text-muted font-weight-normal">(Professional)</small></li>
</ul>
</div>
</section><!--//language-section-->
<section class="resume-section interests-section mb-5">
<h2 class="resume-section-title text-uppercase font-weight-bold pb-3 mb-3">Interests</h2>
<div class="resume-section-content">
<ul class="list-unstyled">
<li class="mb-1">Cooking</li>
<li class="mb-1">Variety Show</li>
</ul>
</div>
</section><!--//interests-section-->
</div>
</div><!--//row-->
</div><!--//resume-body-->
</div>
</article>
<footer class="footer text-center pt-2 pb-5">
<!--/* This template is free as long as you keep the footer attribution link. If you'd like to use the template without the attribution link, you can buy the commercial license via our website: themes.3rdwavemedia.com Thank you for your support. :) */-->
<small class="copyright">Designed with <span class="sr-only">love</span><i class="fas fa-heart"></i> by <a href="http://themes.3rdwavemedia.com" target="_blank">Xiaoying Riley</a> for developers</small>
</footer>
</body>
</html>