窦文生-中国科学院大学-UCAS
[中文]
[English]
招生信息
教育背景
工作经历
专利与奖励
发表论文
基本信息
窦文生，研究员，中国科学院软件研究所电子邮件： wensheng AT iscas DOT ac DOT cn通信地址： 北京市中关村南四街4号5号楼6层邮政编码： 100190个人主页: http://www.tcse.cn/~wsdou/
研究领域
我对软件工程、程序分析等有广泛的兴趣。主要利用程序分析、机器学习等技术构建软件可靠性分析工具，检测、诊断真实系统中存在的问题，从而提高软件系统的可靠性和安全性等。研究工作面向真实的系统，如分布式系统（Zookeeper、Spark等）、数据库系统（MySQL、TiDB等）、电子表格、机器学习系统等。
招生信息
招生专业
083500-软件工程081202-计算机软件与理论
招生方向
网络分布式计算理论与技术智能软件工程人工智能
教育背景
2010-09--2015-06 中国科学院软件研究所 博士2006-09--2009-06 中国科学院软件研究所 硕士2002-09--2006-06 武汉大学 本科
工作经历
工作简历
2022-10~现在, 中国科学院软件研究所, 研究员2017-10~2018-04,微软亚洲研究院, 铸星计划访问学者2016-08~2022-10,中国科学院软件研究所, 副研究员2015-07~2016-07,中国科学院软件研究所, 助理研究员2013-12~2014-08,美国俄亥俄州立大学, 访问学者2013-02~2013-07,香港科技大学, 访问学者2009-07~2015-06,中国科学院软件研究所, 助理研究员
专利与奖励
奖励信息
（1）&nbsp中国科学院青年创新促进会优秀会员,&nbsp,&nbsp院级,&nbsp2022（2）&nbspMicrosoft Research Asia Increasing Productivity Award,&nbsp其他,&nbsp2019（3）&nbsp中国科学院青年创新促进会会员,&nbsp,&nbsp院级,&nbsp2018（4）&nbspESEC/FSE 2018杰出论文奖,&nbsp其他,&nbsp2018（5）&nbsp中科院软件所杰出青年,&nbsp研究所（学校）,&nbsp2018（6）&nbsp微软亚洲研究院铸星计划学者,&nbsp,&nbsp其他,&nbsp2017（7）&nbsp中国计算机学会优秀博士学位论文奖,&nbsp,&nbsp专项,&nbsp2016（8）&nbsp中国科学院大学优秀毕业生,&nbsp研究所（学校）,&nbsp2015
发表论文
Differentially Testing Database Transactions for Fun and ProfitZiyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang, Jun Wei, Dan Ye37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022, CCF A)Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential TestingYingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022, CCF A) Understanding Device Integration Bugs in Smart Home SystemTao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, Tao Huang31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022, CCF A)DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems Dong Wang, Yu Gao, Wensheng Dou, Jun Wei52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022, CCF B)Detecting Crash Recovery Bugs in Cloud Systems via Common Data Analysis (共用数据导向的分布式系统失效恢复缺陷检测)Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun WeiJournal of Software (软件学报), 2022Common Data Guided Crash Injection for Cloud SystemsYu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei44th ACM/IEEE International Conference on Software Engineering (ICSE Demo 2022)Characterizing and Detecting Bugs in WeChat Mini-ProgramsTao Wang, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang, Jun Wei, Tao Huang44th ACM/IEEE International Conference on Software Engineering (ICSE 2022, CCF A).Knowledge-Based Environment Dependency Inference for Python ProgramsHongjie Ye, Wei Chen, Wensheng Dou, Guoquan Wu, Jun Wei44th ACM/IEEE International Conference on Software Engineering (ICSE 2022, CCF A).Race Detection for Event-Driven Node.js ApplicationsXiaocning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021, CCF A).Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with GraspanZhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry XuACM Transactions on Computer Systems (TOCS 2021, CCF A).Semantic Table Structure Identification in SpreadsheetsYakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, Dan Ye30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021, CCF A).The Performance of Selfish Mining in GHOSTQing Xia, Wensheng Dou, Fengjun Zhang, Geng Liang20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2021).The Impact Analysis of Multiple Miners and Propagation Delay on Selfish MiningQing Xia, Wensheng Dou, Tong Xi, Jing Zeng, Fengjun Zhang, Jun Wei, Geng Liang45th IEEE Computers, Software, and Applications Conference (COMPSAC 2021).DeepCon: Contribution Coverage Testing for Deep Learning SystemsZhiyang Zhou, Wensheng Dou, Jie Liu, Chenxin Zhang, Jun Wei, Dan Ye28th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2021, CCF B).Survey on Blockchain Consensus Protocol (区块链共识协议综述)Qing Xia, Wensheng Dou, Kaiwen Guo, Geng Liang, Chun Zuo, Fengjun ZhangJournal of Software (软件学报), 2021.CoFI: Consistency-Guided Fault Injection for Cloud SystemsHaicheng Chen, Wensheng Dou, Dong Wang, Feng Qin35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, CCF A).Learning to Detect Table Clones in SpreadsheetsYakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, Bo Yang29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020, CCF A).Detecting Cache-Related Bugs in Spark ApplicationsHui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020, CCF A)DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering AlgorithmsLijie Xu, Xingtong Ye, Kai Kang, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020, CCF B).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).Recent Progress in Program Analysis (程序分析研究进展)Jian Zhang, Chao Zhang, Jifeng Xuan, Yingfei Xiong, Qianxiang Wang, Bin Liang, Lian Li, Wensheng Dou, Zhenbang Chen, Liqian Chen, Yan CaiJournal of Software (软件学报), 2019.An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed SystemsYu 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). ACM SIGSOFT Distinguished Paper AwardHow Are Spreadsheet Templates Used in Practice: A Case Study on EnronLiang Xu, Wensheng Dou, Jiaxin Zhu, Chushu Gao, Jun Wei, Tao Huang 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018 NIER).Expandable Group Identification in SpreadsheetsWensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018, CCF A).Context-Based Event Trace Reduction in Client-Side JavaScript Applications Jie Wang, Wensheng Dou, Chushu Gao, Yu Gao, Jun Wei 11th IEEE Conference on Software Testing, Validation and Verification (ICST 2018).Detecting Faulty Empty Cells in SpreadsheetsLiang Xu, Shuo Wang, Wensheng Dou, Bo Yang, Chushu Gao, Jun Wei, Tao Huang 25th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2018, CCF B).Rewriting High-Level Spreadsheet Structures into Higher-Order Functional ProgramsFlorian Biermann, Wensheng Dou, Peter Sestoft 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018).JSTrace: Fast Reproducing Web Application ErrorsJie Wang, Wensheng Dou, Chushu Gao, Jun Wei Journal of Systems and Software (JSS 2018, CCF B).Characterizing and Diagnosing Out of Memory Errors in MapReduce ApplicationsLijie Xu, Wensheng Dou, Feng Zhu, Chushu Gao, Jie Liu, Jun Wei Journal of Systems and Software (JSS 2018, CCF B).A Comprehensive Study on Real World Concurrency Bugs in Node.jsJie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, Jun Wei 32nd International Conference on Automated Software Engineering (ASE 2017, CCF A).Mining API Type Specifications for JavaScriptShuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang 24th Asia-Pacific Software Engineering Conference (APSEC 2017).SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based ClusteringLiang Xu, Wensheng Dou, Chushu Gao, Jie Wang, Jun Wei, Hua Zhong, Tao Huang 14th International Conference on Mining Software Repositories (MSR 2017).CACheck: Detecting and Repairing Cell Arrays in SpreadsheetsWensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei IEEE Transactions on Software Engineering (TSE 2017, CCF A).Detecting Table Clones and Smells in SpreadsheetsWensheng 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 AnalysisWensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang 38th International Conference on Software Engineering (ICSE SEIP 2016).Fast Reproducing Web Application ErrorsJie Wang, Wensheng Dou, Chushu Gao, Jun Wei 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015, CCF B).Experience Report: A Characteristic Study on Out of Memory Errors in Distributed Data-Parallel ApplicationsLijie Xu, Wensheng Dou, Feng Zhu, Chushu Gao, Jie Liu, Hua Zhong, Jun Wei 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015, CCF B).Discovering User-Defined Event Handlers in Presence of JavaScript LibrariesShuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang 22nd Asia Pacific Software Engineering Conference (APSEC 2015).Towards Web Application Mobilization via Efficient Web Control ExtractionShuai Wang, Wensheng Dou, Guoquan Wu, Jie Wang, Chushu Gao, Jun Wei, Tao Huang 7th Asia-Pacific Symposium on Internetware (Internetware 2015).Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous ComputationWensheng Dou, Shing-Chi Cheung, Jun Wei 36th International Conference on Software Engineering (ICSE 2014, CCF A).
2013 中国科学院大学，网络信息中心.