-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
108 lines (100 loc) · 9.1 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
<!DOCTYPE html>
<html lang="en">
<head>
<title>Xiang Gao</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">
</head>
<body>
<nav class="navbar navbar-default navbar-fixed-top">
<div class="container-fluid">
<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="#">Xiang Gao</a>
</div>
<div class="collapse navbar-collapse offcanvas-collapse" id="myNavbar">
<ul class="nav navbar-nav navbar-right">
<li class="active"><a href="#">Home</a></li>
<li class=""><a href="./pubs.html" title="publication">Publication</a></li>
<li class=""><a href="./project.html" title="award">Project</a></li>
<li class=""><a href="./experience.html" title="Experience">Experience</a></li>
<li class=""><a href="./service.html" title="service">Service</a></li>
<li class=""><a href="./teaching.html" title="award">Teaching</a></li>
<li class=""><a href="./CV.pdf" title="cv" target="_blank">CV</a></li>
</ul>
</div>
</div>
</nav>
<div class="page">
<div class="jumbotron jumbotron-fluid">
<div class="container">
<div class="row">
<div class="col-md-4 col-xs-3 col-sm-3 col-lg-3">
<img class="img-thumbnail" src="images/gaoxiang.jpg">
</div>
<div class="col-md-4 col-xs-12 col-sm-6 col-lg-6">
<h2 class="my-2">Xiang Gao (高祥)</h2>
<h3 class="">Associate Professor</h3>
<h4 class="">Computer Science</h4>
<h4 class="">Beihang University, China</h4>
<h5 class=""><img src="./images/email.png" width="25" height="25"> xiang_gao [at] buaa.edu.cn</h5>
<h5 class="">Personal email: gaoxiang9430 [at] gmail.com</h5>
</div>
<div class="col-md-4 col-xs-3 col-sm-3 col-lg-3">
<img class="img-thumbnail" src="images/new_head.jpeg">
</div>
</div>
</div>
</div>
<div>
<p>I am a Pre-tenure Associate Professor at <a href="https://ev.buaa.edu.cn">Beihang University</a>. Before joining Beihang, I was a postdoc at <a href="http://www.nus.edu.sg/">National University of Singapore</a> under the supervision of <a href="https://www.comp.nus.edu.sg/~abhik/">Abhik Roychoudhury</a>. I have been a PhD student in the same group. I got my bachelor degree of Computer Science (Elite Class) from <a href="http://www.sdu.edu.sg/">ShanDong University</a> in 2016.</p>
<p>My research is focused on using program analysis, test generation and formal method to aid users in fixing software bugs and writing programs. I design techniques to improve the quality of automatically generated programs. </p>
<p>Some of my projects have been in collaboration with groups at <a href="https://www.fujitsu.com/us/about/businesspolicy/tech/rd">Fujitsu Laboratories of America</a> with <a href="https://www.fujitsu.com/us/about/businesspolicy/tech/rd/research-staff/mukul.html">Mukul Prasad</a>, <a href="https://www.microsoft.com/en-us/research">Microsoft Research</a> with <a href="https://nachinagappan.github.io">Nachiappan Nagappan</a> and <a href="https://www.microsoft.com/en-us/research/people/sumitg/">Sumit Gulwani</a>. </p>
<p>My research interests include:</p>
<ul>
<li>Program Analysis;</li>
<li>Software Security;</li>
<li><a href="http://program-repair.org/">Automated Program Repair</a>;</li>
<li>Program Synthesis</li>
</ul>
</div>
<p style="color: red;">I am looking for self-motivated undergraduate, master and Ph.D students with strong programming skills. If you are interested in my projects, feel free to contact me.
<!--<a href="https://outlook.live.com/owa/calendar/f6d68987-0ac1-4290-b0c9-6e27cbb9aaab/bfcca5f8-23c4-4c0f-9242-060b47ef930f/cid-82352828FED50787/index.html">Calendar</a>--></p>
<hr>
<div>
<h4>Recent Update</h4>
<ul>
<li><strong>Mar, 2024</strong> Our SANER'24 paper <a href="./papers/saner24a.pdf">Investigating and Detecting Silent Bugs in PyTorch Programs</a> won IEEE TCSE Distinguished Paper Award.</li>
<li><strong>Feb, 2024</strong> Our ICSE'24 paper <a href="./papers/icse24a.pdf">Modularizing while Training: A New Paradigm for Modularizing DNN Models</a> won ACM SIGSOFT Distinguished Paper Award.</li>
<li><strong>Jan, 2024</strong> Our paper <a href="">ProveNFix: Temporal Property guided Program Repair</a> has been accepted by the <a href="https://conf.researchr.org/home/fse-2024">FSE'24</a> research papers track.</li>
<li><strong>Dec, 2023</strong> Our paper <a href="">Investigating White-Box Attacks for On-Device Models</a> has been accepted by the <a href="https://conf.researchr.org/home/icse-2024">ICSE'24</a> research papers track.</li>
<li><strong>Nov, 2023</strong> Our paper <a href="./papers/Tosem23.pdf">Reusing Convolutional Neural Network Models through Modularization and Composition</a> has been accepted by <a href="https://dl.acm.org/journal/tosem">TOSEM</a> as research paper.</li>
<li><strong>Aug, 2023</strong> Our paper <a href="./papers/ASE23_UITESTFIX.pdf">Automated Fixing of Web UI Tests via Iterative Element Matching</a> has been accepted by the <a href="https://conf.researchr.org/home/ase-2023">ASE'23</a> research papers track.</li>
<li><strong>Jun, 2023</strong> Our paper <a href="./papers/icse24a.pdf">Modularizing while Training: A New Paradigm for Modularizing DNN Models</a> has been accepted by the <a href="https://conf.researchr.org/home/icse-2024">ICSE'24</a> research papers track.</li>
<li><strong>May, 2023</strong> Our paper <a href="./papers/issta2023.pdf">ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems</a> has been accepted by the <a href="https://conf.researchr.org/home/issta-2023">ISSTA'23</a> technical papers track.</li>
<li><strong>Dec, 2022</strong> Two papers have been accepted by the <a href="https://conf.researchr.org/home/icse-2023">ICSE'23</a> research papers track.</li>
<li><strong>Sep, 2022</strong> Invited to serve on the program committee of ICSE 2024 research papers track.</li>
<li><strong>Aug, 2022</strong> Our paper <a href="./papers/CNNSplitter.pdf">Patching Weak Convolutional Neural Network Models through Modularization and Composition</a> has been accepted by the <a href="https://conf.researchr.org/home/ase-2022">ASE'22</a> research papers track.</li>
<li><strong>Apr, 2022</strong> Our paper <a href="./papers/VulnFix.pdf">Program Vulnerability Repair via Inductive Inference</a> has been accepted by the <a href="https://conf.researchr.org/home/issta-2022">ISSTA'22</a> technical papers track.</li>
<li><strong>Dec, 2021</strong> I joined <a href="https://ev.buaa.edu.cn">Beihang University</a> as Pre-tenure Associate Professor.</li>
<li><strong>Dec, 2021</strong> Our paper <a href="https://arxiv.org/pdf/2108.13064.pdf">Trust Enhancement Issues in Program Repair</a> has been accepted by the <a href="https://conf.researchr.org/home/icse-2022">ICSE'22</a> technical papers track.</li>
<li><strong>Sep, 2021</strong> I have successfully defended my phd thesis <a href="./papers/Thesis.pdf">Overfitting in Program Repair and Program Synthesis</a></li>
<li><strong>Jul, 2021</strong> Our paper "Scalable Fuzzing of Program Binaries with E9AFL" has been accepted by <a href="https://conf.researchr.org/track/ase-2021/ase-2021-tool-demonstrations">ASE'21</a> demonstration track.</li>
<li><strong>Jul, 2021</strong> Our artifact for paper <a href="./papers/FixMorph.pdf">Automated Patch Backporting in Linux (Experience Paper)</a> won the <a href="https://conf.researchr.org/track/issta-2021/issta-2021-technical-papers#event-overview">Distinguished Artifact Award</a>.</li>
<li><strong>Jul, 2021</strong> Our paper "APIfix: Output-Oriented Program Synthesis for Combating
Breaking Changes in Libraries" has been conditionally accepted by the <a href="https://2021.splashcon.org/track/splash-2021-oopsla">OOPSLA'21</a> technical papers track.</li>
<li><strong>Apr, 2021</strong> Our paper <a href="./papers/FixMorph.pdf">Automated Patch Backporting in Linux (Experience Paper)</a> has been accepted by the <a href="https://conf.researchr.org/track/issta-2021/issta-2021-technical-papers">ISSTA'21</a> technical papers track.</li>
</ul>
</div>
<br>
</div>
</body>
</html>