-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathpair.html
More file actions
241 lines (219 loc) · 13.9 KB
/
pair.html
File metadata and controls
241 lines (219 loc) · 13.9 KB
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
<!DOCTYPE html>
<html lang="en">
<head>
<title>Ming Wen</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="css/main_sidebar.css"/>
<link rel="stylesheet" href="css/bootstrap.min.css">
<link rel="stylesheet" href="https://www.w3schools.com/w3css/5/w3.css">
<style>
.mySlides {display:none}
</style>
<!-- <link rel="stylesheet" type="text/css" href="//fonts.googleapis.com/css?family=Nunito">-->
<link rel="stylesheet" type="text/css" href="css/Nunito.css">
<script src="js/jquery.min.js"></script>
<script src="css/bootstrap-3.4.1-dist/js/bootstrap.min.js"></script>
<link rel="stylesheet" href="css/main.css">
<!-- <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.6.1/jquery.min.js"></script>-->
<!-- <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.4.1/js/bootstrap.min.js"></script>-->
</head>
<body>
<!--<nav class="navbar navbar-inverse" style="position: fixed; right: 0;left: 0;top:0; z-index: 1;">-->
<nav class="navbar navbar-inverse" style="position: sticky; right: 0;left: 0;top:0; z-index: 1;">
<div class="container-fluid" style="display:flex; justify-content:center; align-items:center;">
<!-- <div class="navbar-header">-->
<!-- <a class="navbar-brand" href="index.html">Ming Wen</a>-->
<!-- </div>-->
<ul class="nav navbar-nav">
<li><a href="index.html" style="font-size: 18px">Ming Wen</a></li>
<li><a href="index.html">Home</a></li>
<li class="active"><a href="pair.html">Team</a></li>
<li><a href="publication.html">Publications</a></li>
<li><a href="teaching.html">Teaching</a></li>
<li><a href="service.html">Service</a></li>
</ul>
</div>
</nav>
<!--<div class="masthead">-->
<!-- <div class="masthead__inner-wrap">-->
<!-- <div class="masthead__menu">-->
<!-- <nav id="site-nav" class="greedy-nav">-->
<!-- <button class="hidden" count="0">-->
<!-- <div class="navicon"></div>-->
<!-- </button>-->
<!-- <ul class="visible-links">-->
<!-- <li class="masthead__menu-item masthead__menu-item--lg masthead__menu-home-item"><a-->
<!-- href="https://hellojxt.github.io/#about-me">Homepage</a></li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#about-me">About Me</a></li>-->
<!-- <li class="masthead__menu-item"><a-->
<!-- href="https://hellojxt.github.io/#-publications">Publications</a></li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- <li class="masthead__menu-item"><a href="https://hellojxt.github.io/#-educations">Educations</a>-->
<!-- </li>-->
<!-- </ul>-->
<!-- <ul class="hidden-links hidden"></ul>-->
<!-- </nav>-->
<!-- </div>-->
<!-- </div>-->
<!--</div>-->
<div id="main" style="max-width: 900px; z-index: 0;">
<div>
<!-- <h1>Students</h1>-->
<div>
<img src="./image/logo.png" style="width: 200px; float: left;">
<p style="width: 500px; margin-left: 220px;">I lead the <b>ARTS</b><sup>3</sup> research group (in short for <b>A</b>dvanced <b>R</b>esearch for <b>T</b>rustworthy and <b>S</b>ecure <b>S</b>oftware <b>S</b>ystems), and our team is glad and fortunate to have the following talented students :-)</p>
</div>
<br/>
<div style="background-color:aliceblue; width: 500px; padding-left: 5%; padding-top: 1%; padding-bottom: 1%;">
<strong style="color: green;">
招收2026级博士生1名（余额1名）
<br>
招收2026级硕士生3名（余额0名）
<br>
招收博士后、实习生，欢迎联系（请附简历）
<br>
研究方向：软件安全、软件测试与分析、代码大模型
<br>
</strong>
</div>
<h2>PhD Students</h2>
<ul class=space_list>
<li><strong>Zeliang Yu</strong>, PhD Student (<span style="color: #337AB7">Fall 2023</span>): working on software supply chain analysis </li>
<li><strong>Haoyu Wang (co-supervised)</strong>, PhD Student (<span style="color: #337AB7">Fall 2024</span>): working on fuzzing </li>
<li><strong>Zongze Jiang</strong>, PhD Student (<span style="color: #337AB7">Fall 2024</span>): working on software testing and analysis</li>
<li><strong>Shiyu Qiu (co-supervised)</strong>, PhD Student (<span style="color: #337AB7">Fall 2025</span>): working on software system testing</li>
<li><strong>Zichao Wei</strong>, PhD Student (<span style="color: #337AB7">Fall 2025</span>): working on LLM for repair</li>
</ul>
<h2>Master Students</h2>
<ul class=space_list>
<li><strong>Xin Lai</strong>, Master Student (<span style="color: #337AB7">Fall 2025</span>): working on software system testing </li>
<li><strong>Caizhi Tang</strong>, Master Student (<span style="color: #337AB7">Fall 2025</span>): working on LLM for static analysis</li>
<li><strong>Shijie Song</strong>, Master Student (<span style="color: #337AB7">Fall 2025</span>): working LLM for static analysis </li>
<li><strong>Chuncan Ge</strong>, Master Student (<span style="color: #337AB7">Fall 2025</span>): working on static analysis rule refinement</li>
<li><strong>Quanwei Liu (co-supervised)</strong>, Master Student (<span style="color: #337AB7">Fall 2024</span>): working on GUI testing for android </li>
<li><strong>Haoran Yan</strong>, Master Student (<span style="color: #337AB7">Fall 2024</span>): working on LLM for testing </li>
<li><strong>Yiheng Zhang</strong>, Master Student (<span style="color: #337AB7">Fall 2024</span>): working on LLM for static analysis</li>
<li><strong>Yiding Zhu</strong>, Master Student (<span style="color: #337AB7">Fall 2024</span>): working on software supply chain analysis</li>
<li><strong>Hai Min</strong>, Master Student (<span style="color: #337AB7">Fall 2023</span>): working on LLM for security </li>
</ul>
<h2 >Alumi</h2>
<ul class=space_list>
<li><strong>Kaixuan Luo</strong>, National Scholarship (国家奖学金), Undergraduate -> CUHK </li>
<li><strong>Xiao Chen</strong>, Undergraduate -> HKUST </li>
<li><strong>Yifan Xia</strong>, Undergraduate -> ZJU </li>
<li><strong>Jing Yang</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> Kuaishou </li>
<li><strong>Maolin Sun</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> PhD (Nanjing University)</li>
<li><strong>Yuting Zhang</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> Kuaishou </li>
<li><strong>Yixin Yang</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> PhD (Beihang University) </li>
<li><strong>Yongcong Wang</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> 南京中兴新软件有限责任公司 </li>
<li><strong>Haoxiang Jia</strong>, Master Student (<span style="color: #337AB7">Fall 2021</span>) -> PhD (Peking University)</li>
<li><strong>Yulun Wu</strong>, Master Student (<span style="color: #337AB7">Fall 2021</span>) -> PhD (CUHK)</li>
<li><strong>Kang Chen</strong>, Master Student (<span style="color: #337AB7">Fall 2021</span>) -> A Classified Unit at Nanjing</li>
<li><strong>Zifan Xie</strong>, Master Student (<span style="color: #337AB7">Fall 2020</span>) -> PhD Student (<span style="color: #337AB7">Fall 2022</span>) -> Assistant Professor (Chongqing University)</li>
<li><strong>Xiaohu Du</strong>, PhD (<span style="color: #337AB7">Fall 2021</span>) -> Researcher (Huawei)</li>
<li><strong>Xiaochen Guo</strong>, Master Student (<span style="color: #337AB7">Fall 2022</span>) -> Alibaba Group </li>
<li><strong>Jiahao Zhu</strong>, Master Student (<span style="color: #337AB7">Fall 2022</span>) -> Ant Group </li>
</ul>
</div>
<!-- <div>-->
<!-- <h2>Visual and Scientific Computing Lab</h2>-->
<!-- <p>We are a group of passionate people from various backgrounds to pursue cutting-edge research on visual and scientific computing. You can find our research focus in the recently published papers. We are proud of having built a collaborative, friendly, and horizontal culture, aiming for high-quality research. If you think you are good fit for our team, feel free to reach out, visit, and talk to us!</p>-->
<!-- </div>-->
<!-- <div>-->
<!-- <h3>Principal Investigator</h3>-->
<!-- <ul>-->
<!-- <li><a target="_blank" href="index.html">Eunbyung Park</a></li>-->
<!-- </ul>-->
<!-- </div>-->
<!-- <div>-->
<!-- <h3>Research Professors</h3>-->
<!-- <ul>-->
<!-- <li>Usman Ali (2022.09 -)</li>-->
<!-- </ul>-->
<!-- </div>-->
<!-- <div>-->
<!-- <h3>Graduate Students</h3>-->
<!-- <ul>-->
<!-- <li>Joo Chan Lee (MS/PhD combined, 2020.03 - ), co-advised by <a href="https://iris.skku.edu/authors/admin/">Jong Hwan Ko</a></li>-->
<!-- <li>Xiangyu Sun (PhD, 2022.09 - )</li>-->
<!-- <li>Younggeun Lee (MS/PhD combined, 2021.09 - )</li>-->
<!-- <li>Junwoo Cho (MS, 2021.09 - )</li>-->
<!-- <li>Sanghyeon Kim (MS, 2021.09 - )</li>-->
<!-- <li>Hanbit Yoon (MS, 2021.09 - ), co-advised by <a href="https://www.linkedin.com/in/joonheechoi/">Joon Hee Choi</a></li>-->
<!-- <li>Namgyu Kang (MS, 2022.03 - )</li>-->
<!-- <li>Seungtae Nam (MS, 2022.03 - )</li>-->
<!-- <li>Hyunmo Yang (MS, 2022.03 - )</li>-->
<!-- <li>Byeonghyeon Lee (MS, 2022.09 - )</li>-->
<!-- <li>Howoong Lee (MS, 2022.09 - ), industrial scholars program from Hanwha Techwin.</li>-->
<!-- <li>Younghyun Kim (MS, 2023.03 - )</li>-->
<!-- <li>Dohyun Kim (MS, 2023.03 - )</li>-->
<!-- <li>Geunmin Hwang (MS, 2023.03 - )</li>-->
<!-- <li>Yougin Park (MS, 2023.03 - ), part time industrial scholars program from Samsung Electronics.</li>-->
<!-- </ul>-->
<!-- </div>-->
<!-- <div>-->
<!-- <h3>Alumni</h3>-->
<!-- <ul>-->
<!-- <li>Daniel Rho (MS, 2020.09 - 2022.08), co-advised by <a href="https://iris.skku.edu/authors/admin/">Jong Hwan Ko</a>, currently at KT</li>-->
<!-- </ul>-->
<!-- </div>-->
<h2>Group Photos</h2>
<p>Here shows some photos of our group when we attending overseas and domestic academic conferences.</p>
<div class="w3-content" style="max-width:700px; float: left;">
<img class="mySlides" src="./group/8.jpg" style="width:100%;">
<img class="mySlides" src="./group/9.jpg" style="width:100%;">
<img class="mySlides" src="./group/1.jpg" style="width:100%;">
<img class="mySlides" src="./group/2.jpg" style="width:100%;">
<img class="mySlides" src="./group/3.jpg" style="width:100%;">
<img class="mySlides" src="./group/5.jpg" style="width:100%;">
<img class="mySlides" src="./group/6.jpg" style="width:100%;">
<img class="mySlides" src="./group/7.jpg" style="width:100%;">
<div class="w3-center">
<div class="w3-section">
<button class="w3-button w3-light-grey" onclick="plusDivs(-1)">❮ Prev</button>
<button class="w3-button w3-light-grey" onclick="plusDivs(1)">Next ❯</button>
</div>
</div>
</div>
</div>
<script>
var slideIndex = 1;
showDivs(slideIndex);
function plusDivs(n) {
showDivs(slideIndex += n);
}
function currentDiv(n) {
showDivs(slideIndex = n);
}
function showDivs(n) {
var i;
var x = document.getElementsByClassName("mySlides");
var dots = document.getElementsByClassName("demo");
if (n > x.length) {slideIndex = 1}
if (n < 1) {slideIndex = x.length}
for (i = 0; i < x.length; i++) {
x[i].style.display = "none";
}
for (i = 0; i < dots.length; i++) {
dots[i].className = dots[i].className.replace(" w3-red", "");
}
x[slideIndex-1].style.display = "block";
dots[slideIndex-1].className += " w3-red";
}
</script>
</body>
</html>