王新宇 副教授
电子邮件：wangxinyu@zju.edu.cn
电 话：0571-87952420
个人简介
2011.12至今 浙江大学计算机学院软件与理论研究所、副教授
2009.10-2011.12 浙江大学计算机学院软件与理论研究所、讲师
2007.7-2009.10 浙江大学计算机学院软件与理论研究所、博士后
2002.9-2007.7 浙江大学计算机学院，博士研究生，从事软件再工程的研究
1998.9-2002.7 浙江大学计算机学院，获学士学位，被保送为硕博连读研究生
主要从事分布式软件架构、软件工程、金融信息工程等方向的研究。发表SCI/EI论文近40篇；主持国家自然科学基金、国家科技支撑计划项目、973项目等多项；主要成果包括：1) 分布式系统安全冲突检测方法；2) 提出基于数据划分的软件分布式设计方法；3) 提出了可信驱动的遗留系统再造方法论及关键技术；4）实时数据流监控平台等。通过产学研合作模式，与工程界展开紧密的项目合作，技术成果应用于多家合作机构或企业中，解决了多项业界的技术难题。项目合作单位包括美国道富银行、中国外汇交易中心、Cisco、IBM、浙大网新等。
工作研究领域
超大规模信息系统、软件工程、金融信息系统
工作研究项目
基于时空向量回归的服务质量预测方法研究 国家自然科学基金
基于问题框架的FR/NFR关联追踪方法研究 国家自然科学基金
面向个性化服务的业务流程分析与可信建模技术研究与系统开发 国家科技支撑计划项目
数字图书馆-用户建模子项目 国家发改委
网构软件的可信和服务质量需求建模与分析 973计划项目
面向分布式数据划分环境的遗留系统组件识别技术研究 博士后基金项目
网络会议系统可靠性建模与研发 国际合作项目
面向金融领域的可信化系统分析与构建技术研究 国际合作项目
A Formal Method for Quality Assessment of Large-Scale Software Systems 新加坡技术与设计大学合作研究项目
发表论文
Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jinsong Dong, Xiaohu Yang, Xiaohong Li: A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata. IEEE Transactions on Software Engineering (TSE), 2014
Weiwei Qiu, Zibin Zheng Xinyu Wang, Xiaohu Yang, Michael R. Lyu: Reliability-Based Design Optimization for Cloud Migration. IEEETransactions on Services Computing (TSC): 223-236 (2014)
Xinyu Wang, Jianke Zhu, Yuanhong Shen: Network-aware QoS prediction for Service Composition Using Geolocation, IEEETransactions on Services Computing (TSC): 2014
Xin Xia, David Lo, Emad Shihab, Xinyu Wang, Bo Zhou: Automatic, high accuracy prediction of reopened bugs[J]. Automated Software Engineering, 2014: 1-33.
Ye Wang, Liping Zhao, Xinyu Wang, Xiaohu Yang, Sam Supakkul: LANT: A Pattern Language for Transforming Scenarios into Requirements Models, International Journal of Human Computer Studies (IJHCS), 2013, 71(11): 1026–1043.
Xiaohu Yang, Liping Zhao, Xinyu Wang, Ye Wang, Jie Sun, and Albert J. Cristoforo: Satisfying Quality Requirements in the Design of a Partition-based, Distributed Stock Trading System, Software: Practice and Experience (SPE), 2010.
Xinyu Wang, David Lo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Tian Yuan, Xiaohu Yang, Shanping Li, Jianling Sun, and Bo Zhou: BOAT: An Experimental Platform for Researchers to Comparatively and Reproducibly Evaluate Bug Localization Techniques",36th ACM/IEEE International Conference on Software Engineering (ICSE’14 Tool Demon Paper), 2014.
Xinyu Wang, Jianling Sun, Xiaohu Yang, Chao Huang and Zhijun He: Reengineering Standalone C++ Legacy Systems into the J2EE Partition Distributed Environment, 28th International Conference on Software Engineering (ICSE’06), Shanghai, China, May 20-28, 2006, 525-533.
Xin Xia, Yang Feng, David Lo, Zhenyu Chen, Xinyu Wang: Towards more accurate multi-label software behavior learning. CSMR-WCRE 2014: 134-143
Bo Zhou, Xin Xia, David Lo, Cong Tian, Xinyu Wang: Towards more accurate content categorization of API discussions. ICPC 2014: 95-105
Xin Xia, David Lo, Xingen Wang, Chenyi Zhang, Xinyu Wang: Cross-language bug localization. ICPC 2014: 275-278
Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang: Automatic early defects detection in use case documents. ASE 2014: 785-790
Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li: Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS 2014: 310-325
Xinyu Wang, Jie Sun, Xiaohu Yang, Ye Wang, Shanping Li, Aleksander J. Kavs: Deriving problem frames from business process and object analysis models. Expert Systems 30(3): 200-214 (2013)
Weiwei Qiu, Zibin Zheng, Xinyu Wang, Xiaohu Yang, Michael R. Lyu: Reputation-Aware QoS Value Prediction of Web Services. IEEE SCC 2013: 41-48
Yuanhong Shen, Jianke Zhu, Xinyu Wang, Liang Cai, Xiaohu Yang, Bo Zhou: Geographic Location-Based Network-Aware QoS Prediction for Service Composition. ICWS 2013: 66-74
Xin Xia, David Lo, Xinyu Wang, Bo Zhou: Tag recommendation in software information sites. MSR 2013: 287-296
Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, Xinyu Wang: Combining model checking and testing with an application to reliability prediction and distribution. ISSTA 2013: 101-111
Xin Xia, David Lo, Xinyu Wang, Bo Zhou: Accurate developer recommendation for bug resolution. WCRE 2013: 72-81
Zhengong Cai, Xiaohu Yang, Xinyu Wang: Business process recovery for system maintenance - An empirical approach. ICSM 2009: 399-402
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si, Di Wu: Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice. ICSM 2009: 403-406
Xinyu Wang, Jianling Sun, Xiaohu Yang: Experience Report: Reengineering Standalone System into the Service-Partition Distributed Environment. ICSM 2007: 477-480
Xinyu Wang, Jianling Sun, Xiaohu Yang, Zhijun He, Srinivasa R. Maddineni: Business Rules Extraction from Large Legacy Systems.CSMR 2004: 249-253
Bo Zhou, Xin Xia, David Lo, Xinyu Wang: Build Predictor: More Accurate Missed Dependency Prediction in Build Configuration Files.COMPSAC 2014: 53-58