 |
|
Ting Su is a Professor of Software Engineering Institute, East China Normal University, China (2020-). Previously, he was a postdoctoral scholar at ETH Zurich, Switzerland (2019-2020), in the group of Prof. Zhendong Su. He worked as a postdoctoral research fellow with Prof. Yang Liu in Cyber Security Lab (CSL), NTU, Singapore (2016-2019). He got his Ph.D in computer science from East China Normal University (ECNU), Shanghai, China (2011-2016), and was surpervised by Prof. Jifeng He and Prof. Geguang Pu. He also had one-year visit in University of California, Davis (UCD), USA (2014-2015), and was advised by Prof. Zhendong Su. He also worked as a software engineer intern in Synopsys, and a research scientist in Rolls-Royce@NTU Research Lab (2016-2017). He is a recipient of 国家海外青年人才计划 (2020).
[Teaching] [People] [Papers] [Tools & Data] [Projects & Honors] [Academic Services] [Talks] [Advices]
His research focuses on developing effective methodologies, techniques and tools to improve software quality, reliability and security.
- Stateful Systems/Software (mobile applications, network protocols, OS kernels, robotic systems)
- Compilers, Program Analyzers and Deep Learning Systems
- Symbolic Execution and Constraint Solving
- Formal Verification
His research work received generous support from Chinese/Swiss NSF, National Key Research and Development Program, Huawei, ByteDance, Ant Financial, Google, and won several ACM SIGSOFT Distinguished Paper Awards in top-tier venues (ICSE × 1, ASE × 4, ISSTA × 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×2: ChinaSoft'23, NASAC'17). His group's research has led to
- SmartRocket TestGrid (ICSE'15, ICSE'18, ICSE'25), a commercial automated unit testing tool based on symbolic execution, which is serving many companies in China for testing safety-critical industrial embedded software;
- Stoat (FSE'17, cited 510+), FastBot (ASE'22, starred 1200+), Kea/Kea2 (ASE'24, FSE'26, starred 270+), and UAT++ (ASE'26), a line of tools based on model-based (-guided) & property-based testing for fuzzing and validating mobile apps at Billion-user scale. Specifically, Stoat's idea has been adopted by Xiaomi(小米)'s MiMonkey and ByteDance(字节)'s Fastbot2; Kea2 (and its idea) has been adopted by WeChat(微信)'s iExplorer, WeChat Payment(微信支付)'s UAT, and Huawei(华为)'s DevEco Studio for HarmonyOS(鸿蒙系统), etc. [More Info].
- Validating critical software systems like lithography machine software (ASE'26), compilers/program analyzers (PLDI'16/'25, ICSE'19, FSE'24, ASE'25), OS kernels (ATC'25), protocols (CCS'24, SANER'25, SmartRocket TestSec), etc.
He is also actively developing a open-sourced course (ecnu-sa-lab) on software testing, analysis and verification for undergraduate/graduate students.
He is 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.
欢迎博士后、博士、硕士以、本科生加入我们的研究小组。如果你对工业软件（如工业协议、先进半导体制造等）；人工智能（如大模型等）与软件工程和系统软件（如操作系统、编译器等）交叉方向；软件分析、测试、验证、系统和软件安全感兴趣，欢迎随时邮件联系和交流（附上你的简历和你的项目经历）。我们也欢迎暑期实习生。欢迎随时邮件联系和交流（招生/招聘启事）