-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
executable file
·339 lines (256 loc) · 16.6 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
<!DOCTYPE HTML>
<html lang="en"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Zhiyang Chen</title>
<!-- <meta name="author" content="Jon Barron"> -->
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" type="text/css" href="stylesheet.css">
<link rel="icon" type="image/png" href="images/seal_icon.png">
</head>
<body>
<table style="width:100%;max-width:800px;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr style="padding:0px">
<td style="padding:0px">
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr style="padding:0px">
<td style="padding:2.5%;width:63%;vertical-align:middle">
<p style="text-align:center">
<name>Zhiyang Chen</name>
</p>
<p>
I am a PhD student at University of Toronto, (luckily!) supervised by <a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a>.
</p>
<p>
Prior than that, I was luckily advised by <a href="https://web.eecs.umich.edu/~xwangsd/">Prof. Xinyu Wang</a> at UMich, we worked on multiple program synthesis projects.
</p>
<p>
My current research focus on Smart Contract Security with Static and Dynamic Analysis and Blockchain Scaling(ZKRollup). I'm generally interested in Programming Languages, Software Engineering, Security and Distributed Systems.
</p>
<p>
I'm also working as a Research Engineer at <a href="https://www.zircuit.com/">Zircuit</a>. Prior to that, I also worked at <a href="https://quantstamp.com/team">Quantstamp</a>.
</p>
<p style="text-align:center">
<a href="mailto:[email protected]">Email</a>  / 
<a href="https://github.com/jeffchen006/">Github</a>  / 
<a href="https://twitter.com/zhiychen">Twitter</a>
</p>
</td>
<td style="padding:2.5%;width:40%;max-width:40%">
<a href="images/me.jpg"><img style="width:100%;max-width:100%" alt="profile photo" src="images/me.jpg" class="hoverZoomLink"></a>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:100%;vertical-align:middle">
<heading>Education</heading>
<ul>
<li>
<b>University of Toronto</b><br>
<i>PhD in Computer Science, 2026(Expected)</i><br>
<i> <b>Advisor:</b> <a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a>
</a></i>
</li>
<li>
<b>University of Michigan, Ann Arbor</b><br>
<i> Bachelor of Engineering in Computer Science, minor in Mathematics,<br>
Summa Cum Laude, Sept 2019 - May 2021</i><br>
<i> <b>Advisor</b>: <a href="https://web.eecs.umich.edu/~xwangsd/">Prof. Xinyu Wang</a></i>
</li>
<li>
<b>Shanghai Jiao Tong University</b><br>
<i> Bachelor of Science in Electrical and Computer Engineering, minor in <a href="https://www.ji.sjtu.edu.cn/academics/undergraduate-program/degrees-programs/minor-in-entrepreneurship/">Entrepreneurship</a>,<br>
Sept 2017 - Aug 2021</i><br>
</li>
</ul>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:100%;vertical-align:middle">
<heading>Publications in Academia</heading>
<p>
<b>Zhiyang Chen</b>, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond(ASE 2024 Tool Demonstrations)
<a href="https://arxiv.org/pdf/2407.10039">[paper]</a> <a href="https://github.com/jeffchen006/OpenTracer">[artifact]</a> <a href="https://www.youtube.com/watch?v=vTdmjWdYd30">[video]</a>
</p>
<p>
<b>Zhiyang Chen</b>, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “Demystifying Invariant Effectiveness for Securing Smart Contracts(FSE 2024)
<a href="pdfs/Chen2024DIE.pdf">[paper]</a> <a href="https://github.com/jeffchen006/Trace2Inv-Artifact-FSE24">[artifact]</a> <a href="https://github.com/Trace2Inv-Artifact/Trace2Inv-Benchmarks">[benchmarks]</a> <a href="https://github.com/Trace2Inv-Artifact/Trace2Inv-Invariant-Study-FSE24">[invariant study results]</a> <a href="https://docs.google.com/presentation/d/16phJQ7H_aOX01QDOme2_mceOUrVOIc4kfXcolijDlNE/edit#slide=id.p">[slides]</a> <a href="https://docs.google.com/presentation/d/139etymRy-Xnq3e6jFXtxQbpixIquZO9aBbuMCg4rX7Q/edit?usp=sharing">[poster]</a>
</p>
<p>
<b>Zhiyang Chen</b>, Sidi Mohamed Beillahi, Fan Long, “FlashSyn: Flash Loan Attack Synthesis via Counter
Example Driven Approximation(ICSE 2024) <a href="https://dl.acm.org/doi/10.1145/3597503.3639190">[paper]</a> <a href="https://arxiv.org/pdf/2206.10708.pdf">[extended paper]</a> <a href="https://github.com/FlashSyn-Artifact/FlashSyn-Artifact-ICSE24">[artifact]</a> <a href="https://docs.google.com/presentation/d/1438qvhgIPhh39PQ-6oOEgG9lkPsuDI0Jo9hNRMxOe4U/edit?usp=sharing">[slides]</a>
</p>
<p>
Tianyi Zhang, <b>Zhiyang Chen</b>, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman, “Interpretable
Program Synthesis”, Proceedings of the 2021 Conference on Human Factors in Computing Systems(CHI 2021) <a href="https://dl.acm.org/doi/pdf/10.1145/3411764.3445646">[paper] </a> <a href="https://www.youtube.com/watch?v=biUQi0GW6jc">[video]</a> <a href="https://github.com/tianyi-zhang/interactive-program-synthesis">[artifact]</a>
</p>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:100%;vertical-align:middle">
<heading>Publications in Industry</heading>
<p>
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, <b>Zhiyang Chen</b>, “Sequencer Level Security"
<a href="https://arxiv.org/pdf/2405.01819">[paper]</a>
</p>
</td>
</tr>
</tbody></table>
<table width="100%" align="center" border="0" cellspacing="0" cellpadding="20"><tbody>
<tr>
<td>
<heading>Awards & Grants</heading>
<ul>
<li>ACM SIGSOFT CAPS Travel Grant, ACM SIGSOFT CAPS </li>
<li>DCS Travel Grant, University of Toronto </li>
<li>Bell Graduate Scholarship, University of Toronto</li>
<li>The Mitacs Accelerate Fellowship with Bank of Canada, University of Toronto, 2023-2024</li>
<li>Co-author of Ethereum Foundation Grant FY23-0882 (<a href="https://github.com/quantstamp/l2-block-explorer-api">Back-End API Standard for L2 Block Explorers</a>), 2023</li>
<li>The Wolfond Scholarship in Wireless Information Technology, University of Toronto, 2021</li>
<li>Outstanding graduate of Shanghai Jiao Tong University, 2021</li>
<li>James B. Angell Scholar, UMich, 2021</li>
</ul>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:100%;vertical-align:middle">
<heading>Fun Facts About Me:</heading>
<ul>
<li>
<i> Recently(2024/08), I started investigating the 'philosophy' in my Doctor of Philosophy program. In the future, I might write down this journey.</i>
</li>
<li>
<i> Pirates of the Caribbean is my favorite movie. I want to be a <a href="https://www.youtube.com/watch?v=T0fAznO1wA8">Pirate.</a></i>
</li>
<li>
<i> I'm not religious, but I believe in an <a href="https://www.youtube.com/watch?v=0AtTM9hgCDw&t=1s">afterlife</a> where people will either reunite with their deceased loved ones after biological death and/or return to this world in another physical form. </i>
</li>
</ul>
</td>
</tr>
</tbody></table>
<table width="100%" align="center" border="0" cellspacing="0" cellpadding="20"><tbody>
<tr>
<td>
<heading>Service, Teaching and Volunteer Activities</heading>
<ul>
<li>Reviewer, IEEE Transactions on Network and Service Management 2024</li>
<li>Artifact Evaluation Program Committee Member, PLDI 2024</li>
<li>Sub-reviewer, FSE 2023, ICSE 2024, ASE 2024</li>
<li>Student Volunteer, SPLASH OOPSLA 2022</li>
<li>Teaching Assistant of CSC108, CSC263, CSC373, CSC488/2107(as head TA) at UofT</li>
<li>Grader of MATH 214 Linear Algebra, UMich, Fall 2020.</li>
<li>Tau Beta Phi-Michigan Gamma, elected in Nov 2020 (attending a series of K12 and professional activities)</li>
</ul>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:100%;vertical-align:middle">
<heading> Finished Research Projects</heading>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:20px;width:25%;vertical-align:middle">
<img src="images/shield.png" width="160" height="160">
</td>
<td style="padding:20px;width:75%;vertical-align:middle">
<papertitle>Runtime Guard Synthesis to Stop Hacks on the Fly</papertitle>
<br>
<em> Accepted to FSE 2024 </em>
<p>With <a href="https://franklinliu.github.io/">Dr. Ye Liu</a>, <a href="https://personal.ntu.edu.sg/yi_li/">Prof. Yi Li</a>, <a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a> and <a href="https://beillahi.github.io/">Dr. Sidi Mohamed Beillahi
</a> </p>
Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared
with historical benign transactions before the attacking events. While many runtime monitoring and guarding
mechanisms have been proposed to validate invariants and stop anomalous transactions on the fly, the empirical
effectiveness of the invariants used remains largely unexplored. We developed a tool which dynamically
generates new invariants customized for a given contract based on its historical transaction data. <p>
</p>
</td>
</tr>
<tr>
<td style="padding:20px;width:25%;vertical-align:middle">
<img src='images/flash.png'>
</td>
<td style="padding:20px;width:75%;vertical-align:middle">
<papertitle>Flashloan Attack Synthesis</papertitle>
<br>
<em> Accepted to ICSE 2024, adopted by Quantstamp </em>
<p>With <a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a> and <a href="https://beillahi.github.io/">Dr. Sidi Mohamed Beillahi
</a> </p>
This project aims to build the first end-to-end program synthesis tool to detect flash loan attack vulnerabilities and automatically synthesize a profitable transition as proofs. Since executing smart contracts in a forked environment is notoriously slow, we propose a technique to speculate execution results locally. Our tool is evaluated in many flash loan attacks in the history of Ethereum and Binance Smart Chain.
<p>
</p>
</td>
</tr>
<tr>
<td style="padding:20px;width:25%;vertical-align:middle">
<img src='images/figure_queries.png'>
</td>
<td style="padding:20px;width:75%;vertical-align:middle">
<papertitle>Accelerate Regular Expresssion Synthesis via Subexpression Queries</papertitle>
<br>
<em>Individual research project of EECS499 </em>
<p>with Prof. <a href="https://web.eecs.umich.edu/~xwangsd/">Xinyu Wang</a> </p>
<a href="pdfs/ZhiyangChen_EECS499_report.pdf">report</a>
<p>In this project, I proposed an algorithm to synthesize the most probable sub- expressions of the ground-truth regular expressions based on input-output examples. I evaluated and testified the effectiveness of sub-expression queries to accelerate regular expression synthesis.</p>
</td>
</tr>
<tr>
<td style="padding:20px;width:25%;vertical-align:middle">
<img src='images/whitebox.png'>
</td>
<td style="padding:20px;width:75%;vertical-align:middle">
<papertitle>Interpretable Program Synthesis </papertitle>
<br>
<em>CHI '21: Proceedings of the 2021 Conference on Human Factors in Computing Systems</em>
<br>
<p>with Prof. <a href="https://tianyi-zhang.github.io/">Tianyi Zhang</a>, Prof. <a href="https://web.eecs.umich.edu/~xwangsd/">Xinyu Wang</a>, Prof. <a href="https://glassmanlab.seas.harvard.edu/">Elena Glassman</a> </p>
<a href="pdfs/CHI2021.pdf">pdf</a>
   
