第 46 届 ACM SIGPLAN 编程语言设计与实现会议（PLDI 2025）

PLDI 是编程语言和编程系统研究领域的首要论坛，涵盖设计、实现、理论、应用和性能等领域。

1、出版信息

所有正式论文将以开放获取形式发表在《Proceedings of the ACM on Programming Languages》（PACMPL）期刊的PLDI 2025专刊中，并收录于ACM Digital Library。这些论文将被EI Compendex、Scopus、DBLP等主要学术检索平台索引，确保广泛的学术传播和引用。所有论文将存档于 ACM 数字图书馆。作者可选择在论文中添加补充材料。正式出版日期为论文集在 ACM 数字图书馆上线的日期或会议第一天（以较早者为准）。请注意，正式出版日期可能早于会议第一天两周。正式出版日期会影响已发表成果相关专利申请的截止日期。

2、大会的组织委员会包括：

总主席：

Chung-Kil Hur（首尔国立大学）

程序主席：

Zachary Tatlock（华盛顿大学）

程序委员会成员：

Aaron Bembenek（墨尔本大学）

Albert Cohen（Google DeepMind）

Alex Potanin（澳大利亚国立大学）

会议的主题涵盖编程语言研究的各个方面，包括：

设计与实现：新的语言特性、编译器优化、运行时系统等。

理论：类型系统、语义学、形式化验证等。

应用：领域特定语言、嵌入式系统、并行与分布式计算等。

性能：性能分析、性能优化技术等。

1、范围

PLDI 是广义上的编程语言研究的顶级论坛。我们欢迎能够扩展和/或应用编程语言概念来推动计算领域发展的杰出研究。新颖的系统设计、深入的实证研究、富有启发性的理论成果以及全新的应用领域，都在 PLDI 的讨论范围内。

2、评估标准和流程

评审员将评估投稿的准确性、重要性、原创性和清晰度。投稿内容应经过精心组织，以便能够清晰地传达给广大编程语言读者以及论文主题领域的专家。论文应阐明已取得的成果及其与先前工作的关联。鼓励实证论文作者在准备投稿时参考 SIGPLAN 实证评估指南中的七个类别。

3、提交站点信息

提交网站为https://pldi2025.hotcrp.com。

作者可以在（确定的！）截止日期之前多次提交。只有最后一次提交的稿件会被审核。提交摘要没有截止日期。投稿网站要求输入作者姓名和所属机构、相关主题以及潜在的冲突。在截止日期之后添加或删除作者需要获得副主编的批准（因为这种更改可能会破坏在论文分配过程中消除冲突的目标）。

提交截止日期为 2024 年 11 月 14 日星期四晚上 11:59，全球任何地方：https://en.wikipedia.org/wiki/Anywhere_on_Earth

4、格式要求

每篇论文正文（不包括参考文献）不得超过 20 页，采用 ACM Proceedings 格式。选择此格式是为了与 PACMPL 兼容。它采用单列页面布局，字体大小为 10 pt，行距为 12 pt，页边距比最近的 PLDI 页面布局更宽。在此格式下，正文块宽 5.478 英寸（13.91 厘米），高 7.884 英寸（20.03 厘米）。使用其他格式（例如，字体较小或文本块较大）会导致摘要被拒。可在SIGPLAN 作者信息页面找到适用于 Microsoft Word 和 LaTeX 的 PACMPL 模板。使用 LaTeX 的作者应使用sample-acmsmall-conf.tex带有 选项的文件（位于 acmart 包的样本文件夹中）acmsmall。我们也强烈建议使用review和screen选项，例如：\documentclass[acmsmall,screen,review,anonymous,nonacm]{acmart}