OOPSLA从2022年到2025年投稿数量和中稿率均呈现上升趋势,2024年中稿率更是接近39%,很对人可能会疑惑,这么高的中稿率,还能被定义为顶会吗?在编程语言(PL)领域,顶会的定义标准长期高度一致:是否引领研究范式
是否决定学科发展方向
是否长期输出可复用、可验证、可积累的成果
是否对工业与后续研究产生持续影响
在这一标准下,OOPSLA 的地位非常稳固。许多被广泛使用的语言特性、程序分析框架、验证工具,其最初形态都发表在 OOPSLA。
OOPSLA在投稿前筛选已经极其残酷,投稿作者主要来自PLDI/POPL/ICFP/OOPSLA社区,本身是PL领域的深度研究者,明显不成熟或者贡献模糊的论文根本不会被提交,所以OOPSLA近39%的中稿率是在高质量论文上的通过率,而不是全量论文的概率。与许多会议不同,OOPSLA 的中稿论文会发表在 PACMPL(ACM Transactions 级别期刊),并支持支持多轮 revision。OOPSLA 极度重视Formal definition 是否严谨、假设是否被明确说明、实验是否真正验证 claim,而非展示效果,强烈排斥仅在某个benchmark上小幅提升、只对某个具体语言/工具有效、更像工程技巧而非研究问题这类论文。1、页数限制:正文不超过23页(参考文献、补充材料不限),且使用ACM/ PACMPL指定模板,修订稿最多可增至25页。2、双盲评审:在论文被接受前,作者身份、机构、材料等都必须匿名。3、评审制度:合并评审结果标签,Conditional Accept 与 Minor Revision 合并为统一的 Minor Revision决策,简化了评审结果体系。(新增)4、保留审稿人政策:至少一位作者必须注册为 Reserve Reviewer(预备审稿人),以支持会议评审生态。5、Artifact Evaluation政策:论文被 Accepted 或 Minor Revision(小修) 后,作者可选择提交工件进行评估。即使 Artifact 不是强制要求,提前规划好工件和文档撰写,可帮助提升可复现性与 Badge 评估通过率。OOPSLA 2026 的征稿方向相对宽泛且覆盖全栈式软件研究,核心主题包括但不限于:类型系统、抽象语义、程序逻辑
语言组合与语言模块化
领域特定语言设计
研究如何设计新的语言构造、类型系统、语义模型等,以提高编程表达能力、安全性和可变性。重点在于理解语言设计背后的结构性原理,而不是单纯语法扩展。
形式语义与证明工具
执行时检测与错误定位
自动化验证与可证明安全性
优化编译技术、运行时系统、内存管理、并行化执行策略等领域的创新,包括对动态语言或元编程特性的支持。强调可验证性与可重复性,对工具和理论都有较高要求。
形式语义与证明工具
执行时检测与错误定位
自动化验证与可证明安全性
涵盖静态分析、形式验证、动态检测等技术,以提高软件的可靠性和安全性。强调可验证性与可重复性,对工具和理论都有较高要求。
架构设计方法学
开发工具与 IDE 集成
软件构建与演化策略
OOPSLA 一直强调理论和实际工程的结合,因此在软件体系结构、工具链集成、协同开发流程等工程方向也广泛征稿。与软件工程交叉的研究在 OOPSLA 语境下也属于核心议题。
需求分析、建模与原型设计
代码自动生成、测试与评估
维护、演化与资源重用
OOPSLA 2026 明确指出论文可以覆盖 软件生命周期从最初需求到维护、重用等各阶段的问题。不再局限于传统语言层面,强调对软件整体生态的认识。
顶会不是天赋者的专属,而是清晰路径+专业指导+持续迭代的结果。
如果你也正处于:
或许,你需要的不是更多努力,而是一个懂行的引路人。
追梦AI是上海交通大学技术成果转化标杆企业推出的AI科研教育品牌,公司地址是上海模速空间(西岸智塔),有事业单位的强大背书,也支持线上和视频沟通,有需要【计算机SCI/CCF论文辅导】的需求可以添加老师咨询。
👆扫码立即咨询👆