-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
365 lines (327 loc) · 17 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
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
<!DOCTYPE html>
<html>
<head>
<title>Zu-Ming Jiang</title>
<link rel="shortcut icon" type="image/x-icon" href="image/icon.png">
<link rel="shortcut icon" type="image/png" href="image/icon.png">
<link rel="stylesheet" href="styles.css">
<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=0.5, maximum-scale=2.0, user-scalable=yes" />
<style>
body {font-family:'Helvetica', 'Arial', sans-serif;
line-height:150%;
margin-right: 10%;
margin-left: 10%;
margin-top: 2%;
margin-bottom: 2%;
font-size: 100%;}
h3 {font-size: 120%;}
ol.publication-list {
list-style-type: none;
padding-left: 0;
margin-left: 0;
}
li.publication-entry:before {
content: "[" counter(publication-counter) "]";
/* font-weight: bold; */
margin-right: 10px;
margin-left: -20px;
}
.publication-list {
list-style: none;
counter-reset: publication-counter;
padding-left: 0;
}
.publication-entry {
counter-increment: publication-counter;
display: flex;
align-items: flex-start;
margin-bottom: 15px;
}
.publication-entry:before {
content: "[" counter(publication-counter) "]";
/* font-weight: bold; */
margin-right: 10px;
white-space: nowrap;
}
.publication-text {
flex: 1;
}
.title, .authors, .conference {
margin: 0;
}
.links {
margin-left: 20px;
white-space: nowrap;
}
a:link {
color: #3498DB;
text-decoration: none;
}
a:visited {
color: #3498DB;
text-decoration: none;
}
a:hover {
color: #C0392B;
text-decoration: underline;
}
li {margin-left: 2%; padding-left: 0%;}
</style>
</head>
<body>
<div style="font-size: 150%; ">
Zu-Ming Jiang (江祖铭)
<hr>
</div>
<div style="width:15%; height:15%; float:right; max-width: 200px;max-height: 200px;">
<img src ="image/photo.jpg" style = "width:100%; border-radius:15%;"/>
</div>
<div style="width: 78%;">
<p>
Ph.D. student @ <a href="https://ethz.ch/en.html" target="_blank">ETH Zurich</a><br>
Supervised by Prof. <a href="https://people.inf.ethz.ch/suz/" target="_blank">Zhendong Su</a><br>
<a href="https://ast.ethz.ch/" target="_blank">Advanced Software Technologies (AST) Lab</a><br>
<a href="https://inf.ethz.ch/" target="_blank">Department of Computer Science</a><br>
</p>
<p>
Address: CNB H 103.1, Universitätstrasse 6, 8092 Zürich, Switzerland<br>
E-Mail: zuming.jiang@inf.ethz.ch<br>
</p>
<p style="font-size: 110%; ">
<img src="new-icon.png" style = "width:50px; border-radius:15%;vertical-align: middle;" />
<span style="color: rgb(165, 3, 3);"><strong>I am on the academic job market for the 2024 - 2025 cycle!</strong></span>
</p>
<li><a href="CV.pdf" target="_blank">Curriculum Vitae</a></li>
<li><a href="ResearchStatement.pdf" target="_blank">Research Statement</a></li>
<li><a href="TeachingStatement.pdf" target="_blank">Teaching Statement</a></li>
<li><a href="DiversityStatement.pdf" target="_blank">Diversity Statement</a></li>
</div>
<div>
<h3>Research Interests</h3>
<hr>
Database, Operating System, Computer Security, and Software Engineering. <br>
<img src="nerd-face.svg" style = "width:30px; border-radius:15%;vertical-align: middle;" />
<!-- <img src="new-icon.png" style = "width:4%; border-radius:15%;vertical-align: middle;" /> -->
I am passionate to advance the <u>science</u> and <u>practice</u> of building <u>reliable and secure systems</u> via tackling fundamental and difficult problems.
<br>
</div>
<div>
<h3>Publications</h3>
<hr>
<ol class="publication-list">
<li class="publication-entry">
<div class="publication-text">
<div class="title">Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Zhendong Su.</div>
<div class="conference">In Proceeding of the 18th USENIX Symposium on Operating Systems Design and Implementation (<i>OSDI' 24</i>). Santa Clara, July 10–12, 2024.</div>
</div>
<div class="links">[<a href="paper/osdi24-jiang.pdf" target="_blank">PDF</a> | <a href="https://github.com/JZuming/EET" target="_blank">GitHub</a>| <a href="https://www.youtube.com/watch?v=6FxvTAwsnEQ" target="_blank">YouTube</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Si Liu, Manuel Rigger, Zhendong Su.</div>
<div class="conference">In Proceeding of the 17th USENIX Symposium on Operating Systems Design and Implementation (<i>OSDI' 23</i>). Boston, July 10–12, 2023.</div>
</div>
<div class="links">[<a href="paper/osdi23-jiang.pdf" target="_blank">PDF</a> | <a href="https://github.com/JZuming/TxCheck" target="_blank">GitHub</a> | <a href="https://www.youtube.com/watch?v=ZJ54e28dIK0" target="_blank">YouTube</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Jia-Ju Bai, Zhendong Su.</div>
<div class="conference">In Proceedings of the 32nd USENIX Security Symposium (<i>Security'23</i>). Anaheim, August 9–11, 2023.</div>
</div>
<div class="links">[<a href="paper/sec23-jiang.pdf" target="_blank">PDF</a> | <a href="https://www.youtube.com/watch?v=fPNtJa3zWUQ" target="_blank">YouTube</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning</div>
<div class="authors">Yonghao Zou, Jia-Ju Bai, <u>Zu-Ming Jiang</u>, Ming Zhao, Diyu Zhou.</div>
<div class="conference">In Proceedings of the 32th Network and Distributed System Security Symposium (<i>NDSS'25</i>). San Diego, February 24–28, 2025.</div>
</div>
<div class="links">[<a href="paper/ndss25-zou.pdf" target="_blank">PDF</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Testing Error Handling Code with Software Fault Injection and Error-Coverage-Guided Fuzzing</div>
<div class="authors">Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, <u>Zu-Ming Jiang</u>.</div>
<div class="conference">IEEE Transactions on Dependable and Secure Computing (<i>TDSC'23</i>), 2023.</div>
</div>
<div class="links">[<a href="paper/tdsc23-bai.pdf" target="_blank">PDF</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.</div>
<div class="conference">In Proceedings of the 29th Network and Distributed System Security Symposium (<i>NDSS'22</i>). San Diego, February 27–March 3, 2022.</div>
</div>
<div class="links">[<a href="paper/ndss22-jiang.pdf" target="_blank">PDF</a> | <a href="https://www.youtube.com/watch?v=sbDNLTrT76E" target="_blank">YouTube</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers</div>
<div class="authors">Jia-Ju Bai, Qiu-Liang Chen, <u>Zu-Ming Jiang</u>, Julia Lawall, Shi-Min Hu.</div>
<div class="conference">IEEE Transactions on Software Engineering (<i>TSE'22</i>), 2022.</div>
</div>
<div class="links">[<a href="paper/tse22-bai.pdf" target="_blank">PDF</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.</div>
<div class="conference">In Proceedings of the 29th USENIX Security Symposium (<i>Security'20</i>). Boston, August 12–14, 2020.</div>
</div>
<div class="links">[<a href="paper/sec20-jiang.pdf" target="_blank">PDF</a> | <a href="https://www.youtube.com/watch?v=ahRamLrcovw" target="_blank">YouTube</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection</div>
<div class="authors"><u>Zu-Ming Jiang</u>, Jia-Ju Bai, Julia Lawall, Shi-Min Hu.</div>
<div class="conference">In Proceedings of the 30th International Symposium on Software Reliability Engineering (<i>ISSRE'19</i>). Berlin, October 28-31, 2019.</div>
</div>
<div class="links">[<a href="paper/issre19-jiang.pdf" target="_blank">PDF</a>]</div>
</li>
<li class="publication-entry">
<div class="publication-text">
<div class="title">Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers</div>
<div class="authors">Qiu-Liang Chen, Jia-Ju Bai, <u>Zu-Ming Jiang</u>, Julia Lawall, Shi-Min Hu.</div>
<div class="conference">In Proceedings of the 26th International Conference on Software Analysis, Evolution and Reengineering (<i>SANER'19</i>). Hangzhou, February 24-27, 2019.</div>
</div>
<div class="links">[<a href="paper/saner19-chen.pdf" target="_blank">PDF</a>]</div>
</li>
</ol>
</div>
<div>
<h3>Academic Service</h3>
<hr>
<div>
<div>Program Committee (PC) Member</div>
<li>International Workshop on Testing Database Systems (DBTest) <a href="https://dbtest-workshop.github.io/" target="_blank">2024</a></li>
</div>
<div>
<div>Artifact Evaluation Committee (AEC) Member</div>
<li>USENIX Symposium on Operating Systems Design and Implementation (OSDI) <a href="https://www.usenix.org/conference/osdi24/call-for-artifacts" target="_blank">2024</a>, <a href="https://www.usenix.org/conference/osdi23/call-for-artifacts" target="_blank">2023</a></li>
<li>USENIX Annual Technical Conference (ATC) <a href="https://www.usenix.org/conference/atc24/call-for-artifacts" target="_blank">2024</a>, <a href="https://www.usenix.org/conference/atc23/call-for-artifacts" target="_blank">2023</a></li>
</div>
<div>
<div>Reviewer</div>
<li><a href="https://www.computer.org/csdl/journal/tq" target="_blank">IEEE Transactions on Dependable and Secure Computing (TDSC)</a> 2022, 2021</li>
<li><a href="https://dl.acm.org/journal/tosem" target="_blank">ACM Transactions on Software Engineering and Methodology (TOSEM)</a> 2024, 2023</li>
</div>
</div>
<!-- <div>
<h3>Talks</h3>
<hr>
<div>
<li>Fuzzing Database Engines (invited talk), hosted by Tencent, October 2022</li>
<li>Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction (invited talk), hosted by PingCAP, October 2022</li>
</div>
</div> -->
<div>
<h3>Teaching Assistant</h3>
<hr>
<div style="width: 90%;">
<li>
Compiler Design
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=23488" target="_blank">Fall 2024 (<b>Head TA</b>)</a>,
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=20868" target="_blank">Fall 2023</a>,
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=18408" target="_blank">Fall 2022</a>,
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=15894" target="_blank">Fall 2021</a>
</li>
<li>
Data Modelling and Databases
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=22093" target="_blank">Spring 2024</a>
</li>
<li>
Software Engineering Seminar
<a href="https://www.sri.inf.ethz.ch/teaching/ses2024-fall" target="_blank">Fall 2024</a>,
<a href="https://www.sri.inf.ethz.ch/teaching/ses2023-fall" target="_blank">Fall 2023</a>,
<a href="https://www.sri.inf.ethz.ch/teaching/ses2022-fall" target="_blank">Fall 2022</a>,
<a href="https://www.sri.inf.ethz.ch/teaching/ses2021-fall" target="_blank">Fall 2021</a>
</li>
<li>
Computer Science II
<a href="https://lec.inf.ethz.ch/mavt/informatik2/2023/" target="_blank">Spring 2023</a>
</li>
<li>
Automated Software Testing
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=22076" target="_blank">Spring 2024</a>,
<a href="https://moodle-app2.let.ethz.ch/course/view.php?id=19003" target="_blank">Spring 2023</a>
</li>
<li>
Research Topics in Software Engineering
<a href="https://www.sri.inf.ethz.ch/teaching/ses2024" target="_blank">Spring 2024</a>,
<a href="https://www.sri.inf.ethz.ch/teaching/ses2023" target="_blank">Spring 2023</a>,
<a href="https://www.sri.inf.ethz.ch/teaching/ses2022" target="_blank">Spring 2022</a>
</li>
</div>
</div>
<div>
<h3>Education</h3>
<hr>
<div style="float:right;">2018 - 2021</div>
<div>Master degree in Computer Technology, <a href="https://www.tsinghua.edu.cn/en/index.htm" target="_blank">Tsinghua University</a></div>
<div style="float:right;">2014 - 2018</div>
<div style="width: 90%;">Bachelor degree in Electrical Engineering and Automation,
<a href="https://www.zju.edu.cn/english/" target="_blank">Zhejiang University</a></div>
</div>
<div>
<h3>Awards and Grants</h3>
<hr>
<div style="float:right;">2023</div>
<div style="width: 90%;">OSDI '23 Student Grant Award</div>
<div style="float:right;">2021</div>
<div style="width: 90%;">Outstanding Master's Graduate, Department of Computer Science and Technology, Tsinghua University</div>
<div style="float:right;">2020</div>
<div style="width: 90%;"><a href="https://www.siebelscholars.com/scholar-profile/1966/" target="_blank">
Siebel Scholar Class of 2021</a>, Siebel Scholars Foundation</div>
<div style="float:right;">2018</div>
<div style="width: 90%;">Outstanding Bachelor Thesis, Zhejiang University</div>
</div>
<div style="overflow:hidden">
<h3>Assigned CVEs</h3>
<hr>
<div>
<div style="width: 10%; float:left"><a href="https://www.mysql.com/" target="_blank">MySQL</a> (22)</div>
<div style="width: 88%; float:left">
CVE-2024-21013, CVE-2024-21009, CVE-2024-21008, CVE-2024-20982, CVE-2023-22112, CVE-2023-22028, <br>
CVE-2023-21935, CVE-2023-21881, CVE-2023-21880, CVE-2023-21879, CVE-2023-21878, CVE-2023-21872, <br>
CVE-2022-21607, CVE-2022-21594, CVE-2022-21556, CVE-2022-21438, CVE-2021-35635, CVE-2021-35628, <br>
CVE-2021-2357, CVE-2021-2427, CVE-2021-2426, CVE-2021-2425</div>
</div>
<div>
<div style="width: 10%; float:left"><a href="https://mariadb.org/" target="_blank">MariaDB</a> (12)</div>
<div style="width: 88%; float:left">
CVE-2021-46669, CVE-2021-46668, CVE-2021-46667, CVE-2021-46666, CVE-2021-46665, CVE-2021-46664, <br>
CVE-2021-46663, CVE-2021-46662, CVE-2021-46661, CVE-2021-46659, CVE-2021-46658, CVE-2021-46657</div>
</div>
<div>
<div style="width: 10%; float:left"><a href="https://www.vim.org/" target="_blank">Vim</a> (2)</div>
<div style="width: 88%; float:left">CVE-2020-19923, CVE-2020-19922</div>
</div>
</div>
<div>
<h3>Activities</h3>
<hr>
<div class="content-box">
<div class="news-list">
<li><b>Invited talk at Georgia Tech, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Taesoo Kim)</li>
<li><b>Invited talk at system group, ETH Zurich, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Pengcheng Xu and Shien Zhu)</li>
<li><b>Invited talk at Northeastern University, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Cheng Tan)</li>
<li><b>Invited talk at Institute of Software Chinese Academy of Science, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Mingyu Li)</li>
<li><b>Invited talk at Stanford, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Anjiang Wei)</li>
<li><b>Invited talk at UC Berkeley, 2024</b>: Making Databases Robust and Reliable: from SQL Generation to Test-Oracle Construction (hosted by Yiming Lin)</li>
<li><b>Invited talk at NUS, 2024</b>: Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation (hosted by Jinsheng Ba)</li>
<li><b>Attendance at Dagstuhl Seminar, 2023</b>: Ensuring the Reliability and Robustness of Database Management Systems.</li>
<li><b>Invited talk at HKUST, 2023</b>: Effective Bug Detection for Database Systems: Complex-Query Generation and Oracle Construction (hosted by Shuai Wang)</li>
<li><b>Invited talk at CUHK, 2023</b>: Effective Bug Detection for Database Systems: Complex-Query Generation and Oracle Construction (hosted by Qiang Su)</li>
<li><b>Invited talk at PingCAP, 2022</b>: Transactional Bugs Detection for Database Systems (hosted by Yangguang Wang)</li>
<li><b>Invited talk at Tencent, 2022</b>: Fuzzing for Database Systems (hosted by Peng Chen)</li>
</div>
</div>
</div>
<br>
<div style="font-size: 80%; background:gray; color:white;">
--- Updated on 15 Dec, 2024 ---
</div>
</body></html>