-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
220 lines (203 loc) · 17.5 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
<!DOCTYPE html>
<html lang="zh-CN">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<title>Chengyu Zhang's Homepage</title>
<script type="text/javascript">
window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/11.2.0\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/11.2.0\/svg\/","svgExt":".svg","source":{"concatemoji":"http:\/\/www.chengyuzhang.com\/wp-includes\/js\/wp-emoji-release.min.js?ver=5.1.1"}};
!function(a,b,c){function d(a,b){var c=String.fromCharCode;l.clearRect(0,0,k.width,k.height),l.fillText(c.apply(this,a),0,0);var d=k.toDataURL();l.clearRect(0,0,k.width,k.height),l.fillText(c.apply(this,b),0,0);var e=k.toDataURL();return d===e}function e(a){var b;if(!l||!l.fillText)return!1;switch(l.textBaseline="top",l.font="600 32px Arial",a){case"flag":return!(b=d([55356,56826,55356,56819],[55356,56826,8203,55356,56819]))&&(b=d([55356,57332,56128,56423,56128,56418,56128,56421,56128,56430,56128,56423,56128,56447],[55356,57332,8203,56128,56423,8203,56128,56418,8203,56128,56421,8203,56128,56430,8203,56128,56423,8203,56128,56447]),!b);case"emoji":return b=d([55358,56760,9792,65039],[55358,56760,8203,9792,65039]),!b}return!1}function f(a){var c=b.createElement("script");c.src=a,c.defer=c.type="text/javascript",b.getElementsByTagName("head")[0].appendChild(c)}var g,h,i,j,k=b.createElement("canvas"),l=k.getContext&&k.getContext("2d");for(j=Array("flag","emoji"),c.supports={everything:!0,everythingExceptFlag:!0},i=0;i<j.length;i++)c.supports[j[i]]=e(j[i]),c.supports.everything=c.supports.everything&&c.supports[j[i]],"flag"!==j[i]&&(c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&c.supports[j[i]]);c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&!c.supports.flag,c.DOMReady=!1,c.readyCallback=function(){c.DOMReady=!0},c.supports.everything||(h=function(){c.readyCallback()},b.addEventListener?(b.addEventListener("DOMContentLoaded",h,!1),a.addEventListener("load",h,!1)):(a.attachEvent("onload",h),b.attachEvent("onreadystatechange",function(){"complete"===b.readyState&&c.readyCallback()})),g=c.source||{},g.concatemoji?f(g.concatemoji):g.wpemoji&&g.twemoji&&(f(g.twemoji),f(g.wpemoji)))}(window,document,window._wpemojiSettings);
</script>
<style type="text/css">
img.wp-smiley,
img.emoji {
display: inline !important;
border: none !important;
box-shadow: none !important;
height: 1em !important;
width: 1em !important;
margin: 0 .07em !important;
vertical-align: -0.1em !important;
background: none !important;
padding: 0 !important;
}
</style>
<link rel='stylesheet' id='wp-block-library-css' href='./wp-includes/css/dist/block-library/style.min.css?ver=5.1.1' type='text/css' media='all' />
<link rel='stylesheet' id='wp-bootstrap-starter-bootstrap-css-css' href='./wp-content/themes/wp-bootstrap-starter/inc/assets/css/bootstrap.min.css?ver=5.1.1' type='text/css' media='all' />
<link rel='stylesheet' id='wp-bootstrap-pro-fontawesome-cdn-css' href='https://cdn.bootcdn.net/ajax/libs/font-awesome/5.14.0/css/fontawesome.css' type='text/css' media='all' />
<link rel='stylesheet' id='wp-bootstrap-starter-style-css' href='./wp-content/themes/wp-bootstrap-starter/style.css?ver=5.1.1' type='text/css' media='all' />
<script type='text/javascript' src='./wp-includes/js/jquery/jquery.js?ver=1.12.4'></script>
<script type='text/javascript' src='./wp-includes/js/jquery/jquery-migrate.min.js?ver=1.4.1'></script>
<!--[if lt IE 9]>
<script type='text/javascript' src='http://www.chengyuzhang.com/wp-content/themes/wp-bootstrap-starter/inc/assets/js/html5.js?ver=3.7.0'></script>
<![endif]-->
<link rel='https://api.w.org/' href='./wp-json/' />
<link rel="EditURI" type="application/rsd+xml" title="RSD" href="./xmlrpc.php?rsd" />
<link rel="wlwmanifest" type="application/wlwmanifest+xml" href="./wp-includes/wlwmanifest.xml" />
<meta name="generator" content="WordPress 5.1.1" />
<link rel="canonical" href="./" />
<link rel='shortlink' href='./' />
<link rel="alternate" type="application/json+oembed" href="./wp-json/oembed/1.0/embed?url=http%3A%2F%2F%2F" />
<link rel="alternate" type="text/xml+oembed" href="./wp-json/oembed/1.0/embed?url=http%3A%2F%2F%2F&format=xml" />
<!-- Analytics by WP-Statistics v12.6.4 - https://wp-statistics.com/ -->
<style type="text/css">
#page-sub-header { background: #fff; }
</style>
</head>
<body class="home page-template page-template-blank-page-with-container page-template-blank-page-with-container-php page page-id-12">
<div id="page" class="site">
<section id="primary" class="content-area">
<main id="main" class="site-main" role="main">
<div class="container">
<article id="post-12" class="post-12 page type-page status-publish hentry">
<div class="entry-content">
<p><img class="alignnone wp-image-156" style="float: left; margin-right: 4%;" src="./res/Photo-mini.jpg" alt="" width="144" height="192" /></p>
<p><strong>Chengyu Zhang </strong></p>
<p>Postdoctoral Researcher <br> <a href="https://inf.ethz.ch/">Department of Computer Science</a>, <a href="https://ethz.ch/en.html">ETH Zurich</a></p>
<p>Email (permanent): dale.chengyu.zhang AT gmail.com </br>
Email (work): chengyu.zhang AT inf.ethz.ch</p>
<p>Chengyu Zhang is a postdoctoral researcher in the <a href="https://ast.ethz.ch/">Advanced Software Technologies (AST) Lab</a> at <a href="https://www.ethz.ch/en.html">ETH Zurich</a>, mentored by Prof. <a href="https://people.inf.ethz.ch/suz/">Zhendong Su</a>. Chengyu Zhang received both Ph.D. and B.S. degrees from <a href="http://english.ecnu.edu.cn/">East China Normal University (ECNU)</a> with honours (2012-2021), supervised by Prof. <a href="http://faculty.ecnu.edu.cn/s/1018/t/11459/main.jspy">Geguang Pu</a>. He was the co-founder of <a href="http://www.neoclub.cn/">Shanghai Neoclub Information Technology Co., Ltd.</a> (2015-2016) and a visiting Ph.D. student at <a href="https://www.ethz.ch/en.html">ETH Zurich</a> (2018-2019).</p>
<p>His research interests are in:
<ul>
<li>Software Engineering</li>
<li>Programming Languages</li>
<li>Formal Methods</li>
</ul>
</p>
<a href="https://testsmt.github.io/"><b>Project Yin-Yang for SMT Solver Testing</b></a>: [Z3/CVC4 bugs: <b>1,667</b> (total) / <b>1,244</b> (fixed)]<br>
[Reports: <a href="https://testsmt.github.io/yinyang_bugs.html">YinYang</a>, <a href="https://testsmt.github.io/opfuzz_bugs.html">OpFuzz</a>,
<a href="https://testsmt.github.io/typefuzz_bugs.html">TypeFuzz</a>]
<br>
<br>
<img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> </b> <font color="red"><b>I am on the job market. Feel free to contact me if you are interested in my work or profile.</b></font>
<br>
<br />
<p><strong>Selected Papers</strong> (<a href="./papers.html">all</a>)</p>
<ol>
<li><a href=""> SMT2Test: From SMT Formulas to Effective Test Cases</a>. <img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> <br/>
<strong>Chengyu Zhang</strong> and Zhendong Su <br/>
In Proceedings of <I><a href="https://2024.splashcon.org/track/splash-2024-oopsla/">SPLASH/OOPSLA 2024</a> </I>. <br /> <br />
</li>
<li><a href="">Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs</a>. <img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> <br/>
Wenjing Deng, Qiuyang Mang, <strong>Chengyu Zhang</strong> and Manuel Rigger <br/>
In Proceedings of <I><a href="https://2025.sigmod.org/">SIGMOD 2025</a> (acceptance rate: 12%, 30/254)</I>. <br /> <br />
</li>
<li><a href="/papers/fse24.pdf">Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles</a>. <img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> <br/>
Weigang He, Peng Di, Mengli Ming, <strong>Chengyu Zhang</strong>, Ting Su, Shijie Li and Yulei Sui <br/>
In Proceedings of <I><a href="https://2024.esec-fse.org/track/fse-2024-research-papers">FSE 2024</a></I>. <br /> <br />
</li>
<li><a href="">An Electroencephalography Study on Cognitive Load in Visual and Textual Programming</a>. <img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> <br/>
Sverrir Thorgeirsson, <strong>Chengyu Zhang</strong>, Theo Weidmann, Karl-Heinz Weidmann, Zhendong Su<br/>
In Proceedings of <I><a href="https://conf.researchr.org/home/icer-2024">ICER 2024</a> (acceptance rate: 20%, 36/179)</I>. <br /> <br />
</li>
<li><a href="https://dl.acm.org/doi/abs/10.1145/3597503.3639155">DivLog: Log Parsing with Prompt Enhanced In-Context Learning</a>. <img class="" src="./wp-content/uploads/2018/03/new.gif" alt="" /> <br/>
Junjielong Xu, Ruichun Yang, Yintong Huo, <strong>Chengyu Zhang</strong> and Pinjia He. <br/>
In Proceedings of <I><a href="https://conf.researchr.org/home/icse-2024">ICSE 2024</a></I>. <br /> <br />
</li>
<li><a href="/papers/issta23.pdf">Testing Graph Database Engines via Query Partitioning</a>. <br/>
Matteo Kamm, Manuel Rigger, <strong>Chengyu Zhang</strong> and Zhendong Su.<br />
In Proceedings of <I><a href="https://conf.researchr.org/home/issta-2023">ISSTA 2023</a></I>. [ <a href="https://zenodo.org/record/7976809">Artifact</a> ] <br /></li>
<br />
<li><a href="/papers/tacas23.pdf">FuzzBtor2: A Random Generator of Word-Level
Model Checking Problems in Btor2 Format</a>. <br/>
Shengping Xiao, <strong>Chengyu Zhang</strong>, Jianwen Li, Geguang Pu.<br />
In Proceedings of <I><a href="https://etaps.org/2023/accepted-papers">TACAS 2023 (tool demonstration paper)</a></I>. [ <a href="https://github.com/CoriolisSP/FuzzBtor2">Tool</a> ] <br /></li>
<br />
<li><a href="/papers/park-etal-oopsla21.pdf">Generative Type-Aware Mutation for Testing SMT Solvers</a>. <br/>
Jiwon Park, Dominik Winterer, <strong>Chengyu Zhang</strong> and Zhendong Su.<br />
In Proceedings of <I><a href="https://2021.splashcon.org/">SPLASH/OOPSLA 2021</a></I>. [ <a href="https://github.com/testsmt/yinyang">Tool</a> ] <br /></li>
<br />
<li><a href="/papers/iccad21.pdf">Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers</a>. <br/>
<strong>Chengyu Zhang</strong>, Minquan Sun, Jianwen Li, Ting Su and Geguang Pu<br />
In Proceedings of <I><a href="https://iccad.com/index.php">ICCAD 2021</a></I> (acceptance rate: 23.5%, 121/514). [ <a href="https://github.com/muchang/Hammer">Tool</a> ] <br /></li>
<br />
<li><a href="/papers/oopsla20.pdf">On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers</a>.<br/>
Dominik Winterer*, <strong>Chengyu Zhang*</strong> and Zhendong Su. (*: Equal contributions)<br />
In Proceedings of <I><a href="https://2020.splashcon.org/">SPLASH/OOPSLA 2020</a></I>. [ <a href="https://github.com/testsmt/yinyang">Tool</a> ] <br /></li>
<br />
<li> <a href="https://testsmt.github.io/papers/winterer-zhang-su-pldi20.pdf"> Validating SMT Solvers via Semantic Fusion</a>.<br />
Dominik Winterer*, <strong>Chengyu Zhang*</strong> and Zhendong Su. (*: Equal contributions)<br />
In Proceedings of <I><a href="https://conf.researchr.org/home/pldi-2020">PLDI 2020</a></I>. [ <a href="https://testsmt.github.io/slides/pldi20-semantic-fusion.pdf">Slides</a> / <a href="https://www.youtube.com/watch?list=PLyrlk8Xaylp5mvxARtX5ncjy9p4X<u>Ajwd&time</u>continue=1&v=JFu8cJYbxBI&feature=emb_logo">Video abstract</a> / <a href="https://github.com/testsmt/yinyang">Tool</a> ]<br />
</li>
<div>
🏆  
<font color="red"><b>PLDI Distinguished Paper Award</b></font>
</div>
<br />
<li><a href="/papers/oopsla19.pdf">Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts</a>. <br />
Shuai Wang, <strong>Chengyu Zhang</strong> and Zhendong Su.<br />
In Proceedings of <I><a href="https://conf.researchr.org/track/splash-2019/splash-2019-oopsla">SPLASH/OOPSLA 2019</a></I>.</li>
<br />
<li><a href="/papers/fse19-MCFuzz.pdf">Finding and Understanding Bugs in Software Model Checkers</a>. <br />
<strong>Chengyu Zhang</strong>, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su.<br />
In Proceedings of <I><a href="https://esec-fse19.ut.ee/">ESEC/FSE 2019</a></I> (acceptance rate: 24%, 74/303).
[ <a href="./slides/fse19-MCFuzz-slides.pdf">Slides</a> / <a href="https://github.com/MCFuzzer/MCFuzz/issues">Reported bugs</a> ]</li>
<br />
<li><a href="/papers/icse2018-seip.pdf">SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry</a>.<br />
<strong>Chengyu Zhang</strong>, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao and Geguang Pu.<br />
In Proceedings of <I><a href="https://www.icse2018.org/">ICSE 2018</a>, <a href="https://www.icse2018.org/track/icse-2018-Software-Engineering-in-Practice">SEIP track</a></I> (acceptance rate: 24%, 31/131).</li>
</ol>
<p><strong>Academic Services</strong></p>
<ul>
<li>Organization:</li>
<a href="">USENIX OSDI'22 and ATC'22 (Artifact Evaluation Co-Chair)</a>
<li>Program Committee (PC) Member:</li>
<a href="https://conf.researchr.org/track/ase-2024/ase-2024-research">ASE 2024</a>,
<a href ="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-tool-demonstrations">ISSTA/ECOOP 2024 Tool Demo</a>,
<a href="https://2023.ecoop.org/committee/ecoop-2023-research-papers-program-committee">ECOOP 2023</a>,
<a href="https://2023.esec-fse.org/committee/fse-2023-research-papers-program-committee">ESEC/FSE 2023</a>,
<a href="https://fuzzingworkshop.github.io/">FUZZING 2022</a>
<li>Shadow Program Committee / Extended Review Committee Member:</li>
<a href="">Eurosys 2022</a>,
<a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-">ECOOP 2022</a>
<br>
<li>Artifact Evaluation Committee (AEC) Member:</li>
<a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee">ECOOP 2022</a>,
<a href="https://www.usenix.org/conference/usenixsecurity22/call-for-artifacts">USENIX Security 2022</a>,
<a href="https://www.usenix.org/conference/osdi21/call-for-artifacts">OSDI 2021</a>,
<a href="https://conf.researchr.org/committee/issta-2021/issta-2021-artifact-evaluation-artifact-evaluation-committee">ISSTA 2021</a>,
<a href="https://2021.ecoop.org/committee/ecoop-2021-ecoop-artifacts-artifact-evaluation-committee">ECOOP 2021</a>,
<a href="https://pldi21.sigplan.org/committee/pldi-2021-PLDI-Research-Artifacts-artifact-evaluation-committee">PLDI 2021</a>,
<a href="https://2020.splashcon.org/committee/splash-2020-Artifacts-artifact-evaluation-committee">OOPSLA 2020</a>,
<a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee">ECOOP 2020</a>
<br>
<li>Reviewer:</li>
<a href="https://www.computer.org/csdl/journal/ts">IEEE Transactions on Software Engineering (TSE)</a> 2022-2024<br>
<a href="https://dl.acm.org/journal/tosem">ACM Transactions on Software Engineering and Methodology (TOSEM)</a> 2020-2024 <br>
<a href="https://onlinelibrary.wiley.com/journal/20477481">Journal of Software: Evolution and Process</a> 2021 <br>
<a href="https://www.springer.com/journal/11390">Journal of Computer Science and Technology (JCST)</a> 2020
</ul>
<p><strong>Awards and Honours</strong></p>
<ul>
<li><a href="https://2023.esec-fse.org/info/awards">ESEC/FSE Distinguished Reviewer Award 2023</a></li>
<li>CCF TCFM Distinguished PhD Thesis Nomination Award 2023</li>
<li><a href="https://www.amazon.science/research-awards/recipients/zhendong-su-fall-2021"> Amazon Research Award (co-PI) 2022</a></li>
<li><a href="https://www.ccf.org.cn/Collaboration/Enterprise_Fund/News/2021-10-29/748770.shtml"> CCF-ANT Research Funding (co-PI) 2021</a></li>
<li>Outstanding Graduate Award 2021</li>
<li><a href="https://opensource.googleblog.com/2021/04/announcing-first-group-of-google-open-source-peer-bonus-winners.html">Google Open Source Peer Bonus</a> 2021</li>
<li><a href="https://conf.researchr.org/home/pldi-2020">PLDI Distinguished Paper Award</a> 2020</li>
<li>Outstanding Graduate Award 2016</li>
</ul>
<p><strong>Teaching Assistants</strong></p>
<ul>
<li>Automated Software Testing, ETH Zurich (2022 Spring, 2023 Spring, 2024 Spring)</li>
<li>Software Engineering Seminar, ETH Zurich (<a href="https://www.sri.inf.ethz.ch/teaching/ses2022-fall">2022 Fall</a>, <a href="https://www.sri.inf.ethz.ch/teaching/ses2023-fall">2023 Fall</a>)</li>
<li>Research Topics in Software Engineering, ETH Zurich (<a href="https://www.sri.inf.ethz.ch/teaching/ses2022">2022 Spring</a>, <a href="https://www.sri.inf.ethz.ch/teaching/ses2023">2023 Spring</a>, <a href="https://www.sri.inf.ethz.ch/teaching/ses2024">2024 Spring</a>)</li>
<li>Compiler Design, ETH Zurich (2019 Fall, 2022 Fall, 2023 Fall)</li>
<li>Data Structures and Algorithms, ECNU (2018 Spring)</li>
</ul>
<tt>last modified: 2024.06.02</tt>
</div><!-- .entry-content -->
</article><!-- #post-## -->
</div>
</main><!-- #main -->
</section><!-- #primary -->
</div><!-- #page -->
<script type='text/javascript' src='./wp-content/themes/wp-bootstrap-starter/inc/assets/js/popper.min.js?ver=5.1.1'></script>
<script type='text/javascript' src='./wp-content/themes/wp-bootstrap-starter/inc/assets/js/bootstrap.min.js?ver=5.1.1'></script>
<script type='text/javascript' src='./wp-content/themes/wp-bootstrap-starter/inc/assets/js/theme-script.min.js?ver=5.1.1'></script>
<script type='text/javascript' src='./wp-content/themes/wp-bootstrap-starter/inc/assets/js/skip-link-focus-fix.min.js?ver=20151215'></script>
<script type='text/javascript' src='./wp-includes/js/wp-embed.min.js?ver=5.1.1'></script>
</body>
</html>