Projects & Honors

• Chinese NSF General Project ("Automated Property-based Functional Testing of Mobile Applications", PI, 2021-24)
• ByteDance Research Fund ("Validating Functional Correctness of Mobile Apps", PI, 2023-24)
• CCF-Ant Research Fund ("Validating the Correctness of Program Analyzers", PI, with co-PI: Chengyu Zhang, 2021-22)
• ByteDance Research Fund ("Automatically Finding System Setting-realted Defects in Mobile Apps", PI, 2021-22)
• National Youth Talent Award (2020)
• Swiss NSF Spark Porject ("Property-based Randomized Testing of Mobile Applications", sole PI, 2019-2020)
• Google Faculty Research Award (co-PI, with PI: Zhendong Su, 2019-2020)
• NTUitive Gap Fund ("Cloud-based Mobile App Testing Service", co-PI, NTU, with PI: Yang Liu, 2017-2018)


• 中国软件大会软件研究成果原型系统竞赛一等奖（“一种基于自动机路径分析的 GUI 测试工具诊断分析方法及其基准测试集”）,2023
• Worldwide's Top 2% Scientists ranked by Stanford University（世界前2%顶尖科学家）, 2022-23
• CCF-蚂蚁科研基金“优秀应用项目”, 2023
• ACM SIGSOFT Distinguished Paper Award (ACM, ISSTA 2023)
• CCF Science and Technology Award (面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用, 技术发明一等奖, 排名第4，2021)
• Second Place in ACM Student Research Competition (ICSE 2021, Jingling Sun, advisor), ACM, 2021
• ACM SIGSOFT Distinguished Paper Award (ACM, ASE 2019)
• ACM SIGSOFT Distinguished Paper Award (ACM, ASE 2018)
• ACM SIGSOFT Distinguished Paper Award (ACM, ICSE 2018)
• Nomination for Distinguished PhD Thesis, Selected by China Computer Federation (CCF), 2017
• Best Research Prototype Tool Award (First Place, NASAC 2017), CCF, 2017
• First Place in ACM Student Research Competition (ICSE 2016), ACM, 2016
• Outstanding PhD Thesis Cultivation Sholarship, ECNU, 2016
• ACM SIGSOFT Travel Award (ICSE 2015)
• National Scholarship for Doctorate, China, 2014
• Graduate Student Overseas Visiting Scholarship, ECNU, 2014