简介
本论坛由CCF 218 Club发起。CCF 218 Club主要由入选“CCF青年人才发展计划”的学者组成,该计划旨在支持一批已经取得较优秀成绩、具有较强创新能力的青年学者,因此本论坛始终聚焦青年学者的成长与发展。当大模型将科研效率推向新高,青年学者面临的已非“用不用AI”的选择,而是“如何在AI赋能下建立不可替代的学术坐标”。本论坛以“破壁与深耕”为主题:“破壁”指跨越学科壁垒,在交叉地带寻找新生长点;“深耕”则强调在自身领域建立标识,避免被热点裹挟。论坛邀请资深学者分享如何在变动中锚定研究主线,也邀请青年学者围绕学术选择等议题进行汇报与对话,助力青年学着发展。
简介为官网原文,部分内容可能未写完。
人员
主席
- 文明 · 华中科技大学
嘉宾
- 谢晓园 · 武汉大学
- 张扶桑 · 北京航空航天大学
- 赵杰茹 · 上海交通大学
- 李彤 · 中国人民大学
- 谭添 · 南京大学
报告安排
找准坐标:智能浪潮下的软件质量研究之路
谢晓园 · 武汉大学
简介
大模型正在重构软件研发流程,各类商用 AI 测试、代码修复工具持续涌现,时常让人困惑研究该往何处发力。结合软件质量保障方向的探索经历,本次分享和大家交流如何在快速变化的技术环境中探索研究主线。商用工具能够顺畅落地工程流程,但不少底层核心难题很难依靠产品迭代解决。我们可以结合自身长期积累,持续深耕领域固有问题,同时适度跨域融合寻找创新机会。理性区分工程落地与学术研究的不同目标,在热点浪潮中找准适合自己的研究路径,慢慢形成属于自己的研究特色。
创造“无线可能”:泛在无线感知
张扶桑 · 北京航空航天大学
简介
随着智能物联网、移动与普适计算领域的发展,泛在无线感知利用广泛存在于环境中的无线射频信号,例如:WiFi、UWB、毫米波等,除了支持无线通信功能外,通过建模分析人和环境对泛在信号的影响,可以实现对感知目标的位置和状态等信息的感知。本次报告围绕基于泛在信号的智能感知的多样化信号,介绍各类无线感知的最新进展,为推进感知技术落地与突破智能感知性能瓶颈提供新思路。
扎根突围:面向异构硬件的高效编译优化
赵杰茹 · 上海交通大学
简介
随着人工智能技术快速迭代,硬件架构逐步走向异构化与多样化,大幅提升了软硬件协同适配的难度。同时,智能模型推理过程中的算力开销、存储瓶颈与跨平台部署难题愈发凸显。如何在提升模型推理性能的同时,有效降低异构硬件的适配部署成本,成为重要研究问题。本报告将从编译优化核心视角出发,介绍面向异构硬件的多层级高效编译框架与自动代码优化技术,探讨适配异构算力的优化思路与实现方案。
从华为到人大:产业问题驱动的网络系统研究与实践
李彤 · 中国人民大学
简介
大模型时代,青年学者如何建立不可替代的学术坐标?选题从哪里来,是首先要回答的问题。一个值得思考的对比是:读论文找问题,拼命找都找不到;工程中发现问题,多到根本解决不完。本报告将结合从华为到人大、从产业实践到基础研究的经历,围绕确定性网络传输控制这一主线,探讨这一“出”一“归”之间,研究选题的来源发生了什么变化,产业经验如何影响后续的技术路线和专业教学,以及青年学者在智能时代的路径选择。
以系统驱动研究:从程序分析框架“太阿”到长期研究路线
谭添 · 南京大学
简介
程序分析是理解程序行为、发现软件缺陷、保障软件安全可信的重要基础技术。基于程序语义、抽象建模和形式化推理,程序分析能够提供确定性、可复现、可解释的分析结果,并在现代软件的质量与安全保障中发挥长期作用。基于这一认识,我们长期坚持程序分析研究,并选择了一条相对少见的系统驱动路径:自主研发程序分析框架“太阿”(Tai-e),将其作为支撑研究问题形成、分析算法实现、应用场景探索的基础设施。本报告将结合 Tai-e 的建设过程和相关研究成果,讨论我们为什么坚持做程序分析,以及如何通过自研系统支撑持续研究积累,形成一条以系统为核心、不断迭代演进的长期研究路线。