<a href="https://www.youtube.com/watch?v=biUQi0GW6jc">video</a>
   
<a href="https://github.com/tianyi-zhang/interactive-program-synthesis">code</a>
<p>We propose a novel approach that unveils the synthesis process and enables users to monitor and guide the synthesis. We designed three representations that explain the underlying synthesis process with different levels of fidelity.</p>
</td>
</tr>
<tr>
<td style="padding:20px;width:25%;vertical-align:middle">
<img src='images/car.png'>
</td>
<td style="padding:20px;width:75%;vertical-align:middle">
<papertitle>Real-Time and Virtual Driving Simulator</papertitle>
<br>
<em>Project of Multidisciplinary Design Program</em>
<br>
<p>with Prof. <a href="http://www.umich.edu/~driving/staff/staff.html">Paul Green</a> </p>
<a href="https://drive.google.com/file/d/1gfHyfdvE686qpgVA6es7aHM2WHWieAP-/view?usp=sharing">2-min presentation slides</a>
   
<a href="https://github.com/CenturyLiu/Carla-GUI">code</a>
<p>We built a GUI tool to help human-vehicle interaction researchers design and conduct traffic experiments with CARLA real-time driving simulator.</p>
</td>
</tr>
</tbody></table>
<table style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;"><tbody>
<tr>
<td style="padding:0px">
<br>
<p style="text-align:right;font-size:small;">
Homepage credits: <a href="https://jonbarron.info/">Jon Barron</a>.
</p>
</td>
</tr>
</tbody></table>
</td>
</tr>
</table>
</body>
</html>