为推动国内软件工程学科发展，提高学科人才培养质量，解决软件工程学科发展的问题和困惑，同时作为2021 CCF中国软件大会承办单位，为高质量推进大会的各项筹备工作，西安电子科技大学举办“第三届软件工程学术进展与学科建设研讨会暨2021 CCF中国软件大会专题工作会”。会议由西安电子科技大学软件工程学科主办，天博全站官网登录、西安电子科技大学青岛计算技术研究院与西安市智能软件工程重点实验室承办，通过线上线下结合的方式进行。
在前两届（2017、2019）软件工程学术进展与学科建设研讨会成功举办的基础上，本次研讨会将围绕软件工程领域最新学术进展、学科建设、创新人才培养等内容与热点，邀请清华大学、北京大学、南京大学、国防科技大学、中国科学院软件研究所、北京航空航天大学、华东师范大学、大连理工大学等国内外软件工程学科优势高校和知名软件企业的专家学者，通过主题报告、交流沙龙等形式，就软件工程领域理论、技术、应用新进展与学科发展新动态进行深入研讨，助力国内软件工程学科建设和发展。
2021 CCF中国软件大会（CCFChinasoft）将于2021年11月19日至21日召开，大会由中国计算机学会主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，天博全站官网登录具体落实。专委会和承办单位已成立大会筹备联合工作组，一直持续推进大会筹备工作。随着大会临近，为确保大会顺利举行，本次大会专题工作会将围绕大会筹备进展、工作计划、进度安排等进行规划讨论。
一、会议举办机构
主办：西安电子科技大学
承办：天博全站官网登录
西安电子科技大学青岛计算技术研究院
西安市智能软件工程重点实验室
二、会议组织机构
会议主席
李青山
程序委员会
主 席
李青山 崔江涛
委 员
沈玉龙 田 聪 苗启广 刘西洋 宋胜利
组织委员会
主 席
李 瑞 向麟海 徐悦甡
委 员
于 斌 王 璐 刘如意 覃桂敏 王建东 王 云
三、会议安排
会议时间：2021年10月9日~2021年10月10日
线下地点：西安电子科技大学青岛产教融合研究生联合培养基地
地址：山东省青岛市城阳区春阳路86号天安数码城阳光大厦
线上参与方式：腾讯会议（会议号：747 505 6044）
线上直播地址：
图片直播:
https://www.xxpie.com/m/album?id=615039127414e573b0cebe10
视频直播
http://wx.vzan.com/live/tvchat-1431491058?v=637682732599534523
线上直播二维码：
图片直播 视频直播
会议议程总览：
四、议程安排
2021年10月9日（星期六）
2021年10月10日（星期日）
五、报告嘉宾简介
金芝，北京大学
报告题目：基于环境建模的需求工程
报告摘要：需求工程的任务是观察现实世界，定位系统问题并决定系统能力。对问题观察有不同的观点。信息物理系统直接与其环境交互，即感知环境并作用于环境。识别环境的特征并处理由环境特征引出的关注点非常重要。基于环境建模的方法在进行需求工程时将环境视为一阶概念。通过对环境进行建模，分析环境的静态和动态特性，并由此系统地推导出系统应该具有的行为和需要满足的约束。本报告介绍什么是环境，如何对环境进行建模，以及如何从环境的角度来确定系统能力，其中还涉及一些对环境安全问题的关注点。
报告人简介：金芝，北京大学教授，973项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会系统软件专业委员会主任，任IEEE TSE/TR Association Editor，Empirical Software Engineering编委，《软件学报》执行主编，《计算机学报》副主编。主要研究领域包括：软件需求工程、知识工程、和基于知识的软件工程等，出版英文专著3部，中文编著1部，发表论文150余篇。
李宣东，南京大学
报告题目：嵌入人工智能模型的软件系统可信保障
报告摘要：随着人工智能技术的快速发展，越来越多的问题采用基于机器学习、神经网络形成的算法加以解决，我们称这类算法为“人工智能模型”。人工智能模型编程实现后成为软件系统的组成部分，这类包含人工智能模型实现的软件系统我们称之为“嵌入人工智能模型的软件系统”。基于统计原理和训练数据产生的人工智能模型，与基于逻辑设计的算法相比，具有内在不可解释、正确性难以规约、泛化结果难以度量、易受数据扰动等特征，因而成为软件系统中新的、异构非信任主体，使得软件质量保障面临新的障碍和挑战，人工智能模型缺陷引发的系统失效在实际应用领域已经导致了多起重大安全事故。本报告聚焦如何突破人工智能模型在系统可信保障方面所形成的障碍、如何揭示与摆脱人工智能模型与系统存在的缺陷两大关键问题，从人工智能模型与系统的分析与验证、面向人工智能模型的系统可信增强与保障两个方面阐述认识、思考与实践。
报告人简介：李宣东，南京大学教授，软件学院院长；兼任中国计算机学会软件工程专业委员会主任、国务院学科评议组成员（软件工程）；教学和研究工作主要涉及软件工程、可信软件、形式化方法等领域。
刘奕群，清华大学
报告题目：脑机接口搜索及其对信息技术领域的挑战
报告摘要：随着人类与搜索引擎的协同进化，当前的搜索过程已经从简单的基于关键词匹配的事实查找进化为一种人机紧密耦合的协同认知过程。受限于当前人机交互方式的限制，搜索引擎对于搜索需求产生的上下文环境缺乏深度感知，搜索用户对于搜索效果的反馈机制也缺乏直接的显式通道。这种交互方式导致的信息双向传递损失造成了搜索性能进一步提升的显著瓶颈。近年来，脑机接口技术研究取得的进步使得人机交互模式有望产生根本性的变革，而这种变革对搜索过程的潜在影响则较少有研究工作涉及。本次报告将讨论采用脑机接口技术对搜索过程可能带来的进步与挑战，对这种与思考过程紧密衔接的搜索可能形成的人类认知新范式进行展望。特别的，在脑机接口技术尚无法大量普及的现状下，我们将重点讨论当前的信息技术研究如何为未来的脑机接口搜索开展前瞻性的准备工作，以及这些工作如何能使互联网搜索引擎、智能信息助理、推荐系统等当前的主流信息技术产品获益。
报告人简介：刘奕群，清华大学计算机系教授、党委书记。主要研究领域集中在信息检索、互联网搜索技术以及自然语言处理研究方面。担任信息检索领域知名国际期刊Foundations and Trends in IR（SCI 1区）主编、信息检索领域重要会议ACM SIGIR2018（CCF A）程序委员会主席等学术职务。获得北京市科学技术一等奖、北京智源学者、钱伟长中文信息处理一等奖等奖励，并作为项目负责人获得国家重点研发计划。
武延军，中国科学院软件研究所
报告题目：RISC-V生态下基础软件的机遇与挑战
报告摘要：RISC-V开放指令集是近年来计算机体系结构和基础软件的热点，其简洁、先进、共享共治的特性吸引了全球学术和产业界的关注。指令集作为软硬件的接口规范，将为基础软件领域带来哪些机遇，同时在国内又存在哪些挑战。本报告将介绍中科院软件所在RISC-V软件生态建设中的一些思考，在操作系统、编译工具链和运行时环境等方向的工作进展，以及对未来布局的展望。
报告人简介：武延军，中科院软件所特聘研究员、博士生导师，现任副总工、智能软件研究中心主任。主要研究方向为操作系统和系统安全。担任RISC-V国际基金会战略技术委员会委员、中国开放指令集联盟软件工作组组长、openEuler开源社区理事。曾主持中科院先导专项、国家科技重大专项等多项操作系统相关科研任务。连续多年与腾讯、华为等开展项目合作。当前主要研究工作为开源软件供应链和RISC-V系统软件。
彭鑫，复旦大学
报告题目：基于大规模运维数据的云原生软件多维度分析
报告摘要：大规模云原生软件系统具有高度的复杂性和动态性，同时也是一个不断扩展和生长的复杂生态系统。这类系统普遍面临着技术风险高、故障定位难、缺少全局业务和技术视图、架构退化等方面的问题。包含各种日志、度量、轨迹数据在内的大规模软件运维数据不仅可以用于运行时问题发现和根因定位，而且也为我们洞悉云原生软件系统业务和技术运转状况及其长期发展趋势提供了手段。本次报告将从故障和性能问题、架构理解与设计质量、业务流程和特性三个不同维度阐述基于大规模运维数据的云原生软件分析思路，并介绍复旦大学CodeWisdom团队在相关方面的研究和实践探索。
报告人简介：彭鑫，复旦大学计算机科学技术学院副院长、软件学院副院长、教授、博士生导师。中国计算机学会软件工程专委会副主任，上海市计算机学会青工委主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》编委（Associate Editor），《软件学报》编委，《Empirical Software Engineering》编委，IEEE软件维护与演化国际会议（ICSME）执委（2017-2020）。2016年获得NASAC青年软件创新奖。主要研究方向包括软件开发大数据分析、智能化软件开发、云原生与智能化运维、泛在计算软件系统等。研究工作获得ICSM 2011最佳论文奖、ACM SIGSOFT杰出论文奖（ASE 2018）、IEEE TCSE杰出论文奖（ICSME 2018/2019/2020）、IEEE Transactions on Software Engineering年度最佳论文奖（2018）。担任ICGSE 2014及ICSME 2017组委会主席、Internetware 2017及ICSR 2019程序委员会主席，以及ICSE、FSE、ASE、ICSME、SANER、RE等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件开发大数据分析平台以及智能化软件开发平台的研究与实践，研究成果在多家大型企业进行了实践应用。
胡春明，北京航空航天大学
报告题目：安全关键软件开发模式思考
报告摘要：软件在发展过程中不断凝练和沉淀共性，其基础设施地位不断加强，安全可靠成为其核心目标。而复杂软件系统呈现出开放、动态、随机非线性的特性，如何提升安全关键软件开发效率和质量成为重要问题。本报告分析航空航天领域安全关键软件的传统开发模式，讨论安全关键软件与开源软件两种研发形态耦合与增强的可能性，在原有的模型化和形式化开发方法的基础上，提出了智能化和平台化的未来发展趋势。
报告人简介：胡春明，教授，博士，博士生导师，软件学院院长。大数据科学与脑机智能北京市高精尖创新中心副主任。中国计算机学会系统软件专委会常务委员，计算机科学普及工委主任，中国电子学会云计算、大数据专家委员会副秘书长，国际万维网联盟（W3C）副理事长。主讲：编译技术、云计算技术原理、电子商务（高并发Web系统设计）。
江贺，大连理工大学
报告题目：编译器的可信保障与智能化
报告摘要：编译器是软件及信息产业的基础架构。随着技术演进，GCC和LLVM等常规编译器已经难以适应航空、航天、机器人等新型场景涌现出的可信、智能化等多样化需求。本报告首先介绍适用于小型编译器的可信性概念及主流的可信编译器。在此基础上，报告介绍用于提高大型编译器质量的编译器测试方法。最后，介绍课题组研发的适用于自主无人场景的新型智能化编译器。
报告人简介：江贺，博士，大连理工大学教授、博导，大连理工大学人工智能大连研究院院长。1999年本科毕业于中国科学技术大学少年班，2004年博士毕业于中国科技大学，师从陈国良院士。目前主要研究兴趣为智能软件工程。2004年9月起，在大连理工大学工作。先后在ACM/IEEE系列汇刊TOSEM、TSE、TKDE、中国科学等期刊及ICSE、ASE等国际会议发表论文70余篇。担任IEEE TR、JSEP、FCS、计算机科学等期刊编委。多次承担国家自然科学基金项目、国家重点研发课题，并长期与华为、百度、航天五院等企业开展合作。先后获得大连市五一特等奖章、中国计算机学会优秀博士学位论文指导教师、全国NASAC青年软件创新奖、ACM SIGSOFT杰出论文奖。
蒲戈光，华东师范大学
报告题目：工具驱动的学术研究与商业创新
报告摘要：软件工具是软件工程的重要研究方向。通过研发软件工具可以提升软件开发全生命周期各个阶段的效率，增强软件产品的可靠性。本报告介绍了几类软件测试、建模与验证工具的研究进展，包含了自动测试、嵌入式测试以及形式验证相关的软件工具的研制。报告同时展现了如何把学术原型工具转化为商业产品，并在行业里进行落地应用。
报告人简介：蒲戈光，上海工业控制安全创新科技有限公司总经理，华东师范大学教授博导，CCF形式化专委副主任。研究聚焦形式化方法与软件工程领域，包括软件验证理论与算法，以及测试验证工具的研发。目前担任科技部重点研发计划专项“人工智能安全可信理论及验证平台“首席科学家。研究成果曾获ACM杰出论文奖，上海市科技进步特等奖，北京市科技进步一等奖等奖项。其中主导研发的两款工业级软件验证与测试工具服务了30余家企业，有效提升了企业软件开发的质量与效率，并成功支撑嫦娥五号飞行器、上海无人驾驶17号线等重大工程的顺利实施。
李戈，北京大学
报告题目：关于支持程序理解与生成的深度学习模型的启发式探讨
报告摘要：我们最近的很多研究工作，都将深度学习应用于程序生成、程序理解相关的任务并取得了SOTA的结果。在此过程中，有些基础性问题越来越需要关注，例如，深度学习模型到底是怎样理解程序代码的？它能否按照人们所设想的方式去理解程序代码？代码中的哪些信息能够被深度神经网络捕捉到？本报告将对这些问题进行启发式讨论。另外，本报告还会涉及一些关于程序处理深度学习模型的鲁棒性和安全性的问题，例如，用于程序处理的深度学习模型是否可靠，它在哪些方面会表现出脆弱性，使用深度学习模型处理程序会有哪些风险等。
报告人简介：李戈，北京大学信息科学技术学院计算机科学技术系副教授，主要研究领域：程序分析与生成，深度学习与知识工程。毕业于北京大学计算机系，曾赴斯坦福大学计算机系人工智能实验室从事深度学习方面的合作研究，任职访问副教授，CCF软件工程专委会秘书长。所在研究团队聚焦于基于机器学习概率模型的程序语言处理、程序分析与生成等，在程序代码理解、代码自动生成、代码特征检测等方面一直保持着国际上领先的研究成果，在NIPS，AAAI，IJCAI，ACL，ICSE，ASE，ICPC，TOSEM，EMSE等发表论文40余篇，曾获教育部高等学校科学研究优秀成果奖科技进步一等奖，北京市科技发明二等奖，CCF科学技术奖技术发明一等奖。科研转化成果aiXcoder正在为航天、互联网、银行等领域的多家头部企业的开发者提供服务。
卜磊，南京大学
报告题目：基于在线验证的实时系统运行时安全监控与控制生成
报告摘要：实时混成系统广泛出现在列控、航天、航空、智能驾驶等安全攸关领域，其行为正确性至关重要。然而，实时混成系统内部行为中离散、连续行为交织，极其复杂；而外界动态不确定环境更近一步加剧了相关系统行为复杂度，使得相关系统的安全保障难以进行。针对此问题，我们提出了一种基于形式化验证的方法，运行时对系统短期内行为进行快速建模与验证，从而对潜在不安全行为进行发现与预警。在此基础上，进一步进行运行时细粒度控制参数自动生成，在发现潜在危险时，接管系统控制，保障安全。部分成果已实际部署于列控国家工程中心半实物仿真系统，实现危险行为成功预警与停车，引起领域广泛关注与影响。
报告人简介：卜磊，南京大学计算机科学与技术系教授，博导。主要研究领域是软件工程与形式化方法，包括模型检验技术，实时混成系统，信息物理融合系统等方向。2010年在南京大学获取计算机博士学位。曾在CMU、MSRA、UTD、FBK等科研机构进行访学与合作研究。相关工作发表于领域重要期刊与会议如TCAD、TC、TDSC、TCPS、TPDS、RTSS、HSCC等。入选国家级青年人才项目，NASAC青年软件创新奖，高校计算机专业优秀教师奖励计划，中国计算机学会青年人才发展计划，微软亚洲研究院铸星计划等。
董威，国防科技大学
报告题目：程序生成：从自动化到智能化
报告摘要：程序自动生成一直是计算机科学领域的研究热点，例如程序综合很早就被提出并深入研究，基于模型的代码生成已在实践中有了广泛应用。该报告结合团队近年来在基于代码大数据和群体智能的程序综合、基于反应式综合的无人系统控制程序生成等方面的研究进展，对程序自动化生成和智能化生成之间的差异以及发展过程中涉及的一些问题进行探讨。
报告人简介：董威，国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件、智能化软件开发方法，中国计算机学会形式化方法专委会秘书长、软件工程专委会委员。曾获首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金、国家863、国防领域课题多项，发表学术论文70余篇，包括ICSE、ASE、IEEE Trans、ACM Trans等一系列会议和期刊，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。
六、主持人
李青山，西安电子科技大学
主持人简介：李青山，博士，教授，博士生导师，天博全站官网登录/国家示范性软件学院党委书记、软件工程一级学科负责人、智能软件与系统新技术研究所所长，曾任校发展规划处副处长/一流建设工作办公室副主任、研究生院副院长、软件学院副院长。目前担任西安市智能软件工程重点实验室主任，教育部省级重点学科“软件工程”学术带头人，享受陕西省“三秦人才”津贴；CCF杰出会员、软件工程专委会、大数据专委会、青年工作委员会委员、全国工程专业学位研究生教育指导委员会软件工程领域协作组成员，陕西省计算机学会软件工程专委会副主任。主要从事面向智能体的软件工程、软件体系结构、自适应软件演化、智能软件工程、大数据智能化分析技术等方向研究工作，主持国家科技部重大研发计划课题、国家863重大项目课题、国家自然科学基金面上项目等国家和省部级项目五十余项，在ICSE、ESEC/FSE、《中国科学》、《软件学报》、《计算机学报》等CCF A类会议和软件工程顶级会议期刊发表论文90余篇，授权/公开国家发明专利30余项，获省部级及以上科研/教学奖励两项。
崔江涛，西安电子科技大学
主持人简介：崔江涛，天博全站官网登录教授、博士生导师。1998、2001和2005年分别在西安电子科技大学计算机学院获本科、硕士和博士学位。2007年至2008年作为国家公派访问学者赴澳大利亚昆士兰大学数据与知识工程研究所从事访问研究。2018年入选陕西省高等学校教学名师，2020年入选省部级人才。享受国务院政府特殊津贴，入选第八届教育部科学技术委员会学部委员。
现任天博全站官网登录(国家示范性软件学院)执行院长、校学术委员会委员，计算机科学与技术专业负责人、数据科学与知识工程学科方向带头人。是中国计算机学会（CCF）杰出会员、CCF理事、ACM/IEEE Member。担任CCF数据库专委会委员、大数据专委会委员、区块链专委会委员、教育工委委员，中国工程教育专业认证骨干专家，教育部高等学校计算机类专业教学指导委员会“网络工程专业教学指导工作组”副组长，高校在线开放课程联盟联席会工作组成员，信息技术新工科产学研联盟理事、陕西省计算机教育学会副理事长等。主要研究方向为数据库管理与内核技术、复杂数据查询与索引、数据安全与隐私保护、区块链应用技术等。在相关领域顶级会议和重要国际学术期刊上（如ICDE、SIGMOD、SIGKDD、VLDB、TKDE、VLDB J.、Inf. Sci.）发表80余篇学术论文，获得相关领域国家发明专利授权10余项。主持获得陕西省自然科学奖二等奖一项，陕西省教学成果奖一等奖两项。
沈玉龙，西安电子科技大学
主持人简介：沈玉龙，博士，教授；西电天博全站官网登录副院长，陕西省网络与系统安全重点实验室副主任，智慧城市产业生态圈安全技术组主席；陕西网信小组专家咨询委员会委员，国家商用密码总体工作组副组长，长期从事无线网络、数据安全、智能电子系统安全等方面的研究；曾获国家技术发明二等奖2项，省部级一等奖5项，2018 CCTV中国十大创业榜样。
七、联系我们
徐悦甡，西安电子科技大学
邮箱：ysxu@xidian.edu.cn
王璐，西安电子科技大学
邮箱：wanglu@xidian.edu.cn
