ccf及各专委的博士学位论文激励计划为推动中国计算机领域的科技进步，鼓励创新性研究，激励计算机领域的博士研究生潜心钻研，务实创新，解决计算机领域中需要解决的理论和实际问题，表彰做出优秀成果的年轻学者而设立。本次论坛邀请了领域内对青年学者培养突出贡献的杰出学者/教育家，以及软件工程、系统软件、形式化方法三个专委2023年的博士学位论文激励计划的入选人，共同探讨青年学者培养和相关前沿技术话题。
01
论坛组织委员会
李国强（上海交通大学）
徐梦炜（北京邮电大学）
张宇霞（北京理工大学）
02
论坛议程
03
论坛报告嘉宾简介
胡振江
报告题目：“双向计算”研究探索：一段既愉悦又充满挑战的旅程
报告摘要：
双向计算作为一种新型的计算模式，不仅涵盖了传统的正向计算过程，即从输入算出输出，还独特地引入了逆向计算机制，能够将输出的变化逆向映射至输入端。这一新的计算范式在数据互操作性、系统自适应性以及系统模型的共同进化等领域展现出巨大的应用潜力。追溯其起源，双向计算的概念可回溯至80年代数据库领域中的经典难题——“视图更新问题”。近年来，随着与程序设计语言的深度融合，双向计算取得了显著的进展，然而，要实现其广泛应用仍面临不小的挑战。在本报告中，我将介绍这一前沿计算模式的同时，回顾并分享过去二十年间我们在双向计算研究道路上所经历的喜悦与挑战，以及我们的一些思考。这不仅是一段技术的探索之旅，更是一次心灵的历练与成长。
报告人简介：
胡振江，北京大学讲席教授、计算机学院院长。1996年在日本东京大学获得博士学位。曾担任东京大学信息理工学研究科教授和日本国立信息学研究所教授/系主任。长期从事程序设计语言和软件科学与工程的研究，曾获全日本最佳博士论文奖、日本软件科学会基础研究成就奖，21世纪先驱科学家（日本科学技术振兴机构）、日本工学会会士、日本工程院院士、欧洲科学院院士、ieee会士。
何浩辰
报告题目：配置驱动的大规模软件性能问题检测
报告摘要：
软件配置作为软件对外交互的重要接口，不仅以条件表达式的形式控制软件的行为，还控制了系统资源使用，与软件性能密切相关。配置调优可以解决性能错误配置（misconfiguration）问题，但随着软件逐步向高可配置化发展，使得配置相关的代码性能缺陷愈发突出。针对配置相关性能问题检测缺乏测试预言、配置语义理解难等问题，提出基于配置驱动的性能缺陷测试框架，从不同层面发现历史未知的配置相关性能问题。
报告人简介：
毕业于国防科技大学计算机学院，从事软件缺陷检测研究工作，在vldb、icse、ase、fse、计算机学报等会议和期刊发表学术论文12篇，发明专利7项，获省部级科技进步奖1项，担任tse审稿人，2023年入选中国计算机学会系统软件专委优秀博士论文激励计划，获评国防科技大学优秀博士学位论文。
马腾
报告题目：在cxl的时代重新审视分布式编程范式设计
报告摘要：
随着摩尔定律的放缓，分布式编程越来越被重视。本文重新审视了不断发展的互连技术如cxl中消息传递 (mp) 和分布式共享内存 (dsm) 的范式。通过借助了于cxl 的内存共享和池化，本文解决了管理共享状态所涉及的复杂性，特别是在部分故障的情况下——称为部分故障弹性 dsm (rdsm)。接着提出了一种名为 cxl-shm 的内存管理系统，该系统利用引用计数和分布式矢量时钟实现强大的内存管理。为了与消息传递模型兼容，还引入了一个基于 cxl 的 rpc，名为 hydrarpc，它利用 cxl 共享内存来避免数据复制和序列化。
报告人简介：
马腾于2021年在清华大学获得工学博士学位，2021至2023年期间在阿里巴巴从事博士后研究，目前他担任阿里巴巴的系统研究员，他的研究方向是rdma，cxl，数据中心解耦结构，内核内存等。他在sosp，atc，asplos，sc，infocom，cluster，iccd，tpds等顶级学术会议和期刊上发表20余篇论文，并且授权了中国和美国专利十篇。
冯胜华
报告题目：switching controller synthesis for hybrid systems against stl formulas
报告摘要：
switching controllers play a pivotal role in directing hybrid systems (hss) towards the desired objective, embodying a ``correct-by-construction'' approach to hs design. identifying these objectives is thus crucial for the synthesis of effective switching controllers. while most of existing works focus on safety and liveness, few of them consider timing constraints. in this paper, we delve into the synthesis of switching controllers for hss that meet system objectives given by a fragment of stl, which essentially corresponds to a reach-avoid problem with timing constraints. our approach involves iteratively computing the state sets that can be driven to satisfy the reach-avoid specification with timing constraints. this technique supports to create switching controllers for both constant and non-constant hss. we validate our method's soundness, and confirm its relative completeness for a certain subclass of hss. experiment results affirms the efficacy of our approach.。
报告人简介：
冯胜华，中关村实验室助理研究员，2023年博士毕业于中国科学院软件研究所计算机科学国家重点实验室，期间于美国colorado 大学访问。研究方向为形式化验证，特别是程序与混成系统的分析、验证和生成，在形式化领域顶级国际会议/期刊cav、oopsla、fm、ieee tac上发表多篇文章。
李昊坤
报告题目：无量词非线性公式可满足性问题的求解方法
报告摘要：
非线性公式的可满足性问题不仅是理论研究的热点，也是程序验证中的一个核心问题。本报告专注于介绍无量词非线性公式的求解方法，包括利用多项式的弦结构优化柱形代数分解（cad）的投影序列，通过单胞腔投影操作符更有效地与冲突驱动的子句学习（cdcl）策略结合，以及使用局部搜索算法快速寻找解。报告最后还将介绍求解超越方程和混合三角多项式的方法。
报告人简介：
李昊坤，2022年获北京大学博士学位，现于华为2012可信费马实验室担任主任工程师，参与多个重要的形式化验证项目。主要研究方向为符号计算，定理证明及程序验证，相关工作发表在cav，issac，jsc等国际知名期刊和会议上。
燕季薇
报告题目：基于大模型知识增强的软件质量保障
报告摘要：
生成式人工智能技术近年来得到迅速发展，大模型在自然语言和代码的理解与生成方面表现出色，被广泛用于提升软件代码的质量保障能力。针对具体任务的有效知识增强是该方向的关键挑战之一。本报告将分享基于静态程序分析技术的大模型知识增强方面的研究成果，包括过时测试用例的自动更新和静态代码检查器的自动生成，并讨论这些知识增强方法在实践应用中的能力与不足。
报告人简介：
燕季薇，中国科学院软件研究所助理研究员，主要从事程序分析与测试、智能化软件工程方面的研究，近年来主要关注移动应用测试、基于大模型的软件质量保障等。曾获中国科学院院长奖、中国科学院大学领雁奖银奖，入选2023年中国计算机学会软件工程专业委员会博士学位论文激励计划。在icse、fse、issta、ase等软件工程领域的国际知名会议期刊发表论文 20 余篇；担任软件工程高水平学术会议 issta、mobilesoft程序委员会委员；曾主持国家自然科学基金青年基金、软件所优青项目、华为技术开发项目在内的多项科研项目。
04
论坛组织委员会简介
论坛主席：李国强
个人简介：
李国强博士，上海交通大学软件学院副教授，博士生导师，毕业于日本北陆先端科学技术大学院大学。中国计算机学会高级会员，形式化方法专业委员会常务委员。主要研究方向为形式化验证、程序语言理论、智能系统验证与安全。主持国家自然科学基金四项、自然科学基金重点子课题一项。已经在主流会议和知名期刊发表论文超百篇，包括 oppsla、ase、fse、icse、cscw等顶级会议以及tse、tsc、tdsc 、tsmca、tdsc、 tecs等顶级期刊。获icse 2020杰出论文奖。
论坛主席：徐梦炜
个人简介：
徐梦炜，北京邮电大学计算机学院副教授，博士生导师。于北京大学获得本科与博士学位，入选中国科协青年人才托举工程，北京市科技新星，微软亚洲研究院“铸星计划”访问学者，普渡大学访问学者。主要研究领域为移动/边缘计算和系统软件，近些年专注于边缘场景下的机器学习系统构建与优化，相关成果发表于acm mobicom/mobisys/asplos /ieee tmc/软件学报等国内外顶级会议期刊，获usenix atc 2024最佳论文奖。主持国家自然科学基金、科技部重点研发项目课题等多个项目。
论坛主席：张宇霞
个人简介：
张宇霞，现任北京理工大学计算机学院助理教授。研究领域包括开源软件开发及生态可持续、实证软件工程、和智能软件开发。在icse、fse、tse、tosem、esem等顶级会议和期刊上发表论文20余篇。主持国家自然科学基金青年项目和国防科技重点实验室项目，并作为单位第一负责人参与国家自然科学基金重点项目。受邀担任国际顶级期刊tse，tosem，emse的审稿人，担任国际fse2023，icse2024程序委员会委员，担任ase 2024 review process共同主席等。获得icse 2022杰出论文奖、esec/fse 2023杰出论文奖。
