全院通知

一、报告安排  
 

时间：2019年11月1日~3日  
地点：伟德BETVLCTOR北校区老科技楼一楼报告厅  
 

 2019年11月3日（星期日）

 
 

二、专家报告  
 
 

CCF软件工程专委会主任  
 
 

 CCF长沙分部副主席  
 
   
 

个人简介：  
国防科技大学计算机学院教授，复杂系统软件工程重点实验室副主任，省部级人才和湖南省新世纪121人才工程，CCF理事和杰出会员，CCF长沙分部副主席，湖南省计算机学会常务理事。长期从事软件工程方向的科研、教学和人才培养工作，主要研究方向是智能软件技术、群智软件工程、多智能体系统等。近年主持国家重点研发计划、NSFC面向和重点、武器装备预研等课题10余项，在Springer、IGI、清华大学出版社、高等教育出版社等出版著作、教材和书章节8部，在IEEE Trans.、JSEP、ICSE、JCST、中国科学、软件学报、计算机学报等期刊和会议上发表学术论文150余篇，获国家教学成果二等奖1项、省部级教学成果一等奖2项、省自然科学一等奖1项。  
 
 报告题目：  
开源生态建设：从支撑平台到人才培养  
 
 报告摘要：  
健康和可持续发展的开源生态建设对于国家软件战略以及行业软件产业而言至关重要，它涉及开源文化、群智贡献、激励机制、社区运营、支撑平台、教育和人才培养等诸多方面的研究与实践。报告聚焦于开源生态建设的“支撑平台”和“人才培养”二个方面，介绍（1）建设我国安全可控开源社区支撑平台的研究进展及最新成果，包括关键技术、软件服务和平台门户，以及（2）利用开源生态资源、借鉴群体化软件开发思想的软件人才培养新模式以及相关的教学改革及成果。  
 

应时
武汉大学教授
CCF软件工程专委会候任常委  
 
   
 

个人简介：  
武汉大学计算机学院教授，CCF软件工程专业委员会候任常委。主要从事计算机软件方面的科研、教学，以及应用软件开发工作。主要的研究方向是大型软件系统的智能化运维管理、软件工程中的智能分析与优化等。主持国家自然科学基金项目、国家863项目、国家教育部科学技术重点项目、国家教育部博士点基金项目、湖北省青年杰出人才基金项目和多个应用型项目的开发。已发表学术论文100多篇。获得国家科技进步二等奖、湖北省科技进步一等奖2项、湖北省自然科学优秀学术论文二等奖、湖北省科技进步二等奖。  
 
 报告题目：  
基于日志分析的软件运维故障的检测与预测  
 
 报告摘要：  
日志是关于系统和软件运行状况、用户操作和软件使用情况等的信息记录。随着日志工具，特别是日志增强工具产生的日志数据的规模和价值越来越大，基于日志分析检测与预测软件运维故障的可行性越来越高。由于日志数据的多源性、软件运维故障的多样性，特别是软件运维故障与日志数据相关关系的复杂性，基于日志分析检测与预测软件运维故障面临着很多具有挑战性的难题。报告简要地综述了国内外相关的研发工作，概要地介绍了作者团队在该领域开展的一些研究工作。

 谢涛
北京大学讲席教授
IEEE Fellow
CCF软件工程专委会候任副主任  
 
   
 

个人简介：  
北京大学计算机科学技术系讲席教授，ACM SIGSOFT执行委员会委员、ACM历史委员会委员、北美计算机华人学者协会软件工程专业委员会联合主席，CCF软件工程专委会候任副主任，电气电子工程师学会会士（IEEE Fellow）、美国计算机协会杰出科学家（ACM Distinguished Scientist）、CCF杰出会员。主要研究方向是软件测试、软件解析学、软件安全和智能软件工程等。曾获得美国NSF Faculty Career Award。任软件工程旗帜会议ICSE 2021、ISSTA 2015的大会程序委员会（共同）主席、ACM多元化（diversity）旗帜会议 Tapia 2017/2018的程序委员会主席和大会主席，担任《Software Testing, Verification and Reliability (STVR)》期刊的联合主编。  
 
 报告题目：  
数据驱动的软件自动化：成就与挑战  
 
 报告摘要：  
