CCF ChinaSoft 2023 论坛巡礼｜系统软件测试验证论坛

2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！

CCF ChinaSoft 2023官方首页：

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

✦  +

+

论坛巡礼

论坛名称：系统软件测试验证论坛

时间：2023年12月02日15:40-17:40

地点：上海国际会议中心，3A会议室

论坛简介：

在安全攸关系统中，如自动驾驶控制系统、航空航天控制系统、核反应堆控制系统、电力设备控制系统，这些系统中的软件功能或性能问题可能导致灾难性后果，软件测试验证也被广泛应用于这类系统的分析，保证系统的正确性。然而，传统的软件测试验证研究大多聚焦在应用软件的分析上，忽视了底层系统软件的建模和分析。系统软件为应用提供必要的运行基础，包含操作系统、中间件、数据库管理系统、协议、容器等，具有重要的支撑作用。系统软件的运行机制复杂、代码规模庞大，传统的测试验证方法，在系统软件上，对性能和功能等缺陷的分析效率和效果受到极大制约。

针对操作系统、数据库、协议、容器等系统软件的功能、性能等问题，“系统软件测试验证”论坛关注系统软件分析、测试、验证和演化等过程的技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集国内外研究人员在软件测试验证等方面，取得的理论、技术方法突破和具有创新性、影响力的高水平研究成果，实现系统软件多维度多手段的深度分析，为相关研究者和实践者提供发表最新成果的学术交流平台。

日程安排

Schedule

论坛主席

  Forum Chair

田聪（西安电子科技大学）

西安电子科技大学教授，国家级高层次人才，曾获国家自然基金重大项目、优青、国家重点研发计划、陕西省青年科技新星等资助，获教育部和陕西省科技成果一等奖，担任陕西省重点科技创新团队负责人，研究方向为系统软件与可信保障。

卜磊（南京大学）

南京大学教授，2010年在南京大学计算机与科学技术系获取博士学位；曾在CMU、MSRA等科研机构进行访学与合作研究；主要研究领域涉及软件工程、可信软件、形式化方法，研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、TCPS、RTSS、ICSE、ISSTA、ASE等上；入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖等。

李姗姗（国防科技大学）

国防科技大学计算机学院教授，国家级青年人才。长期致力于高可信软件的科研工作，主要研究兴趣包括软件代码缺陷检测、韧性配置管理、智能化软件开发等，研究成果发表于ICSE、FSE、ASE、ISSTA、VLDB、TOSEM、TSE等高水平刊物，获ICSE'23杰出论文奖等论文奖励 6 次。曾荣获湖南省科技创新领军人才、中创软件人才奖、CCF NASAC青年软件创新奖，国家科技进步二等奖、军队科技进步一等奖、湖南省技术发明一等奖等。

姜宇（清华大学）

清华大学软件学院长聘副教授。研究方向为软件系统的安全分析，重点关注操作系统、数据库等软件的测试与防护，在MySQL、Safari和Linux等广泛使用的系统软件中挖掘300+漏洞被收入中美国家信息安全漏洞库。研发的自动化漏洞挖掘技术被并入谷歌ClusterFuzz，微软OneFuzz等平台。在ACM SOSP, IEEE S&P, PLDI等会议和期刊上发表论文100余篇，获EMSOFT, FSE等会议的最佳论文或提名奖6次，主持基金委优秀青年科学基金、科技部重点研发计划项目、华为大颗粒研究计划项目等20余项。曾获2015年CCF优秀博士论文奖、2020年阿里巴巴达摩院青橙奖，2021年微众学者等奖励。