/
index.html
190 lines (177 loc) · 8.06 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
<!DOCTYPE HTML>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Ye Zheng (郑烨)</title>
<meta content="Ye Zheng (郑烨)" name="author">
<meta content="width=device-width, initial-scale=1" name="viewport">
<link href="stylesheet.css" rel="stylesheet" type="text/css">
<link href="/images/web-icon.svg" rel="icon">
</head>
<body>
<section class="header">
<div class="navigation-bar">
<div class="my-name">
<a href="https://zhengyeah.github.io">Ye Zheng</a>
</div>
<div class="link-collection">
<ul>
<li><a href="#category-publications">Publications</a></li>
<li><a href="#category-archives">Archives</a></li>
<li><a href="#category-more-bio">More Bio</a></li>
</ul>
</div>
<div class="mobile-menu-button">
<div class="menu-button">
<div></div>
<div></div>
<div></div>
</div>
</div>
</div>
</section>
<section class="mobile-overlay">
<div class="mobile-overlay-list">
<ul>
<li><a href="#category-publications">Publications</a></li>
<li><a href="#category-archives">Archives</a></li>
<li><a href="#category-more-bio">More Bio</a></li>
</ul>
</div>
</section>
<div class="layout-level-1">
<!--Beginning of the contents-->
<!--Bio-profile-->
<div class="layout-level-2">
<div class="mobile-profile">
<img id="showing-mobile-profile" alt="profile photo" src="./images/profile/profile-1.jpg">
</div>
<div id="pc-bio-profile">
<div class="bio">
<div>
Ph.D. student in Computer Science
<br>
<strong>
Rochester Institute of Technology (RIT)
</strong>
<br>
Advisor: <a href="http://yidanhu.csec.rit.edu/"> Dr. Yidan Hu</a>
</div>
<div>
Research topics: <strong>Differential Privacy</strong>, Neural Network Verification
</div>
<div>
<a href="data/YeZheng-resume.pdf">Resume</a> - 
<a href="https://scholar.google.com/citations?user=fIwzSr4AAAAJ">G. Scholar</a> - 
<a href="https://github.com/ZhengYeah/">GitHub</a> - 
<a href="https://www.zhihu.com/people/zhengyeah/columns">ZhiHu</a>
</div>
</div>
<div class="profile">
<img id="showing-profile" alt="profile photo" src="./images/profile/profile-1.jpg">
</div>
</div>
</div>
<div id="category-publications" class="layout-level-2">
<div class="heading">Publications</div>
<div class="publications-list">
<div class="paper-entry">
<a class="paper-title" href="https://doi.org/10.1007/978-3-031-44245-2_23">
Boosting Multi-neuron Convex Relaxation for Neural Network Verification</a>
<p>
Xuezhou Tang, <strong>Ye Zheng</strong>, Jiaxiang Liu
<br>
International Static Analysis Symposium <em><strong>(SAS)</strong></em>, 2023
</p>
</div>
<div class="paper-entry">
<a class="paper-title" href="https://doi.org/10.1145/3540250.3558924">
MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation</a>
<a class="button-links" href="https://github.com/ZhengYeah/MpBP">Code</a>
<a class="button-links" href="/data/mpbp-slides.pdf">Slides</a>
<a class="button-links" href="/data/mpbp-slides-2.pdf">Slides-2</a>
<p>
<strong>Ye Zheng</strong>, Jiaxiang Liu, Xiaomu Shi
<br>
European Software Engineering Conference and Symposium on the Foundations of Software Engineering
<em><strong>(ESEC/FSE Demonstration)</strong></em>, 2022
</p>
</div>
<div class="paper-entry">
<a class="paper-title" href="https://dx.doi.org/10.13328/j.cnki.jos.006585">
基于多路径回溯的神经网络验证方法</a>
<strong>and the English version</strong>
<a class="paper-title" href="https://doi.org/10.21655/ijsi.1673-7288.00281">
Multi-path Back-propagation Method for Neural Network Verification</a>
<a class="button-links" href="https://github.com/ZhengYeah/AbstraCMP">Code</a>
<a class="button-links" href="/data/abstracmp-slides.pdf">Slides</a>
<p>
<strong>郑烨</strong>，施晓牧，刘嘉祥
<br>
软件学报 <em><strong>(JOS)</strong></em>, 2022; International Journal of Software and Informatics
<em><strong>(IJSI)</strong></em>, 2022
</p>
</div>
</div>
</div>
<div id="category-archives" class="layout-level-2">
<div class="heading">Archives</div>
<div class="archives-list">
<div class="paper-entry">
<a href="https://github.com/ZhengYeah/Paper-Comments">
<span class="paper-title">Paper Comments and Notes</span>
</a>
<p>
Comments and notes of the papers related to my research topics, organized by publication year.
</p>
</div>
<div class="paper-entry highlight-entry">
<a class="paper-title" href="./data/硕士学位论文.pdf">
硕士学位论文《多路径方法在神经网络验证中的研究与应用》</a>
<a class="button-links" href="./data/硕士学位论文.pdf">PDF</a>
<a class="button-links" href="./data/硕士学位论文-slides.pdf">Slides</a>
<p>
本文关注神经网络验证方法中界限传播方法的精度问题。关于此问题，本文提出界限传播路径的概念，将各种界限传播方法扩展到其对应的多路径界限传播方法；此外，本文将多路径界限传播在
PyTorch 框架上并行化，开发了高效而易用的鲁棒性验证工具。
</p>
</div>
</div>
</div>
<div id="category-more-bio" class="layout-level-2">
<div class="heading">More Bio</div>
<div class="bio-list">
<div class="paper-entry">
<span>Shenzhen University (2020 - 2023)</span>
<ul>
<li>Master's degree in Software Engineering</li>
<li>Research areas: Neural Network Verification and Formal Verification, advised
by <a href="https://csse.szu.edu.cn/pages/user/index?id=1031">Dr. Jiaxiang Liu</a>
</li>
</ul>
</div>
<div class="paper-entry">
<span>Henan University (2016 - 2020)</span>
<ul>
<li>Bachelor's degree in Mathematics</li>
<li>Majored in Pure Mathematics, advised by <a href="https://maths.henu.edu.cn/info/1204/3593.htm">
Dr. Zhonghua Wang</a>
</li>
</ul>
</div>
</div>
</div>
</div>
<div id="footer">
<hr class="split-line">
<div class="footer-box">
<div class="footer-left">
Last update: November 2023
</div>
<div class="footer-right">
-- Here is the <a href="https://github.com/ZhengYeah/ZhengYeah.github.io">source code</a>
of this homepage. Feel free to clone it for your personal usage :)
</div>
</div>
</div>
<script src="script.js"></script>
</body>