Published high-impact research in top venues including ICSE, FSE, ASE, EMNLP, and TSE
Pex (IntelliTest) integrated into Visual Studio Enterprise since 2015
VTest widely used by Alibaba for internal and ecosystem-wide mobile app testing
WCTester and NMT issue detection techniques deployed in WeChat (over 1 billion monthly active users)
TrainTicket microservice benchmark adopted by both academia and industry
Research Experience
Collaborated with Tencent to develop an approach for detecting issues in Neural Machine Translation (NMT) without oracle translations; deployed in WeChat’s development and production environments
Collaborated with Microsoft Research Asia on translating natural language to regular expressions for real-world robustness
Co-released TrainTicket, an open-source microservice benchmark system with Fudan University, featuring 70+ microservices and 22 real-world fault cases
Developed VTest (aka MonkeyBot) with Alibaba, adopted internally for daily testing of apps like Taobao and Alipay (over 1 billion users), and externally by the Software Green Alliance
Built WCTester with Tencent, an Android testing tool deployed in daily operations to improve WeChat quality
Co-developed Pex with Microsoft Research Redmond, shipped as IntelliTest in Visual Studio 2015/2017 Enterprise Edition since April 2015
Background
Foreign Member of Academia Europaea
Fellow of ACM, IEEE, AAAS, and CCF
Peking University Chair Professor
Chair of Department of Software Science and Engineering, School of Computer Science, Peking University
Deputy Director of the Key Lab of High Confidence Software Technologies (PKU), Ministry of Education, China
Research Focus: Software Engineering and Systems Software, including Software Testing, Software Analytics, Software Security, Intelligent Software Engineering, and Trustworthy AI