软件自动化通常指根据形式或非形式规范自动生成软件的过程，可将软件开发人员从构建软件初始版本的繁琐编程任务、演化软件到将来版本的繁琐软件维护任务中解放出来。具体技术包括程序合成、代码补全、程序转换、代码推荐、程序修复、软件自演化。在过去的十年中，软件开发、维护、部署产生了大量的软件工程数据，例如源代码，版本历史，功能规格等，可作为软件自动化技术的宝贵输入，也为极大提高技术的有效性和效率提供了巨大潜力。本报告讨论数据驱动软件自动化的最新研究和未来方向以及要解决的挑战。  
 

 

个人简介：  
复旦大学软件学院副经理、教授、博士生导师，CCF软件工程专委会候任副主任、CCF YOCSEF上海2016-2017主席，上海市计算机学会青工委主任，《软件学报》和《Empirical Software Engineering》编委，IEEE软件维护与演化国际会议（ICSME）执委。2016年获得东软-NASAC青年软件创新奖。复旦大学CodeWisdom智能化软件开发研究团队负责人，主要研究方向是代码大数据、智能化软件开发、云计算与微服务等。在ICSE、FSE、ASE、CSCW、ICSME、SANER等高水平国际会议及IEEE/ACM Transactions等国际期刊发表论文60余篇。研究工作获得ICSM 2011最佳论文奖、ACM SIGSOFT杰出论文奖（ASE 2018）、IEEE TCSE杰出论文奖（ICSME 2018、ICSME 2019）。担任ICGSE 2014及ICSME 2017组委会主席、Internetware 2017及ICSR 2019程序委员会主席，以及ICSE（SEIP Track）、FSE、ASE、ICSME、SANER、RE等会议程序委员会委员。  
 
 报告题目：  
基于代码大数据的软件开发质量追溯体系  
 
 报告摘要：  
制造业、农业等行业已经广泛建立了产品质量追溯体系。软件作为一种逻辑制品，其组成成分难以明确辨识、开发过程可见性差，导致软件行业难以建立相应的产品质量追溯体系，产品演化决策及过程难以追溯、质量问题根因难以明确、影响范围难以定位等问题突出。基于软件代码、版本库、运行日志等制品、过程和运行时数据建立的代码大数据平台通过各种程序及数据分析能力建立覆盖软件开发、演化及运行全过程的大数据基础平台，为软件开发质量追溯体系的建立打下了基础。本次报告将在问题分析的基础上，介绍我们在相关方面的思考和一些初步实践，并对未来的发展进行展望。  
 

 东南大学软件工程研究所所长  
 
   
  

个人简介：  
东南大学计算机科学与工程学院教授，东南大学软件工程研究所所长，入选教育部新世纪人才培养计划。中国计算机学会软件工程专委会委员、容错计算机专委会常务委员，江苏省计算机学会常务理事、软件专委副主任。主要研究方向是软件建模、分析、测试与验证、智能软件架构理论和方法、软件演化和软件质量保证等。2011年度获得中创软件人才奖、2014年获得教育部科学技术奖（自然科学奖）二等奖（排名第一）。主持各类基金和企业合作项目30多项, 先后在国内外著名期刊和ICSE、FSE、ASE等重要国际会议发表学术论文160余篇，出版专著3部，教材1部，授权发明专利40项。相关论文被SCI/EI检索180多篇次，被他人引用累计超过4000篇次。  
 
 报告题目：  
软件工程核心关注点和团队建设规划  
 
 报告摘要：  
软件工程在它51年的发展历程中，先后经历了四个比较明显的发展阶段：（1）软件工程孕育阶段；（2）惯例软件工程阶段；（3）敏捷软件工程阶段；（4）智能软件工程阶段。本报告从软件工程理论和实践发展的历史出发，讨论软件工程的几个核心关注点：能力（capability）、质量（quality）、成本（cost）和效率（efficiency）；还讨论核心关注点与软件工程团队建设应该具有什么样的内在关系，以及如何更好地进行软件工程团队建设和人才培养等。  
 

佘志坤
北京航空航天大学教授   
 
   
 

个人简介：  
北京航空航天大学数学学院教授。主要研究方向是非线性混成系统安全性验证与稳定性分析。在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control等国际期刊和AAAI、CAV、HSCC等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。  
 
 报告题目：  
基于可达集上下近似的混成系统安全性验证研究  
 
 报告摘要：  
信息-物理系统（CPS）是一种将计算与物理过程相结合的系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开：首先，引入演化函数并借助李导数给出它的泰勒级数展开；接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后，与最近两种可达集上下近似方法的计算结果比较展示了我们方法的优越性。  
 

