我们利用程序分析、软件测试、机器学习等技术提高复杂软件系统的质量，包括分布式系统(如Spark、Raft)、数据库系统(如MySQL、TiDB)、云平台(如Docker)等，并在顶级会议与期刊(ICSE、FSE、ASE、ISSTA、VLDB、TSE等CCF A类)发表高水平论文20余篇，获得中国计算机学会优秀博士学位论文奖、顶级会议FSE 2018杰出论文奖等。我们与微软亚洲研究院、阿里巴巴、华为、腾讯等高科技企业开展紧密合作研究，取得面向实际系统的多项研究成果。
我们招收对软件工程、程序分析、系统研究(机器学习系统、大数据系统、分布式/并行系统)感兴趣的博士生/硕士生/实习生/访问学生(常年有效)，要求学生对研究具有较强兴趣、和较强的动手能力！
-
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei
31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022, CCF A).
-
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, Tao Huang
31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022, CCF A).
-
Characterizing and Detecting Bugs in WeChat Mini-Programs
Tao Wang, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang, Jun Wei, Tao Huang
44th ACM/IEEE International Conference on Software Engineering (ICSE 2022, CCF A).
-
Knowledge-Based Environment Dependency Inference for Python Programs
Hongjie Ye, Wei Chen, Wensheng Dou, Guoquan Wu, Jun Wei
44th ACM/IEEE International Conference on Software Engineering (ICSE 2022, CCF A).
-
Race Detection for Event-Driven Node.js Applications
Xiaocning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang
36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021, CCF A).
-
Semantic Table Structure Identification in Spreadsheets
Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, Dan Ye
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021, CCF A).
-
Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
ACM Transactions on Computer Systems (TOCS 2021, CCF A).
-
CoFI: Consistency-Guided Fault Injection for Cloud Systems
Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin
35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, CCF A).
-
Learning to Detect Table Clones in Spreadsheets
Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, Bo Yang
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020, CCF A).
-
Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020, CCF A).
-
Understanding Exception-Related Bugs in Large-Scale Cloud Systems
Haicheng Chen, Wensheng Dou, Yanyan Jiang, Feng Qin
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019, CCF A).
-
An Experimental Evaluation of Garbage Collectors on Big Data Applications
Lijie Xu, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei
45th International Conference on Very Large Data Bases (VLDB 2019, CCF A).
-
Detecting Atomicity Violations for Event-Driven Node.js Applications
Xiaoning Chang, Wensheng Dou, Yu Gao, Jie Wang, Jun Wei, Tao Huang
41st ACM/IEEE International Conference on Software Engineering (ICSE 2019, CCF A).
-
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018, CCF A).
-
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Feifei Tu, Jiaxin Zhu, Qimu Zheng, Minghui Zhou
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018, CCF A).
-
Expandable Group Identification in Spreadsheets
Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei
33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018, CCF A).
-
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, Jun Wei
32nd International Conference on Automated Software Engineering (ASE 2017, CCF A).
-
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets
Wensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei
IEEE Transactions on Software Engineering (TSE 2017, CCF A).
-
Effectiveness of Code Contribution: From Patch-Based to Pull-Request-Based Tools
Jiaxin Zhu, Minghui Zhou, Audris Mockus
24th International Symposium on the Foundations of Software Engineering (FSE 2016, CCF A).
-
Detecting Table Clones and Smells in Spreadsheets
Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei
24th International Symposium on the Foundations of Software Engineering (FSE 2016, CCF A).
-
VEnron: A Versioned Spreadsheet Corpus and Related Evolution Analysis
Wensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang
38th International Conference on Software Engineering (ICSE SEIP 2016).
-
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
Wensheng Dou, Shing-Chi Cheung, Jun Wei
36th International Conference on Software Engineering (ICSE 2014, CCF A).
