-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathindex.html
309 lines (285 loc) · 15.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
<!DOCTYPE html>
<html lang="en">
<header>
<title>Software Intelligence</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.4.1/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.4.1/js/bootstrap.min.js"></script>
<link rel="stylesheet" href="css/style.css">
<script>
$(function () {
$(document).scroll(function () {
var $nav = $(".navbar-fixed-top");
$nav.toggleClass('scrolled', $(this).scrollTop() > $nav.height());
});
});
</script>
<script src="jquery.js"></script>
<script>
$(function () {
$("#includedContent").load("./news.html");
});
</script>
<div class="intro"
style="background-image: url(./images/bg.jpeg);background-repeat: no-repeat; background-size: cover;" id="home">
<nav class="navbar navbar-default navbar-fixed-top navbar-collapse">
<div class="container-fluid head-padding">
<div class="navbar-header">
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#myNavbar">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="#" style="color:white; font-size: 2vw;">
<stong>Software Intelligence</stong>
</a>
</div>
<div class="collapse navbar-collapse offcanvas-collapse" id="myNavbar">
<ul class="nav navbar-nav navbar-right">
<li class=""><a href="#" style="color:white">HOME</a></li>
<li class=""><a href="#news" title="news" style="color:white">NEWS</a></li>
<li class="">
<div class="dropdown">
<!-- <a href="#news" title="news" style="color:white">NEWS</a> -->
<button class="dropbtn" onclick="location.href='#research'">RESEARCH</button>
<div class="dropdown-content">
<a href="./ssc.html">SE</a>
<a href="./ai.hmtl">AI</a>
<!-- <a href="#ghi">GHI</a> -->
</div>
</div>
</li>
<li class=""><a href="#pubs" title="team" style="color:white">TEAM</a></li>
<li class=""><a href="#teaching" title="teaching" style="color:white">TEACHING</a></li>
<li class=""><a href="#contact" title="contract" style="color:white">HIRING</a></li>
</ul>
</div>
</div>
</nav>
<div class="middle">
<p style="font-size: 4vw; color:white"><strong>We are</strong></p>
<p style="font-size: 4vw; color:white"><strong>Software Intelligence Group</strong></p>
<p style="font-size: 2vw; color:yellow">Our research is focused on using program analysis and machine/deep
learning to improve the secucrity, reliablity and quality of software systems and AI models. </p>
</div>
</div>
</header>
<body>
<div class="page">
<div class="jumbotron jumbotron-fluid" id="news">
<div class="container">
<h2>
<center>Recent Updates</center>
</h2>
<hr>
<ul> <li><strong>Mar, 2024</strong> Our papers "API Misuse Detection via Probabilistic Graphical Model" and "Model-less Is The Best Model: Generating Pure Code Implementations to Replace On-device DL Models" have been accepted by ISSTA 2024 research paper track.</li>
<li><strong>Mar, 2024</strong> Our SANER'24 paper "Investigating and Detecting Silent Bugs in PyTorch Programs" won IEEE TCSE Distinguished Paper Award.</li>
<li><strong>Feb, 2024</strong> Our ICSE'24 paper "Modularizing while Training: A New Paradigm for Modularizing DNN Models" won ACM SIGSOFT Distinguished Paper Award.</li>
<li><strong>Jan, 2024</strong> our paper "ProveNFix: Temporal Property guided Program Repair" has been accepted by the FSE'24 research papers track.</li>
<li><strong>Dec, 2023</strong> our paper "Investigating White-Box Attacks for On-Device Models" has been accepted by the ICSE'24 research papers track.</li>
<li><strong>Nov, 2023</strong> our paper "Reusing Convolutional Neural Network Models through Modularization and Composition" has been accepted by TOSEM as research paper.</li>
<li><strong>Aug, 2023</strong> our paper "Automated Fixing of Web UI Tests via Iterative Element Matching" has been accepted by the ASE'23 research papers track.</li>
<li><strong>Jun, 2023</strong> our paper "Modularizing while Training: A New Paradigm for Modularizing DNN Models" has been accepted by the ICSE'24 research papers track.</li>
<li><strong>May, 2023</strong> our paper "ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems" has been accepted by the ISSTA'23 technical papers track.</li>
<li><strong>Dec, 2022</strong> Binhang's paper Reusing Deep Neural Network Models through Model Re-engineering" has been accepted by the ICSE'23 technical track.</li>
</ul>
</div>
</div>
<div>
<div class="container" id="research">
<h2>
<center>Research</center>
</h2>
<hr>
<h3><strong>Research Directions</strong></h3>
<div class="container-fluid">
<div class="row">
<div class="col-sm-6">
<div class="panel panel-success">
<div class="panel-heading">
<h4><a href="./ssc.html">Software Supply Chain Security via AI4SE</a></h4>
</div>
<div class="panel-body">
<p>To improve software development efficiency and save cost, when developing software, many
enterprises rely on third-party software, which constitutes the software supply chain (SSC).
Due to the dependency relations among software, vulnerabilities in SSC may cause more serious
security threats than independent software systems. This poses new challenges for ensuring software
security.
Our research mainly focuses on designing novel intelligent software engineering and program analysis
techniques, including but not limited to software dependency analysis, software vulnerability
detection, vulnerability repair and etc.
The ultimate goal is to increase the security of software supply chain and software ecosystem.
</p>
<p style="color: blue;"><a href="./ssc.html">read more ...</a></p>
</div>
</div>
</div>
<!--<div class="col-sm-6">
<div class="panel panel-default">
<div class="panel-heading"><h4>Operating Systen Patch Management</h5></div>
<div class="panel-body">
<img class="img-resonsive pull-right" src="images/synthesis.png" width="260">
</div>
</div>
</div>-->
<div class="col-sm-6">
<div class="panel panel-warning">
<div class="panel-heading">
<h4>Usability and Robustness of DNN via SE4AI</h5>
</div>
<div class="panel-body">
<p>Due to poor interpretability, a large number of parameters and data requirements, and poor
reliability, the AI model, as the core of intelligent software systems, suffers from poor
reusability, high testing overhead, and high security risks in development, testing, and deployment.
AI models are considered as "Software 2.0". In this direction, we target the above problems from the
perspective of software engineering. we aim to apply software engineering techniques/notions to AI
model engineering to improve the models' usability and robustness.</p>
</div>
</div>
</div>
<div class="col-sm-6">
<div class="panel panel-default">
<div class="panel-heading">
<h4>AI/Crowd Intelligence</h5>
</div>
<div class="panel-body">
<p>Crowd intelligence aims at achieving powerful intelligence through aggregating diverse
contributions from many heterogeneous individuals, which is a typical form of AI. As a matter of
fact, the sucess of many AI tehcnologies highly relies on large-scale datasets that are often built
through crowd intelligence. We study various perspectives of crowd intelligence including theories,
techniques and applications. Research topics include, but are not limited to, crowdsourcing,
federated learning, human-in-the-loop AI and open source.</p>
</div>
</div>
</div>
</div>
</div>
<h3><strong>Selected Research Papers</strong></h3>
<ul class="">
<li>
<h4 class=><strong>API Misuse Detection via Probabilistic Graphical Model</strong>
</h4>
Yunlong Ma, Wentong Tian, Xiang Gao, Hailong Sun, Li Li.
<p class="">International Symposium on Software Testing and Analysis (ISSTA), 2024.</p>
</li>
<li>
<h4 class=><strong>Modularizing while Training: A New Paradigm for Modularizing DNN Models</strong>
<a href="http://gaoxiang9430.github.io/papers/icse24a.pdf"> <img src="images/pdf.png" width="25" height="25"></a>
</h4>
Binhang Qi, Hailong Sun, Hongyu Zhang, Ruobing Zhao, Xiang Gao.
<p class="">International Conference on Software Engineering (ICSE), 2024.</p>
</li>
<p><span style="color:red">ACM SIGSOFT Distinguished Paper Award</span></p> <li>
<h4 class=><strong>Investigating and Detecting Silent Bugs in PyTorch Programs</strong>
<a href="http://gaoxiang9430.github.io/papers/saner24a.pdf"> <img src="images/pdf.png" width="25" height="25"></a>
</h4>
Shuo Hong, Hailong Sun, Xiang Gao#, Shin Hwei Tan.
<p class="">International Conference on Software Analysis, Evolution and Reengineering (SANER), 2024.</p>
</li>
<p><span style="color:red">IEEE TCSE Distinguished Paper Award</span></p> <li>
<h4 class=><strong>Automated Repair of Programs from Large Language Models</strong>
<a href="http://gaoxiang9430.github.io/papers/icse23a.pdf"> <img src="images/pdf.png" width="25" height="25"></a>
<a href="https://github.com/zhiyufan/apr4codex"> <img src="images/github.png" width="25" height="25"></a>
</h4>
Zhiyu Fan, Xiang Gao#, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan.
<p class="">International Conference on Software Engineering (ICSE) 2023, 2023.</p>
</li>
<li>
<h4 class=><strong>Reusing Deep Neural Network Models through Model Re-engineering</strong>
<a href="http://gaoxiang9430.github.io/papers/icse23b.pdf"> <img src="images/pdf.png" width="25" height="25"></a>
<a href="https://github.com/qibinhang/SeaM"> <img src="images/github.png" width="25" height="25"></a>
</h4>
Binhang Qi, Hailong Sun, Xiang Gao, Hongyu Zhang, Zhaotian Li, Xudong Liu.
<p class="">The 45th International Conference on Software Engineering (ICSE), 2023.</p>
</li>
<li>
<h4 class=><strong>Template-based Neural Program Repair</strong>
</h4>
Xiangxin Meng, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu.
<p class="">The 45th International Conference on Software Engineering (ICSE), 2023.</p>
</li>
<li>
<h4 class=><strong>A Collaboration-Aware Approach to Profiling Developer Expertise with Cross-Community Data</strong>
</h4>
Xiaotao Song, Jiafei Yan, Yuexin Huang, Hailong Sun, Hongyu Zhang.
<p class="">The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS), 2022.</p>
</li>
<li>
<h4 class=><strong>Improving Fault Localization and Program Repair with Deep Semantic Features and Transferred Knowledge</strong>
</h4>
Xiangxin Meng, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu.
<p class="">The 44th International Conference on Software Engineering (ICSE), 2022.</p>
</li>
<li>
<h4 class=><strong>Retrieval-based Neural Source Code Summarization</strong>
</h4>
Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu.
<p class="">The 42nd International Conference on Software Engineering (ICSE), 2020.</p>
</li>
</ul>
</div>
<br><br>
</div>
<!--div class="jumbotron jumbotron-fluid" id="pubs">
<div class="container">
<h2>
<center>Research Team</center>
</h2>
<hr>
<h3><strong>Faculty</strong></h3>
<div class="row">
<div class="col-md-6 col-xs-12 col-sm-12 col-lg-6">
<img class="team-img pull-left" src="images/xudong.jpeg" width="260">
<br>
<h3 class="my-2"><a>Xudong Liu (刘旭东)</a></h3>
<h4 class="">Professor</h4>
<h4 class="">School of Computer Science and Engineering, Beihang</h4>
</div>
<div class="col-md-6 col-xs-12 col-sm-12 col-lg-6">
<img class="team-img pull-left" src="images/hailong.jpg" width="260">
<br>
<h3 class="my-2"><a href="https://hsun2022.github.io/">Hailong Sun (孙海龙)</a></h3>
<h4 class="">Professor</h4>
<h4 class="">School of Software, Beihang</h4>
<h4 class=""><img src="./images/email.png" width="25" height="25"> sunhl [at] buaa.edu.cn</h4>
</div>
<div class="col-md-6 col-xs-12 col-sm-12 col-lg-6">
<img class="team-img pull-left" src="images/gaoxiang.jpg">
<br>
<h3 class="my-2"><a href="https://gaoxiang9430.github.io">Xiang Gao (高祥)</a></h3>
<h4 class="">Associate Professor</h4>
<h4 class="">School of Software, Beihang</h4>
<h4 class=""><img src="./images/email.png" width="25" height="25"> xiang_gao [at] buaa.edu.cn</h4>
</div>
</div>
<br>
<h3><strong>Students</strong></h3-->
<!--STUDENT-LIST-->
<!--/div-->
</div>
<div class="container" id="teaching">
<h2>
<center>Teaching</center>
</h2>
<hr>
<h4>Introduction to Open Source Software Development [Fall 2022,2023]</h4>
<h4>Object-Oriented Programming [Fall 2022]</h4>
<h4>Intelligent Software Engineering [Spring 2024]</h4>
</div>
<br><br>
<div class="jumbotron jumbotron-fluid" id="contact">
<div class="container">
<h2>
<center>Hiring</center>
</h2>
<hr>
We are looking for highly self-motivated intern/master/phd students to work with us. Please send email to
sunhl@buaa.edu.cn or xiang_gao@buaa.edu.cn if you are interested. We also have postdoc positions available.
</div>
</div>
<footer style="text-align: right;">Last update: Aug, 12, 2022 </footer>
</div>
</body>
</html>