-
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
146 lines (124 loc) · 14.7 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
<!DOCTYPE html>
<html>
<head>
<title>Ting Su - Homepage</title>
<style>a{TEXT-DECORATION:none}</style>
<!-- Place this tag in your head or just before your close body tag. -->
<script async defer src="https://buttons.github.io/buttons.js"></script>
</head>
<body>
<!-- <nav>-->
<!-- <ul>-->
<!-- <li><a href="/">Home</a></li>-->
<!-- <li><a href="/about">About</a></li>-->
<!-- <li><a href="/cv">CV</a></li>-->
<!-- <li><a href="/blog">Blog</a></li>-->
<!-- </ul>-->
<!-- </nav>-->
<div class="container">
<div class="blurb">
<table cellspacing="3" cellpadding="10" width="100%">
<tr>
<td class="centered">
<img src="https://tingsu.github.io/files/pic2_small.jpg" width="170" height="180"></td>
<td>
<table style="width: 100%" cellpadding="2">
<tr>
<td><h2>TING SU</h2></td>
</tr>
<tr>
<td>Professor, Ph.D. (<a href="https://faculty.ecnu.edu.cn/_s43/st2/main.psp">中文主页</a>)</td>
</tr>
<tr>
<td><a href="http://www.sei.ecnu.edu.cn/">Software Engineering Institute</a></td>
</tr>
<tr>
<td><a href="http://english.ecnu.edu.cn/">East China Normal University (ECNU)</a>, China</td>
</tr>
<tr>
<td><b>E-mail: </b>[email protected] (work) / [email protected] (permanent)</td>
</tr>
<tr>
<td>Address: Room B1103, Science Building</td>
</tr>
</table>
</td>
</tr>
</table>
<p>Ting Su is a Professor of Software Engineering Institute, East China Normal University, China (2020-). Previously, he was a postdoctoral scholar at <a href="https://ethz.ch/en.html">ETH Zurich</a>, Switzerland (2019-2020), in the group of Prof. <a href="https://people.inf.ethz.ch/suz/">Zhendong Su</a>. He worked as a postdoctoral research fellow with Prof. <a href="http://www.ntu.edu.sg/home/yangliu/index.html">Yang Liu</a> in Cyber Security Lab (CSL), <a href="http://www.ntu.edu.sg/Pages/home.aspx">NTU</a>, Singapore (2016-2019).
He got his Ph.D in computer science from East China Normal University (<a href="http://english.ecnu.edu.cn/">ECNU</a>), Shanghai, China (2011-2016), and was surpervised by Prof. <a href="https://en.wikipedia.org/wiki/He_Jifeng">Jifeng He</a> and Prof. <a href="http://faculty.ecnu.edu.cn/s/1018/t/11459/main.jspy">Geguang Pu</a>.
He also had one-year visit in University of California, Davis (<a href="https://www.ucdavis.edu/">UCD</a>), USA (2014-2015), and was advised by Prof. Zhendong Su.
He also worked as a software engineer intern in <a href="https://www.synopsys.com/">Synopsys</a>, and a research scientist in <a href="http://blogs.ntu.edu.sg/rr-ntucorplab/">Rolls-Royce@NTU Research Lab</a> (2016-2017). He is a recipient of 国家海外青年人才计划.
<p>His research focuses on developing effective methodologies, techniques and tools to improve software quality, reliability and security. </br>
<ul>
<li> Stateful Systems/Software (<a href="https://mobile-app-analysis.github.io/">mobile applications</a>, network protocols)
<li> Compilers, Program Analyzers and Deep Learning Systems<!--: FSE'19 (<font size="2">MCFuzz</font>), ICSE'19 (<font size="2">classming</font>), PLDI'16 (<font size="2">classfuzz</font>)--></li>
<!--: ASE'18 (<font size="2">DeepGauge</font>)-->
<li> Symbolic Execution and Constraint Solving <!--: ICSE'18 (<font size="2">SmartUnit</font>) CSUR'17, SCIS'16, ICSE'15 (<font size="2">CAUT</font>), SERE'14 (<font size="2">CAUT</font>)-->
</li>
<li> Formal Verification<!--: APSEC'14, TASE'13, IJCM'13--></li>
</ul>
<p><h3>[<a href="https://tingsu.github.io/files/courses.html">Teaching</a>] [<a href="https://tingsu.github.io/files/people.html">People</a>] [<a href="https://tingsu.github.io/files/publication.html">Papers</a>] [<a href="https://tingsu.github.io/files/tools.html">Tools & Data</a>] [<a href="https://tingsu.github.io/files/awards.html">Projects & Honors</a>] [<a href="https://tingsu.github.io/files/services.html">Academic Services</a>] [<a href="https://tingsu.github.io/files/talks.html">Talks</a>] [<a href="https://tingsu.github.io/files/mis.html">Advices</a>] </h3>
<p>His research work received generous support from Chinese/Swiss NSF, NSF, Huawei, ByteDance, Ant Financial, Google, and won several ACM SIGSOFT Distinguished Paper Awards (ICSE<span>×</span>1, ASE<span>×</span>3, ISSTA<span>×</span>1), Google Faculty Research Award, ACM Student Research Competition Awards (First Place in ICSE'16; Second Place in ICSE'21), and Research Prototype Tool Competition Awards (First Places<span>×</span>2: ChinaSoft'23, NASAC'17).
His research on symbolic execution has led to <a href="https://www.ticpsh.com/tech/gnaqgj/cspg/dycsgj"><font size="4"><b>SmartRocket Unit</b></font></a>,
a commercial automated unit testing tool, which is serving many companies in China for testing industrial embedded software;
his continuous research on mobile app analysis and fuzzing has led to several tools and dataset
(e.g., <a href="https://github.com/tingsu/Stoat"><font size="4"><b>Stoat</b></font></a>
(cited 396),
<a href="https://github.com/the-themis-benchmarks/home"><font size="4"><b>Themis</b></font></a>
<!-- Place this tag where you want the button to render. -->
<!-- <a class="github-button" href="https://github.com/the-themis-benchmarks/home" data-color-scheme="no-preference: light; light: light; dark: dark;" data-show-count="true" aria-label="Star the-themis-benchmarks/home on GitHub">Star</a>-->,
and <a href="https://github.com/ecnusse/Kea"><font size="4"><b>Kea</b></font></a>
<!-- Place this tag where you want the button to render. -->
<!--<a class="github-button" href="https://github.com/ecnusse/Kea" data-color-scheme="no-preference: light; light: light; dark: dark;" data-show-count="true" aria-label="Star ecnusse/Kea on GitHub">Star</a>-->) and some relevant techniques have been
integrated into <a href="https://github.com/bytedance/Fastbot_Android"><font size="4"><b>FastBot</b></font></a> <!-- Place this tag where you want the button to render. -->
<!--<a class="github-button" href="https://github.com/bytedance/Fastbot_Android" data-color-scheme="no-preference: light; light: light; dark: dark;" data-show-count="true" aria-label="Star bytedance/Fastbot_Android on GitHub">Star</a>, a GUI fuzzing tool developed by ByteDance (<a href="https://mobile-app-analysis.github.io/"><b>see more info</b></a>-->).
He is also actively developing a course (<a href="https://github.com/ecnu-sa-labs/ecnu-sa-labs/"><font size="4"><b>ecnu-sa-lab</b></font></a><!-- Place this tag where you want the button to render. -->
<!--<a class="github-button" href="https://github.com/ecnu-sa-labs/ecnu-sa-labs" data-color-scheme="no-preference: light; light: light; dark: dark;" data-show-count="true" aria-label="Star ecnu-sa-labs/ecnu-sa-labs on GitHub">Star</a>-->) on software analysis, testing and verification for undergraduate/graduate students.
<span class='show_paper_citations' data='GHPWI7oAAAAJ:D03iK_w7-QYC'></span>
<p><i>I am always looking for well-motivated Postdoc, PhD, Master and Undergraduate students to join our research group. If interested, please feel free to drop me an email attached with your CV.<br>
欢迎博士后、博士、硕士以、本科生加入我们的研究小组。如果你对软件分析与验证、软件测试、软件安全、复杂软件与系统、可信人工智能方向感兴趣，欢迎随时邮件联系和交流（<a href="https://tingsu.github.io/files/application.html"><b>招生/招聘启事</b></a>）</i>
<!-- <p><h2>News</h2>
<font size="2.8">
<ul>
<li>June 2022: I was invited to serve as PC member for <a href="https://conf.researchr.org/home/fse-2023">ESEC/FSE 2023</a> (Research Track).</li>
<li>June 2022: One paper "Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis" was accepted to ESEC/FSE 2022!</li>
<li>April 2022: One paper "Detecting and Fixing Data Loss Issues in Android Apps" was accepted to ISSTA 2022!</li>
<li>Jan 2022: I will serve as PC Co-chair for <a href="https://prdc.dependability.org/PRDC2022">PRDC 2022</a> (27th IEEE Pacific Rim International Symposium on Dependable Computing).</li>
<li>Oct 2021: Our team received a research funding from CCF-Ant Financial on validating the correctness of program analyzers. </li>
<li>Oct 2021: Our team received the <a href="https://www.ccf.org.cn/Focus/2021-10-14/745210.shtml">CCF Science and Technology Award </a>(面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用)! <a href="https://mp.weixin.qq.com/s/DBVQzqIcd-m7DMDsGri7qA">more info</a></li>
<li>Sep 2021: Our work on fully automated functional fuzzing of Android apps was accepted by <a href="https://2021.splashcon.org/track/splash-2021-oopsla">SPLASH/OOPSLA 2021</a>!</li>
<li>July 2021: Thanks for the generous funding support from <a href="https://bytedance.com/zh/">ByteDance</a> to support our research on automated functional fuzzing of mobile apps!</li>
<li>May 2021: Congrats to Jingling Sun for winning the <b>second</b> place of student research competition@ICSE 2021.</li>
<li>May 2021: Please considering submitting your work to <a href="https://a-mobile.github.io/">A-Mobile 2021</a> (4th International Workshop on Advances in Mobile App Analysis), co-located with <a href="https://conf.researchr.org/home/ase-2021">ASE 2021</a>.</li>
<li>May 2021: Our paper "Benchmarking Automated GUI Testing for Android against Real-world Bugs" was accepted by <a href="https://2021.esec-fse.org/">ESEC/FSE 2021</a>.</li>
<li>April 2021: Congrats to Jingling Sun, Junxin Li and all co-authors! "Understanding and Finding System Setting-Related Defects in Android Apps" was accepted by <a href="https://conf.researchr.org/home/issta-2021">ISSTA 2021</a>.</li>
<li>Feb. 2021: Congrats to Jingling Sun! Her student research competition paper "SetDroid: Detecting User-configurable Setting Issues of Android Apps via Metamorphic Fuzzing" was accepted by <a href="https://conf.researchr.org/home/icse-2021">ICSE 2021</a>.</li>
<li>Dec. 2020: I was invited to serve on the PC of <a href="https://conf.researchr.org/home/icse-2022">ICSE 2022</a>.</li>
<details>
<summary>See More ...</summary>
<li>Nov. 2020: I was invited to give a talk at <a href="http://chinasoft2020.cqu.edu.cn/">Chinasoft 2020</a> (NASAC-FMAC) on our recent work on fuzzing mobile apps. </li>
<li>Oct. 2020: I was invited to give a talk of our work on automated functional testing of mobile applications in <a href="https://conf.ccf.org.cn/web/html15/ZhiboDetail.html?globalId=m7428890012744458241597160140114&channelId=5b2ae205dbd54ea496710ce555a57c71&CmsId=675e6de9c892485f94f61b13de9e49f0">CNCC 2020</a>, checkout my <a href="https://dl.ccf.org.cn/audioVideoZx/detail.html?id=5149819290650624">talk video</a> (in Chinese) !</li>
<li>Sep. 2020: I received one research grant (sole PI, General Program) from National Natural Science Foundation of China (2021-2024).</li>
<li>I joined the Program Committee of ICST'21, OOPSLA'20 (<a href="https://2020.splashcon.org/track/splash-2020-Artifacts">AEC</a>), ICSE'20 (<a href="https://conf.researchr.org/track/icse-2020/icse-2020-Software-Engineering-in-Practice#Call-for-Papers">SEIP</a>), <a href="https://formal-analysis.com/iceccs/2020/">ICECCS'20</a>, <a href="https://icst2020.info/">ICST'20</a> and <a href="https://internetware2020.github.io/">Internetware'20</a>, welcome your submissions.</li>
<li>We honorably received a <a href="https://ai.googleblog.com/2020/02/announcing-2019-google-faculty-research.html">Google Faculty Research Award</a> (2019-2020) to support our work on fuzzing mobile apps (me as the Co-PI, with PI: Prof. Zhendong Su)!</li>
<li>I received a highly competitive research grant (sole PI) from Swiss NSF's <a href="http://www.snf.ch/en/funding/programmes/spark/Pages/default.aspx">Spark project</a> (2019-2020) on automated fuzzing techniques for mobile applications!</li>
<li>Gave an invited talk of our ACM SIGSOFT Distinguished Paper "<i><a href="https://tingsu.github.io/files/icse18-crash.pdf">Large-Scale Analysis of Framework-Specific Exceptions in Android Apps</a></i>" at <a href="https://isoft.acm.org/isec2019/">ISEC 2019</a>, the flagship software engineering conference in India, held in Pune, India. </li>
<li>Gave an invited talk "<i>Pushing the limits of automated testing for mobile applications</i>" at <a href="https://a-mobile.github.io/">A-MOBILE 2018</a>, an <a href="">ASE</a> workshop, held in Montpellier, France.</li>
<li>We have released the <a href="https://crashanalysis.github.io/">dataset</a> of Android app crashes/exceptions from our large-scale fault study (<a href="https://tingsu.github.io/files/icse18-app-fault-study.pdf">Our findings</a>, <a href="https://tingsu.github.io/files/dataset_users.html">Who used our dataset?</a>). </li>
<li>We have released <a href="https://tingsu.github.io/files/stoat.html">Stoat</a> (including all source code), a fully-automatic, guided model-based GUI testing tool for Android apps. Get the <a href="https://tingsu.github.io/files/Stoat-demo.pdf">quick idea</a> and <a href="https://youtu.be/41jzFM7WhP4">video</a></li>
<li>We have released <a href="https://www.ticpsh.com/tech/gnaqgj/cspg/dycsgj">SmartUnit</a>, a commercial automated unit testing tool for embedded systems. Contact us to <a href="https://tingsu.github.io/files/icse18-SmartUnit.pdf">know more</a>.</li>
</details>
</ul>
</font>
-->
</div><!-- /.blurb -->
</div><!-- /.container -->
</br>
<script type="text/javascript" id="clustrmaps" src="//cdn.clustrmaps.com/map_v2.js?u=nkOr&d=lxPv2F5f-Wn4Eox_SQeofY9RJplGMwuTEeBIEA8LVVY"></script>
</div><!-- /.blurb -->
</div><!-- /.container -->
<!-- Place this tag in your head or just before your close body tag. -->
<script async defer src="https://buttons.github.io/buttons.js"></script>
</body>
</html>