青年学者论坛旨在为全国从事软件工程、系统软件等研究领域的青年科技工作者提供学术交流平台，向学术界介绍最新科学研究进展，向工业界展示最新的技术发明、系统开发及应用成果，向青年学生传播最新的学术思想和价值观。
自2016年起，本论坛邀请上年度“CCF NASAC青年软件创新奖”获得者作青年学者论坛报告，以进一步促进中国青年软件人才成长，激励中国青年软件人才“面向世界科技前沿、面向国家重大需求、面向国民经济主战场”，立足自主创新与实践，从而为推动中国软件发展做出重要贡献。
日程安排：
时 间：2020年11月22日（星期日）13:30-15:00
地 点：重庆富力假日酒店 宴会厅
报告 卜磊：基于路径遍历的有界验证途径及应用
摘要：人类社会正在进入软件定义一切的时代，软件系统的规模和复杂性增长进一步加剧，软件可信保障面临更加严峻的挑战。复杂软件系统中连续与离散行为交织、状态空间爆炸、非线性行为难以建模等障碍使得系统验证过程中的复杂性难以控制，现有方法与技术离处理实际问题需要存在较大差距。本报告系统地阐述我们为有效解决复杂系统验证过程中的复杂性控制问题所提出的基于路径空间遍历的有界验证途径。我们从单条路径状态空间验证出发控制整体验证的复杂性；通过路径中不可行片段的抽取进行路径空间缩减；设计新型浅同步语义规避组合状态空间爆炸；引入智能化动态迭代求解技术处理非线性约束难解问题；在此基础上，我们进一步将相关技术拓展至面向场景的复杂软件系统在线验证与控制生成，对软件系统行为可靠性进行系统性保障。基于上述工作，我们开发了复杂软件系统模型检验工具集BACH。与国际上同类相关工具相比，BACH在基准案例集上的性能明显超出，获得广泛关注与影响，并在列控、航天、物联网等领域得到实际应用验证。
简介：卜磊，南京大学计算机科学与技术系教授，博士生导师；2010年在南京大学获取计算机博士学位；曾在CMU、MSRA、UTD等科研机构进行访学与合作研究；主要研究领域涉及软件工程、可信软件、形式化方法，研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TCPS、TPDS、RTSS、CAV等上；入选中国计算机学会青年人才发展计划、微软亚洲研究院铸星计划，获NASAC青年软件创新奖等。
报告 李姗姗：水能载舟，亦能覆舟 --- 现代软件配置的喜与忧
摘要：配置是软件对外交互的重要接口，作为一种轻量级的演化控制手段，它可以根据用户意图快速反应，适应复杂多变的运行环境。然而，随着软件规模的急剧增长，配置的数量和复杂度都不断增加，配置在带来便利的同时，也容易引发系统故障，产生严重后果。本报告介绍了近年来在软件配置管理方面的一些探索工作，包括配置约束提取、配置故障诊断、配置演化分析等。
简介：李姗姗，国防科技大学计算机学院教授，博士生导师。长期从事国产基础软件相关的科研工作，主要研究兴趣包括软件演化控制、智能软件开发等。主持和参与多项科研项目，包括国家自然科学基金面上项目、国防973计划项目子课题、国家重点研发课题等。在FSE、ASE、SANER、ICPC等领域内重要的国际会议与期刊上发表多篇学术论文，获SANER 2018 Distinguish Paper Award。获2019年国家科技进步二等奖，2019年湖南省技术发明一等奖，2018年CCF自然科学二等奖，及军队科技进步一、二、三等奖各1次。获2019年度NASAC青年软件创新奖。
报告 乔磊：航天器多核操作系统实时任务调度与准入控制分析研究
摘要：航天器是资源受限的安全关键系统，自主智能性要求日益增强，在面临外部环境和内部状态变化且不改变硬件资源的情况下，需对系统功能进行动态扩展和重构、同时保证系统功能正确性和实时性，带来动态加入任务的实时调度和准入控制问题。本报告针对航天器任务实时性强、时间可预测性要求高等特点，面向下一代航天器多核操作系统实时任务调度、共享资源协同、实时性确保等需求，研究多策略调度与资源共享协同优化等关键技术，支持实时任务动态加入的在线准入控制，为航天器多类型实时任务并行执行提供实时性确保机制。
简介：乔磊，博士，航天五院502所研究员，中国航天科技集团公司青年拔尖人才，2019年度NASAC青年软件创新奖获得者，耶鲁大学访问学者。中国计算机学会系统软件、形式化方法和工业控制计算机专委会委员。一直致力于操作系统软件的设计、验证与可信保障技术研究。研究成果在以我国玉兔一号、二号月球车等为代表的重大型号任务中直接应用并发挥关键作用。发表论文50余篇，合作出版专著1本，申请国家发明专利20项，国际发明专利1项。主持或参与国家重大研究项目10余项，包括国家自然科学基金、核高基、863、装发预研等。作为核心成员，研发我国首个航天器操作系统SpaceOS，已应用于载人航天、探月工程、北斗导航等100多个航天器。获国防科技创新团队奖、北京市科技进步一等奖、军队科技进步三等奖等多项奖励。
。