贲可荣
海军工程大学教授
海军名师工作室领衔名师
CCF理论计算机科学专委会副主任  
 
   
 

个人简介：  
海军工程大学电子工程学院教授，CCF理论计算机科学专委会副主任，军委装发国家安全重大基础研究项目专家组专家，军委装发人工智能专家组成员。主要研究方向是软件工程和人工智能等。先后主持和参加了国家自然科学基金、军队科研等30余个项目。《计算机科学与探索》执行编委，《海军新军事变革丛书》编委会常务副主任，《人工智能应用丛书》编委会副主任，发表学术论文200余篇，出版编著（教材）、译著17部，主编《人工智能》入选普通高等教育“十二五”国家级规划教材。被评为教育部骨干教师、首届湖北省优秀研究生导师、海军名师工作室领衔名师、第三届大学教学名师，获军队院校育才奖金奖。  
 
 报告题目：  
人工智能与软件质量保证  
 
 报告摘要：  
报告包括Systems for AI和AI for Systems两方面内容。智能时代的复杂系统面临各种安全挑战，例如：你不知道自己不知道什么；监管缺失；在危机时刻，智能化系统与人争夺优先权时该听谁的；机器学习技术的不确定性影响安全等。任务关键领域拥有大量独有的任务敏感型数据，应当建立安全且精准的测试环境，为人工智能系统的测试和验证提供方法和手段。另一方面，介绍人工智能在软件分析、缺陷检测、缺陷预测、缺陷修复、代码搜索、软件测试中的应用。  
 
 

蒲戈光
华东师范大学教授
上海市科技启明星
上海工业控制安全创新科技有限公司总经理  
 
   
 

个人简介：  
华东师范大学计算机科学与软件工程学院教授，上海工业控制安全创新科技有限公司总经理。主要研究方向是软件测试与验证。曾获上海市科技启明星，教育部自然科学一等奖，领导团队研发的自动化测试工具已被应用在航天、轨道、汽车电子领域的多家科研机构与大型国企，有效提升了嵌入式软件的质量并降低了研发成本。发表学术论文80余篇，包括20余篇人工智能与软件工程的国际顶级会议（如IJCAI, AAAI, ICSE，FSE），并担任多个国际学术会议（ATVA, SEFM, ICFEM等）的程序委员会委员。  
 
 报告题目：  
如何查找软件形式化验证工具的缺陷  
 
 报告摘要：  
软件形式化验证工具在提升软件质量方面起了很大的作用，例如CPAchecker，CBMC等软件模型检查工具在工业界与学术界获得了大量应用。一个有趣的问题是，这些形式化验证工具本身是否可靠？本报告讨论了形式化验证工具本身是否存在缺陷，以及如何去发现这些缺陷。我们开发了一种新的模糊测试的方法，成功的找到了CPAchecker，CBMC等形式化验证工具的62处缺陷，其中59处缺陷从未被发现，这也是目前为止第一次大规模查找软件形式化验证工具的技术，为提升这些验证工具的可靠性贡献了新思路。  
 

 陈振宇
南京大学教授
慕测平台创始人
IEEE软件测试大赛发起人  
 
   
 

个人简介：  
南京大学软件学院教授，慕测平台(mooctest.net)创始人、IEEE软件测试大赛发起人。主要研究方向是智能软件工程。担任IEEE Transactions on Reliability 期刊Associate Editor，JSS、SPE、SQJ等期刊Guest Editor。主持发明专利转让项目2项、发明专利许可项目1项、海关总署金关工程二期项目1项、国家重点研发计划课题1项和国家自然科学基金8项。在TOSEM、TSE、ICSE、FSE、ISSTA、ICST等会议和期刊发表论文100多篇，申请发明专利50余项（已授权26项），部分专利成果已经在百度、阿里、华为等知名软件公司转化，研究成果获2012年度江苏省科学技术奖一等奖、2015年湖北省科技进步奖一等奖、2017年CCF NASAC-东软青年软件创新奖和2018年国家教学成果奖二等奖。  
 
 报告题目：  
智能软件系统的数据驱动测试  
 
 报告摘要：  
