面向对象程序设计系统、语言与应用会议

OOPSLA 是编程语言领域历史最悠久、最具影响力的旗舰会议之一，聚焦面向对象及更广义的编程系统、语言与环境研究。自 2021 年起，OOPSLA 以 PACMPL（Proceedings of the ACM on Programming Languages）期刊形式出版，每年两轮评审，录用论文受邀在 SPLASH 大会上现场报告。OOPSLA 2026 与 ISSTA 2026 联合举办 SPLASH/ISSTA 2026 大会。
OOPSLA 欢迎编程语言方向的所有实践与理论研究，包括新语言构造、语义、类型系统、程序分析、编译技术、形式化保证以及对 PL 实践有推进作用的评估方法；也关注 LLM/AI 与编程语言交叉的工作，但要求具备实质性的 PL 视角。

1、组委会

评审委员会（Review Committee）共同主席：
Anders Møller（丹麦奥胡斯大学 Aarhus University）
评审委员会共同主席：
Işıl Dillig（美国德克萨斯大学奥斯汀分校）
评审委员会副主席：
Sarah E. Chasins（加州大学伯克利分校）、Maria Christakis（维也纳工业大学）、Dan Grossman（华盛顿大学）、Peter Müller（苏黎世联邦理工学院）、Nadia Polikarpova（加州大学圣地亚哥分校）、Michael Pradel（CISPA 亥姆霍兹信息安全中心）、熊英飞（北京大学）、Steve Zdancewic（宾夕法尼亚大学）

2、出版信息

录用论文发表于 PACMPL（Proceedings of the ACM on Programming Languages）OOPSLA 卷，出版于 ACM Digital Library

编程语言设计、语义与类型系统
程序分析与验证、编译技术与运行时系统
程序综合、修复与变换
开发工具与环境（IDE、调试、测试、重构）
形式化方法在编程语言中的应用
实证研究与编程语言可用性

1、投稿指南

ACM PACMPL 模板（acmart）；终稿上限 25 页正文 + 最多 1 页数据可用性/资助/致谢声明 + 参考文献（不限页），不提供付费加页选项；投稿须匿名（双盲）；须通过 HotCRP（https://oopsla26.hotcrp.com/）提交；每篇投稿至少一名作者注册储备评审人

2、重要时间

Round 1：投稿 2025年10月10日；作者答复 2025年12月2-5日；通知 2025年12月17日；修改稿 2026年2月3日；修订通知 2026年2月17日；终稿 2026年2月27日
Round 2：投稿 2026年3月17日；作者答复 2026年5月19-22日；通知 2026年6月10日；修改稿 2026年7月21日；修订通知 2026年8月7日；终稿 2026年8月14日

[email protected]