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月1日（星期五），08:30 – 18:00

地点: 上海国际会议中心，3楼黄河厅

论坛简介： 

    本论坛聚焦研究热点和最新研究进展，邀请优秀学者到 CCF 中国软件大会介绍其工作并传授科研经验，以期带动软件领域的相关研究人员做出更高水平的学术贡献，发表高层次的学术论文。

    本论坛邀请了来自于华中科技大学的华宇、清华大学的贺飞、华为公司的夏鑫等三位学术界、工业界的前沿研究者做特邀报告，讲授软件工程、系统软件、形式化方法领域前沿技术以及从事高水平前沿科学研究的经验。本论坛邀请了今年发表于 CCF A 类会议/期刊的论文作者作为论坛演讲嘉宾，介绍他们在科研选题、破题、实验、写作以及推广应用等方面的经验和教训。其中6篇论文获得CCF A类会议的最佳论文或者杰出论文奖。

日程安排

Schedule

论坛主席

Forum Chairmen

陈雨亭 

上海交通大学 

    副教授，博士生导师，主要研究可信的软件运行环境、 程序分析与测试技术，在 TOSEM、 TSE、 PLDI、 ICSE、 FSE、ISSTA、 ASE 重要国际会议与期刊上发表或被接收过约 80 篇论文；曾主持、参与国家自然科学基金项目、科技部重点研发项目 10余项。获 NASAC-东软青年软件创新奖、 ICSE 2023 杰出论文奖等。

陈振邦

国防科技大学

    国防科技大学计算机学院教授、博士生导师，主要研究方向为程序分析、形式化方法及其在不同背景下的应用。近年来主要围绕符号执行相关的理论、技术和应用开展研究，成果发表在ICSE、FSE、ISSTA、ASE、FM、TCS等重要国际会议或期刊上，获ACM SIGSOFT杰出论文奖2次。获国家科技进步二等奖1项、省部级科技进步二等奖2项，获NASAC青年软件创新奖。

姜艳杰

北京大学

北京大学全职博士后，师从张路教授、刘辉教授。研究方向包括软件代码的自然语言处理：关注代码的文本语义，重点解决代码中缩写词的扩展与解读问题；软件缺陷：研究大规模高质量软件缺陷库的自动化构建方法，构建了缺陷库GrowingBugs。在ESEC/FSE、ICSE、TSE、ASE、ISSTA等CCF A类会议/期刊上发表论文十余篇。

论坛嘉宾

Forum Guests

贺飞

清华大学

    清华大学长聘副教授，博士生导师。主要从事程序验证、模型检验和自动推理的研究。开发了模型检验和程序验证工具，并在中航、中车、华为等公司进行应用。在形式化方法、程序语言和软件工程的重要国际会议和期刊上发表论文80余篇。入选国家某青年人才计划和“中创软件人才奖”，曾获并行编程旗舰会议PPoPP 2022最佳论文奖、软件工程顶会ASE 2018杰出论文奖、形式化方法会议SETTA 2022最佳论文奖等。

报告题目：

程序终止性分析的若干进展

报告摘要：

   程序终止性问题是程序验证领域的一个经典难题，关注程序是否在所有输入情况下都能结束执行。该问题属于不可判定问题，即不存在一种通用算法能够确定所有程序的终止性。本报告将介绍我们在程序终止性和非终止性证明领域取得的一些最新研究成果，并对概率程序和演化程序的终止性分析进行讨论。