智能软件系统具有广泛的应用前景，但其质量保障成为重要挑战。智能软件系统是非确定性智能模型嵌入确定性业务流程的复杂软件系统。智能模型通常以海量数据驱动方式构建，并呈现出大规模非线性变换数值计算特性；模型嵌入系统，运行于各类复杂软硬件平台和非确定性开放环境，适应多样化业务场景且目标任务难以精确表达，给质量保障带来诸多新挑战。基于智能软件系统新特性，本报告从数据和模型的内外视角出发，分享以下四项研究内容：（1）数据分布多样性驱动测试；（2）数据语义一致性驱动测试；（3）数据边界稳定性驱动测试；（4）数据精度适应性驱动测试。本报告针对智能软件系统质量保障前沿挑战，探索非确定性和确定性相结合的缺陷触发与传播机理，构建系统性的数据驱动测试方法和技术。  
 

杨万强
上海复深蓝软件股份有限公司董事长
金融软件工程领域技术专家  
 
   
 

个人简介：  
上海复深蓝软件股份有限公司董事长，1997年毕业于复旦大学计算机系，投身金融企业软件科技领域20余年。先后参与和领导期货、银行、保险、证券等众多大型项目。曾作为核心主力参加国家火炬计划项目，曾主持领导企业研发团队获得三次国家创新基金。上海复深蓝软件股份有限公司创建于2001年，目前拥有超过1400名员工和500家大型企业客户，近三年以接近50%的复合增长率高速成长，已为数百家行业翘楚企业提供上万个软件系统服务。复深蓝依托强大的科研团队自主研发了数百项软件产品，并获得CMMI5软件成熟度认证、上海市科技小巨人企业、国家及上海市创新基金等荣誉。  
 
 报告题目：  
中国软件风云三十年：计算机人未来剑指何方？  
 
 报告摘要：  
在过去的三十年，基于互联网的软件正在颠覆各行各业，悄无声息的颠覆了人类的生活方式，中国软件的进步，尤其是在金融、电力、通信、交通等应用层软件正在驱动整个社会，中国软件的进步在世界范围具有碾压式优势。在软件驱动的金融科技领域的发展，中国特色的优势将缔造世界级金融科技巨头。美国诺贝尔经济学奖得主 Edward Prescott教授认为：“中国金融科技世界领先”。对于中国的计算机及软件专业的学子，这是最好的年代。计算机软件行业的创业是最适合“白手起家”的，成功率相比依靠“商业模式”创业高出很多，然而这个过程充满艰辛，任何成功和成就来源于今天的刻苦学习，拥抱扎实的技术基本功，这是一切成就的开始和基础条件……  
 

张东
浪潮集团副总裁
国务院特别津贴专家  
 
   
  

个人简介：  
浪潮集团副总裁，教授级高工，国务院特别津贴专家，CCF大数据专委会委员。在操作系统、云计算系统软件和信息安全相关领域拥有20多年的产品研发和研发管理经验。现负责浪潮集团系统软件产品研发工作，获得国家科技进步一等奖；带领团队研制完成国内首个UNIX操作系统K-UX，获省级科技进步一等奖；研发完成国内最早的云数据中心操作系统云海OS，获省级技术发明二等奖。曾主持国家级课题3项，发表相关论文10余篇，获得国家发明专利20余项。  
 
 报告题目：  
云数智融合下的数据中心系统软件  
 
 报告摘要：  
随着云计算、大数据、人工智能的融合发展，数据中心基础设施呈现出融合、开放、敏捷的特征，未来的数据中心将以硬件可重构、软件可定义的融合架构为主，其中系统软件作为重要的组成部分，将出现云原生、异构融合、智能化等新趋势。报告将围绕业界主流的产品技术实践，介绍数据中心系统软件在云数智融合背景下的新挑战和新发展。  
 
 

高雪松
海信集团国家重点实验室副主任
微软最有价值专家  
 
   
  

个人简介：  
海信数字多媒体技术国家重点实验室副主任，从事人工智能和数据科学的研发工作，专注于跨媒体智能、图卷积神经网络、多智能体强化学习和知识图谱的研究和应用。发表专著一部，翻译一部机器学习著作——《Azure 机器学习》，获批专利60余项，曾获得微软最有价值专家。  
 
 报告题目：  
面向智慧生活的数字视网膜和智能物联平台技术研究  
 
 报告摘要：  
突破资源有限异质设备安全可信、数字视网膜、多模智能物联技术，基于云脑和区块链的技术构建智能物联平台，满足智慧家庭和公共事业等智慧生活融合服务需求。