您位于: 首页 / News / 2015 / 2015年1月15日,高可信软件技术教育部重点实验室2014年度会议暨第四届高可信软件国际研讨会在北京大学召开

2015年1月15日,高可信软件技术教育部重点实验室2014年度会议暨第四届高可信软件国际研讨会在北京大学召开

高可信软件技术教育部重点实验室2014年度会议暨第四届高可信软件国际研讨会(4th International Symposium on High Confidence Software)2015年1月15日在北京大学召开。10名特邀讲者在第四届高可信软件国际研讨会做了精彩的报告,这些特邀讲者既包括久负盛名的资深学者也包括近年来崭露头角的青年学者,报告题目也涵盖了高可信软件研究的众多方面(报告题目见附录)。高可信软件技术教育部重点实验室2014年年度会议随后举行,会上高可信软件技术教育部重点实验室常务副主任金芝教授做了实验室年度报告,对实验室在2014年完成的各项工作及取得的进展进行了总结和梳理。所有与会人员对实验室2015年及未来的发展展开了热烈讨论,为建设国际一流的高可信软件技术研究机构献计献策。

 

附录:第四届高可信软件国际研讨会讲者及报告题目

 

Kam Fai Wong, CUHK Sub-Lab of MoE HCST

Michaeal Lyu, User-Collaborative Service Reliability Prediction with Data Analytics

Hongyu Zhang, Effective Bug Management via Software Analytics

Jeff Huang, Maximizing Precise Race Detection

Zheng Li, EFSM Dependence and Slicing

Dan Hao, Search-Based Inference of Polynomial Metamorphic Relations

He Jiang, Towards Constructing New Attributes for Software Engineering Tasks by Crowdsourcing

Xiao Liu, Workflow Temporal Verification: An Efficient and Effective Approach for Delivering On-Time Completion

Xi Sun, Towards Building High Confidence Transportation Software on Big Data

Xuanzhe Liu, Retrofitting Mobile Web Apps with Cloud


导航