CCF 程序设计语言会议

紫金会议 – 第一届CCF程序设计语言会议将于2026年8月4日至5日在南京召开。本次会议旨在汇聚国内程序设计语言及相关领域的研究者和实践者，围绕编程语言理论、设计、实现、工具、环境等主题，展开深入交流与讨论。

会议时间：2026年8月4日—5日
会议地点：江苏 · 南京，南京大学仙林校区国际会议中心
会议模式：以报告交流为主，无正式出版

会议为与会者提供参会邀请函，请按需下载使用。

主题报告

从全同态编译看 AI 时代的程序语言与编译系统设计

Jingling Xue UNSW Sydney

8月4日 11:00 – 11:45 @ 紫金厅

本报告以全同态加密（FHE）编译为案例，介绍 FHE 计算中的关键语义与编译约束，并以 ANT-ACE 为例，简要说明分层表示、合法性检查、优化搜索和目标映射如何支持合法、高效且面向目标平台的实现。

在此基础上，报告进一步思考 AI 时代程序语言与编译系统设计所面临的问题：当 LLM 越来越擅长生成和探索候选实现时，语言系统更需要保留用户意图、显式表达约束，并通过编译、验证和运行时机制定义可接受性、检查候选实现并支持持续演化。

讲者信息

Jingling Xue is a Scientia Professor at UNSW Sydney, where he leads the Programming Languages and Compilers Group. He received his BSc and MSc in Computer Science and Engineering from Tsinghua University in 1984 and 1987, respectively, and his PhD from the University of Edinburgh in 1992.

His research focuses on programming languages, compiler technology, and program analysis, and has been supported by the Australian Research Council, Intel, Huawei, Oracle, and Alipay.

Professor Xue has published more than 320 papers spanning foundational and applied research, with major contributions to compiler optimisation and program analysis. His monograph on loop tiling for parallelism remains a widely used reference in the field. Under his leadership, his group developed SVF, an open-source framework for C/C++ static analysis that is used by more than 250 universities, research institutions, and technology companies worldwide for compiler optimisation, vulnerability detection, and security research. His work has received numerous honours, including Best and Distinguished Paper awards at CGO, ECOOP, ICSE, ASE, and ISSTA, as well as the Most Influential Paper Award at CGO 2021.

He has served as Program Chair of LCTES 2013, CC 2018, CGO 2020, and CGO 2024, and as a Program Committee member for more than 200 conferences, including PLDI, POPL, OOPSLA, ECOOP, CGO, PPoPP, SC, and HPCA. He has supervised 34 PhD students to completion and currently mentors eight PhD candidates and five postdoctoral researchers. He is an IEEE Fellow, recognised for his contributions to compiler optimisation and program analysis.

从语法范式到认知智能：编译器、编程语言、IDE 与 AI Agent 深度融合演进

高耀清华为编译器与编程语言实验室

8月4日 11:45 – 12:30 @ 紫金厅

大模型与智能体技术的商业化爆发，正推动软件开发范式从传统人工编码加速迈向 AI 原生智能开发，编程语言、编程框架、编译工具的技术创新迎来全新发展窗口期。当前 AI 产业核心范式正从模型训练加速转向常态化推理与自主智能体任务落地，智能体将单次模型调用拓展为持续推理、工具调度、多步骤任务编排与迭代执行，推动 AI 算力结构深度重构，算力竞争从单芯片性能比拼，升级为机架级系统吞吐、单位 Token 成本、全链路交付效率的系统性角逐。场景定制化、异构多元化的算力硬件全面普及，云端机架级 AI 集群、服务器通用算力、端侧本地智能节点、机器人物理智能硬件形成多层级异构算力底座，倒逼传统编程、框架生态与编译工具链完成全方位适配革新。与此同时，企业级软件开发范式深刻迭代，传统人工主导的静态软件工程模式，加速向 AI 驱动、可自主规划、持续迭代的 AI 原生智能化开发体系转型升级。

产业实践表明，AI 赋能编程开发已从单点代码辅助，全面走向软硬件协同的全链路体系重构，同时行业发展伴生多重核心技术挑战：异构算力体系蓬勃发展带来显著的编程生态碎片化问题，跨硬件、跨平台程序适配成本高、统一开发范式缺失；大模型概率化代码生成存在语义幻觉、逻辑缺陷、边界场景适配不足等固有问题，智能生成代码的工程可信性、稳定性难以保障；面向复杂推理与智能体任务的跨架构性能调优高度依赖人工经验，自动化调优能力弱、泛化性不足；AI 智能体与传统编程编译工具体系相互割裂，难以实现需求到部署的全链路自治流转。

本演讲聚焦 AI 时代编程编译技术的智能化转型，构建编程语言、编程框架、编译器、IDE 与 AI Agent 深度融合的智能编程编译体系。该体系以编程语言为认知桥梁，承载语法范式与形式化语义创新，打通自然语言需求与形式化程序代码的语义鸿沟；以编译器为底层执行与优化引擎，依托语义校验、静态分析、跨架构统一编译、自适应性能优化能力，弥补大模型生成的不确定性缺陷，保障程序执行的确定性与高性能；以编程框架为智能化承载体与生态锚点，沉淀领域抽象规范与工程最佳实践，有效屏蔽底层异构算力的硬件差异与调度复杂性；以 IDE 为智能协作环境载体，打通编译反馈、代码调试、性能诊断、测试运维的全闭环协同通道；以 AI Agent 为核心驱动，完成需求理解、任务规划、代码迭代与全链路工具链编排。该体系旨在破解算力多样化带来的编程碎片化与跨架构性能调优难题，推动传统编程编译技术向智能化、可自演进、全链路自治方向持续进化。

讲者信息

高耀清，华为编译器与编程语言实验室首席专家和科学家，主导华为编译器领域业务战略和技术规划，实现华为鲲鹏、昇腾、麒麟等多款自研芯片的编译器技术创新突破和产品化研发，支撑华为公司ICT和终端业务的商业成功和竞争力持续领先。多次获得代表华为公司最高荣誉的金牌个人奖以及金牌团队奖。加入华为之前，先后在国防科大、清华大学、新加坡国立大学、日本东京大学和加拿大阿尔伯塔大学从事编程模型、编译技术、并行分布处理、体系结构和人工智能方面的教学和科研，而后从学术界加入到工业界，担任IBM编译器团队的首席架构师，负责全球IBM Power服务器、BlueGen巨型机、CELL加速器，system z大型机的编译器创新研发和产品交付。多次获得IBM杰出贡献奖和发明奖。在顶级国际学术刊物和国际会议上发表50余篇论文，拥有三本专著，并担任多个国际会议程序委员会成员，拥有40余项国际授予专利。

荣誉主席