-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
executable file
·487 lines (431 loc) · 19.2 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
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" >
<title>Qirun Zhang</title>
<meta http-equiv="Keywords" content="Qirun Zhang, Programming language, Static Analysis" >
<meta http-equiv="Description" content="Homepage of Qirun Zhang" >
<!-- A simple html file made by a simple-minded person. -->
<style type="text/css">
li{
margin: 10px 0;
}
a
{
color: DarkSlateBlue;
font-weight:bold
}
ul.a {list-style-type: circle;}
</style>
</head>
<body><font face="arial" size="4">
<table align=center cellpadding=30>
<tr>
<td>
<img src="photo/Qirun.jpg" width="150" alt="Photo">
</Td>
<Td>
<H1>Qirun Zhang <img src="photo/Qirun_cn.png" width="100" alt=""></H1>
Catherine M. and James E. Allchin Early Career<br>
Assistant Professor<br>
<a href="https://www.scs.gatech.edu/">School of Computer
Science</a><br><a href="http://www.gatech.edu/">Georgia Institute of
Technology</a><br><br>
Office: <a href="https://www.cc.gatech.edu/content/maps-directions">Klaus Advanced Computing
Building</a> 2324<br>
Email: [email protected]<br>
</td>
</tr>
</table>
<hr>
<center>
[<a href="#research"><big><b>Research Interests</b></big></a>]
[<a href="#publication"><big><b>Publications</b></big></a>]
[<a href="#project"><big><b>Projects</b></big></a>]
[<a href="#courses"><big><b>Courses</b></big></a>]
[<a href="#service"><big><b>Service</b></big></a>]
[<a href="#students"><big><b>Students</b></big></a>]
[<a href="#misc"><big><b>Misc</b></big></a>]
</center>
<!-- <p>I am an assistant professor in the School of Computer Science at the -->
<!-- Georgia Institute of Technology. I completed my Ph.D. in Computer -->
<!-- Science and Engineering at The Chinese University of Hong Kong in 2013, -->
<!-- and I received my -->
<!-- bachelor's degree in Computer Science from Zhejiang University in -->
<!-- 2009. </p> -->
<p><img src="photo/new.gif" alt="news">My group has open
positions for Fall 2025. Please drop me an email (with your transcript) if you are
interested.
</p>
<p>I am looking for motivated and talented students to work
with. If you are interested, please contact
me. </p>
<!-- <p><img border=0 height="16" src="photo/new.gif"> I will be teaching <a href="course/cs8803/index.html">CS -->
<!-- 8803 Topics in Program Analysis</a> in Fall 2019. -->
<!-- </p> -->
<hr noShade size=4>
<a name="research"></a><h2>Research Interests</h2>
<p>My research interests are in the areas of programming languages and
software engineering, specifically focusing on techniques for improving
software reliability and security. </p>
<p>In particular, I enjoy working on program analysis and compiler optimization
problems from perspectives such as computational complexity, analytic combinatorics, graph theory,
and formal languages. </p>
<hr noShade size=4>
<a name="publication"></a><h2>Publications</h2>
<ol>
<li>
<b><a href="papers/VIVEK24_shuo.pdf">Retrieving Unknown SMT Formulas via Structural Mutations</a></b><br>
Shuo Ding, Qirun Zhang<br>
<em>In Proceedings of
Vivek Sarkar Festschrift Symposium (VIVEKFEST)</em>, 2024.
</li>
<li>
<b><a href="papers/JENS24_shuo.pdf">The Normalization Barrier Revisited</a></b><br>
Shuo Ding, Qirun Zhang<br>
<em>In Proceedings of
Jens Palsberg Festschrift Symposium (JENSFEST)</em>, 2024.
</li>
<li>
<b><a href="papers/PLDI24_ben.pdf">SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories</a></b><br>
Benjamin Mikek, Qirun Zhang<br>
<em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>, 2024.
</li>
<li>
<b><a href="papers/PLDI24_camille.pdf">Context-Free Language Reachability via Skewed Tabulation</a></b><br>
Yuxiang Lei*, Camille Bossut*, Yulei Sui, Qirun Zhang<br>
<em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>, 2024.
</li>
<li>
<b><a href="papers/SAS_2023_Shuo.pdf">Mutual Refinements of Context-Free Language Reachability</a></b><br>
Shuo Ding, Qirun Zhang<br>
<em>In Proceedings of
the International Static Analysis Symposium (SAS)</em>, 2023.
</li>
<li>
<b><a href="papers/FSE_23_Ben.pdf">Speeding up SMT Solving via Compiler Optimization</a></b><br>
Benjamin Mikek, Qirun Zhang<br>
<em>In Proceedings of
the Symposium on Foundations of Software Engineering (FSE)</em>, 2023. <b>(SIGSOFT Distinguished Paper Award)</b>
</li>
<li>
<b><a href="papers/PLDI_2023_Yuxiang.pdf">Recursive State Machine Guided Graph Folding for Context-Free Language Reachability</a></b><br>
Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang<br>
<em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>, 2023.
</li>
<li>
<b><a href="papers/POPL_2023_shuo.pdf">Witnessability of Undecidable Problems</a></b><br>
Shuo Ding, Qirun Zhang<br>
<em>In Proceedings of Symposium on Principles of
Programming Languages (POPL)</em>, 2023.
</li>
<li>
<b><a href="papers/POPL_2023_yuanbo.pdf">Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming</a></b><br>
Yuanbo Li, Qirun Zhang, Thomas Reps<br>
<em>In Proceedings of Symposium on Principles of
Programming Languages (POPL)</em>, 2023.
</li>
<li>
<b><a href="papers/ase22_qi.pdf">Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating</a></b><br>
Qi Xin, Qirun Zhang, Alex Orso<br>
<em>In Proceedings of International Conference on Automated
Software Engineering (ASE)</em>, 2022.
</li>
<li>
<b><a href="papers/OOPSLA_2022_yuxiang.pdf">Taming Transitive Redundancy for Context-Free Language Reachability</a></b><br>
Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang<br>
<em>In Proceedings of Object Oriented Programming Systems
Languages and Applications (OOPSLA)</em>, 2022. <b>(Distinguished Artifact Award)</b>
</li>
<li>
<b><a href="papers/icse2022_yun.pdf">Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python</a></b><br>
Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael Lyu<br>
<em>In Proceedings of International Conference on
Software Engineering (ICSE)</em>, 2022.
</li>
<li>
<b><a href="papers/toplas22_yuanbo.pdf">Fast Graph
Simplification for Interleaved Dyck-Reachability.</a></b><br>
Yuanbo Li, Qirun Zhang, Thomas Reps<br>
<em>In ACM Transactions on Programming Languages and Systems (TOPLAS)</em>,
2022. Invited Paper. </li>
<li>
<b><a href="papers/popl22_yuanbo.pdf">Efficient Algorithms for Dynamic Bidirected Dyck-Reachability</a></b><br>
Yuanbo Li, Kris Satya, Qirun Zhang<br>
<em>In Proceedings of Symposium on Principles of
Programming Languages (POPL)</em>, 2022.
</li>
<li>
<b><a href="papers/popl21_yuanbo.pdf">On the Complexity of Bidirected Interleaved Dyck-Reachability</a></b><br>
Yuanbo Li, Qirun Zhang, Thomas Reps<br>
<em>In Proceedings of Symposium on Principles of
Programming Languages (POPL)</em>, 2021.
</li>
<li>
<b><a href="#">Subdomain-Based Generality-Aware Debloating</a></b><br>
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alex Orso<br>
<em>In Proceedings of International Conference on Automated
Software Engineering (ASE)</em>, 2020.
</li>
<li>
<b><a href="papers/pldi20_yuanbo1.pdf">Debug Information Validation
for Optimized Code</a></b> <br>
Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
<br><em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>,
2020.</li>
<li>
<b><a href="papers/pldi20_yuanbo2.pdf">Fast Graph
Simplification for Interleaved Dyck-Reachability.</a></b><br>
Yuanbo Li, Qirun Zhang, Thomas Reps<br>
<em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>,
2020. <b>(PLDI Distinguished Paper Award)</b> <br>Invited to ACM TOPLAS. </li>
<li>
<b><a href="papers/icse20_qi.pdf">Program Debloating via
Stochastic Optimization</a></b><br>
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alex Orso<br>
<em>In Proceedings of International Conference on
Software Engineering (ICSE)</em>, NIER Paper, 2020.
</li>
<li>
<b><a href="papers/icse19_tianxiao.pdf">Practical GUI Testing of Android Applications via Model
Abstraction and Refinement</a></b><br>
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang
Xu, Yuan Yao, Qirun Zhang, Jian Lu and Zhendong Su<br>
<em>In Proceedings of International Conference on
Software Engineering (ICSE)</em>, 2019.
</li>
<li>
<b><a href="papers/pldi18_cheng.pdf">Calling-to-Reference Context Translation via
Constraint-Guided CFL-Reachability</a></b><br>
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Harry
Xu and Zhendong Su<br>
<em>In Proceedings of
Programming Language Design and Implementation (PLDI)</em>, 2018.<br>
</li>
<li>
<b><a href="papers/icse18_chengnian.pdf">Perses: Syntax-Guided
Program Reduction</a></b><br>
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu and
Zhendong Su<br>
<em>In Proceedings of International Conference on
Software Engineering (ICSE)</em>, 2018.<br>
</li>
<li>
<a href="papers/pldi17_qirun.pdf"><b>Skeletal Program
Enumeration for Rigorous Compiler Testing</b></a><br>
Qirun Zhang, Chengnian Sun and Zhendong Su<br>
<em>In Proceedings of Programming Language Design and Implementation (PLDI)</em>, 2017.
</li>
<li>
<a href="papers/popl2017_qirun.pdf"><b>Context-Sensitive Data-Dependence Analysis via Linear
Conjunctive Language Reachability</b></a> <br>
Qirun Zhang and Zhendong Su<br>
<em>In Proceedings of Symposium on Principles of Programming Languages (POPL)</em>, 2017.
</li>
<li>
<b><a href="papers/issta16_chengnian.pdf">Toward Understanding
Compiler Bugs in GCC and LLVM</a></b><br>
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su<br>
<em>In Proceedings of International Symposium on Software Testing and Analysis (ISSTA)</em>, 2016.<br>
</li>
<li>
<b><a href="papers/oopsla2014_qirun.pdf">Efficient Subcubic
Alias Analysis for C</a></b><br>
Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, and Zhendong Su<br>
<em>In Proceedings of Object Oriented Programming Systems Languages and Applications (OOPSLA)</em>, 2014.
</li>
<li>
<b><a href="papers/pldi2014_xiao.pdf">Persistent pointer information</a></b><br>
Xiao Xiao, Qirun Zhang, Jinguo Zhou, and Charles Zhang<br>
<em>In Proceedings of Programming Language Design and Implementation (PLDI)</em>, 2014.<br>
</li>
<li>
<b><a href="papers/pldi2013_qirun.pdf">Fast Algorithms for
Dyck-CFL-Reachability with Applications to Alias
Analysis</a></b> <br>
Qirun Zhang, Michael R. Lyu, Hao Yuan, and Zhendong Su<br>
<em>In Proceedings of Programming Language Design and Implementation (PLDI)</em>, 2013.<br>
</li>
<li>
<b><a href="papers/fase2011_qirun.pdf">Flow-Augmented Call Graph: A New Foundation for Taming API
Complexity</a></b><br>
Qirun Zhang, Wujie Zheng and Michael R. Lyu<br>
<em>In Proceedings of Fundamental Approaches to Software Engineering (FASE)</em>, 2011.<br>
</li>
<li>
<b><a href="papers/fse2011_wujie.pdf">Cross-Library API Recommendation Using Web Search
Engines</a></b><br>
Wujie Zheng, Qirun Zhang, and Michael R. Lyu<br>
<em>In Proceedings of the Symposium on Foundations of Software Engineering (FSE)</em>, New Ideas Track, 2011.<br>
</li>
<li>
<b><a href="papers/ase2010_wjzheng.pdf">Random Unit-Test Generation with MUT-aware Sequence
Recommendation</a></b><br>
Wujie Zheng, Qirun Zhang, Michael Lyu, and Tao Xie<br>
<em>In Proceedings of the International Conference on Automated Software Engineering (ASE)</em>, Short Paper, 2010. <br>
</li>
</ol>
<hr noShade size=4>
<a name="project"></a><h2>Projects</h2>
<ul>
<li><a href="https://github.com/mikekben/SLOT">SLOT: SMT-LLVM Optimizing Translation</a></li>
<li><a href="https://github.com/sdingcn/mutual-refinement">Refinements of Context-Free Language Reachability</a></li>
<li><a href="https://github.com/kisslune/POCR">Context-Free Language
Reachability with Transitive Redundancy Elimination</a></li>
<li><a href="projects/dyndyck/dyndyck.html">Dynamic Bidirected Dyck-Reachability</a></li>
<li><a href="projects/debug/debug.html">Debug Information
Validation</a></li>
<li><a href="projects/interdyck/interdyck.html">Graph
Simplification for Interleaved Dyck-Reachability</a></li>
<li><a name="perses"
href="https://github.com/perses-project/perses">Syntax-Directed Program Reduction</a></li>
<li><a name="spe"
href="projects/spe/spe.html">Skeletal Program Enumeration</a></li>
<li><a name="compiler"
href="https://chengniansun.bitbucket.io/projects/compiler-bug-study/">Compiler
Bug Study</a></li>
<li><a name="pestrie" href="https://github.com/richardxx/pestrie">Pestrie</a></li>
<li><a name="recgen" href="https://sites.google.com/site/recgentool/">RecGen</a></li>
<li><a name="facg" href="projects/facg/facg.html">Flow-Augmented Call Graph</a></li>
</ul>
<hr noShade size=4>
<a name="courses"></a><h2>Courses</h2>
<ul>
<li><a href="course/cs6340/index.html">CS
6340 Software Analysis and Test (Fall, 2024)</a></li>
<li><a href="course/cs6340-24s/index.html">CS
6340 Software Analysis and Test (Summer, 2024)</a></li>
<li><a href="course/cs4240/index.html">CS
4240 Compilers and Interpreters (Spring, 2024)</a></li>
<li><a href="course/cs6340-23/index.html">CS
6340 Software Analysis and Test (Fall, 2023)</a></li>
<li><a href="course/cs4240-22/index.html">CS
4240 Compilers and Interpreters (Spring, 2023)</a></li>
<li><a href="course/cs6340-22/index.html">CS
6340 Software Analysis and Test (Fall, 2022)</a></li>
<li><a href="course/cs4240-21/index.html">CS
4240 Compilers and Interpreters (Spring, 2022)</a></li>
<li><a href="course/cs6340-21/index.html">CS
6340 Software Analysis and Test (Fall, 2021)</a></li>
<li><a href="course/cs4240-20/index.html">CS
4240 Compilers and Interpreters (Spring, 2021)</a></li>
<li><a href="course/cs8803/index.html">CS
8803 Topics in Program Analysis (Fall, 2020)</a></li>
<li><a href="course/cs8803-19/index.html">CS
8803 Topics in Program Analysis (Fall, 2019)</a></li>
<li><a href="course/122A/index.html">ECS
122A Algorithm Design and Analysis (Summer Session
2, 2017)</a></li>
</ul>
<hr noShade size=4>
<a name="service"></a><h2>Service</h2>
<ul>
<li>Artifact Evaluation Co-Chair: PLDI'25</li>
<li>Workshops Co-Chair: SPLASH'24</li>
<li>Program Committee: ASPLOS'25, SAS'24, FSE'24, PLDI'24, CAV'24, OOPSLA'23, FSE'23, PLDI'22, POPL'22, APLAS'21, ICSE'21, FSE'20, PLDI'20, ISSTA'19, SETTA’17, POPL-SRC’17</li>
<li>External Review Committee: PLDI'19, PLDI'18</li>
<li>Artifact Evaluation Committee: ISSTA’18, PLDI’17, ISSTA’17</li>
<li>Conference Paper Reviewer: POPL'24, TACAS'19, POPL’18, CC’17,
ISSTA’17, CAV’17, ICSE’17, ICDT’16, CAV’15, OOPSLA’15,
FSE’15, ICSE’14, ISSTA’14, FSE’14, OOPSLA’13,
WWW’10</li>
<li>Journal Paper Reviewer: TOPLAS'22, TOSEM'22, TSE'22, SCP'21, TSE'19, JSS'18, TACO'18, TOSEM'18, TOPLAS'18, TSE’18, TACO’16, TOPLAS’15</li>
</ul>
<hr noShade size=4>
<a name="students"></a><h2>Students</h2>
<h4>Current PhD students</h4>
<ul>
<li>Camille Bossut (PhD student, 2022.2 - )</li>
<li>Benjamin Mikek (PhD student, 2021.8 - )<ul class="a">
<li>FSE Distinguished Paper Award, 2023</li>
</ul></li>
<li>Shuo Ding (PhD student, 2020.8 - )<ul class="a">
<li>OOPSLA Distinguished Artifact Award, 2022</li>
</ul></li>
</ul>
<p>I am also working with the following
student(s) at GT:</p>
<ul>
<li>Jinghao Jiang (MS student, 2024.10 - )</li>
<li>Tejas Joshi (MS student, 2024.8 - )</li>
<li>Karthikeya Sharma (ECE MS student, 2024.1 - )</li>
</ul>
<h4>Former students</h4>
<ul>
<li>Hemang Dash(Undergraduate student, 2023.5 - 2023.12)
<ul class="a">
<li>MS student at Georgia Tech</li>
<li>Some Reported LLVM
Bugs: <a href="https://github.com/llvm/llvm-project/issues/71065">1</a>, <a href="https://github.com/llvm/llvm-project/issues/70951">2</a>, <a href="https://github.com/llvm/llvm-project/issues/68898">3</a>. </li>
</ul>
</li>
<li>Ignacio Di Leva (Undergraduate student, 2022.8 - 2023.12)
<ul class="a">
<li>MS student at Georgia Tech</li></ul>
</li>
<li>Yuanbo Li (PhD student, 2019.8 - 2023.1)<ul class="a">
<li>Facebook Fellowship, 2021</li>
<li>PLDI Distinguished Paper Award, 2020</li>
</ul></li>
<li>Kris Satya (Undergraduate student, 2021.1 - 2022.1)
<ul class="a">
<li>[POPL-SRC 2022] A Succinct Logic Representation for Linear Conjunctive
Languages</li>
<li>[POPL 2022] Efficient Algorithms for Dynamic Bidirected Dyck-Reachability</li>
<li> Honorable Mentions, Outstanding Undergraduate Researchers, 2022 </li>
</ul>
</li>
<li>Cole Biafore (Undergraduate student, 2020.8 -
2021.5)<ul class="a">
<li>MS student at Georgia Tech</li>
<li>Bronze medal, POPL 2021 Student Research Competition (undergraduate category)</li>
</ul></li>
<li>Roland Samuelson (MS student, 2019.8 -
2020.1)<ul class="a">
<li>PhD student at University of Wisconsin-Madison</li>
<li>[POPL-SRC 2020] Internal Type-Theoretic Complexity Analysis</li>
</ul></li>
<li>Shuo Ding (MS student, 2019.5 -
2020.7)
<ul class="a">
<li>PhD student at Georgia Tech</li>
<li>[PLDI 2020] Debug Information Validation for Optimized Code</li>
</ul></li>
</ul>
<hr noShade size=4>
<a name="misc"></a><h2>Misc</h2>
<ul>
<li><a href="misc/popl22.html">POPL'22
Tutorial: Program Analysis via Graph Reachability: Past, Present, and Future</a></li>
<li><a href="http://www.logicmatters.net/latex-for-logicians/">LaTeX for Logicians</a></li>
<li><a href="http://www.cl.cam.ac.uk/~pes20/ott/">Ott
Tool</a></li>
<li><a href="https://cs.au.dk/~amoeller/spa/">Static
Program Analysis</a></li>
<li><a href="photo/proofreadersmarks.jpg">What Are Proofreaders’ Marks?</a></li>
<li><a href="misc/calligraphy.html">Chinese Calligraphy</a></li>
</ul>
<hr noShade size=4>
<!-- <script type="text/javascript"> -->
<!-- function myFunction() { -->
<!-- var a = window.location.href; -->
<!-- window.location="https://validator.w3.org/check?uri=" +a ; -->
<!-- } -->
<!-- </script> -->
<script type="text/javascript">
var update = new Date(document.lastModified)
theMonth = update.getMonth() + 1
theYear = update.getFullYear()
document.writeln("Last updated: " + theYear + "-" + theMonth +
". ")
</script>
<!-- <a onClick="myFunction(); -->
<!-- return false;" href="#"><img src="http://www.w3.org/Icons/valid-html401" -->
<!-- alt="Valid HTML 4.01 Transitional" height="31" width="88"></a> -->
</font>
</body>
</html>