基本信息

窦文生  男  硕导  中国科学院软件研究所
电子邮件: wensheng AT iscas DOT ac DOT cn
通信地址: 北京市中关村南四街4号5号楼6层
邮政编码: 100190

个人主页http://www.tcse.cn/~wsdou/

部门/实验室:软件工程技术研究开发中心

研究领域

我对软件工程、程序分析等有广泛的兴趣。主要利用程序分析、机器学习等技术构建软件可靠性分析工具,检测、诊断真实系统中存在的问题,从而提高软件系统的可靠性和安全性等。研究工作面向真实的系统,如分布式系统(Zookeeper、Spark等)、机器学习系统、JavaScript(Node.js等)、电子表格等。

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
网络分布式计算理论与技术
智能软件工程
人工智能

教育背景

2010-09--2015-06   中国科学院软件研究所   博士
2006-09--2009-06   中国科学院软件研究所   硕士
2002-09--2006-06   武汉大学   本科

工作经历

   
工作简历
2017-10~2018-04,微软亚洲研究院, 铸星计划访问学者
2016-08~现在, 中国科学院软件研究所, 副研究员
2013-12~2014-08,美国俄亥俄州立大学, 访问学者
2013-02~2013-07,香港科技大学, 访问学者
2009-07~2016-07,中国科学院软件研究所, 助理研究员

专利与奖励

   
奖励信息
(1) 中国科学院创新促进会会员, , 院级, 2018
(2) ESEC/FSE 2018杰出论文奖, 其他, 2018
(3) 微软亚洲研究院铸星计划, 其他, 2017
(4) 中国计算机协会优秀博士论文, 专项, 2016
(5) 中国科学院大学优秀毕业生, 研究所(学校), 2015

发表论文

  • 程序分析研究进展 
    张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦 
    软件学报, 2019.
  • 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). ACM SIGSOFT Distinguished Paper Award
  • How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
    Liang 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 Spreadsheets
    Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei 
    33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018).
  • 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 Spreadsheets
    Liang Xu, Shuo Wang, Wensheng Dou, Bo Yang, Chushu Gao, Jun Wei, Tao Huang 
    25th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2018).
  • Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
    Florian Biermann, Wensheng Dou, Peter Sestoft 
    20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018).
  • JSTrace: Fast Reproducing Web Application Errors
    Jie Wang, Wensheng Dou, Chushu Gao, Jun Wei 
    Journal of Systems and Software (JSS 2018).
  • Characterizing and Diagnosing Out of Memory Errors in MapReduce Applications
    Lijie Xu, Wensheng Dou, Feng Zhu, Chushu Gao, Jie Liu, Jun Wei 
    Journal of Systems and Software (JSS 2018).
  • 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).
  • Mining API Type Specifications for JavaScript
    Shuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang 
    24th Asia-Pacific Software Engineering Conference (APSEC 2017).
  • SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering
    Liang 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 Spreadsheets
    Wensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei 
    IEEE Transactions on Software Engineering (TSE 2017).
  • 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).
  • 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).
  • Fast Reproducing Web Application Errors
    Jie Wang, Wensheng Dou, Chushu Gao, Jun Wei 
    26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015).
  • Experience Report: A Characteristic Study on Out of Memory Errors in Distributed Data-Parallel Applications
    Lijie Xu, Wensheng Dou, Feng Zhu, Chushu Gao, Jie Liu, Hua Zhong, Jun Wei 
    26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015).
  • Discovering User-Defined Event Handlers in Presence of JavaScript Libraries
    Shuai 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 Extraction
    Shuai 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 Computation
    Wensheng Dou, Shing-Chi Cheung, Jun Wei 
    36th International Conference on Software Engineering (ICSE 2014).


指导学生

现指导学生

敖泽柳  硕士研究生  081202-计算机软件与理论