PACMPL 2025 期 POPL 期刊征集编程语言和编程系统各个方面的理论和实践贡献。在 PACMPL 2025 期 POPL 期刊上发表论文的作者将受邀在 2025 年 1 月举行的 POPL 会议上展示其研究成果。该会议由 ACM SIGPLAN 主办，并与 ACM SIGACT 和 ACM SIGLOG 合作举办

1、组委会

主席：

Steve Zdancewic 宾夕法尼亚大学

项目主席：

Armando SolarLezama 麻省理工学院

联合主席：

llya Sergey 新加坡国立大学

Michael Greenberg 史蒂文斯理工学院

宣传主席：

Ningning Xie 多伦多大学

聚焦于编程语言及系统的核心原理与创新技术，既包括理论框架也欢迎经验报告，在 语言设计、类型系统、程序分析与验证、编译器实现及接口设计等领域。

1、POPL 2025 征文通知
PACMPL 2025 期 POPL 期刊征集编程语言和编程系统各个方面的理论和实践贡献。在 PACMPL 2025 期 POPL 期刊上发表论文的作者将受邀在 2025 年 1 月举行的 POPL 会议上展示其研究成果。该会议由 ACM SIGPLAN 主办，并与 ACM SIGACT 和 ACM SIGLOG 合作举办。

2、范围
编程语言原理 (POPL) 是一个讨论编程语言和编程系统各个方面的论坛。欢迎提交理论和实验性论文，主题涵盖形式化框架和经验报告。我们寻求对编程语言的理论、设计、理解、实现或应用做出原则性且持久贡献的投稿。

3、评估标准
评审委员会将评估每篇投稿的技术贡献以及其对专家和普通 POPL 读者的可及性。所有论文将根据重要性、原创性、相关性、正确性和清晰度进行评判。每篇论文必须用一般术语和技术术语阐述其科学贡献，指出已取得的成果，解释其重要性，并将其与先前的研究进行比较。有关撰写技术论文的建议，请访问SIGPLAN 作者信息页面。

4、双盲评审
POPL 2025 将采用完全双盲评审流程（与 POPL 2023 和 2024 的流程类似，但与往年使用的轻量级双盲流程不同）。这意味着，审稿人只有在做出有条件接受的决定后才会看到作者的身份，而且只有被有条件接受的论文才会公开。采用完全双盲评审会给作者带来诸多影响。

5、投稿

作者必须在投稿论文中省略其姓名和机构。此外，引用作者本人先前工作时应使用第三人称（例如，不要使用“我们基于先前工作……”，而应使用“我们基于……的工作”）。

6、补充材料

作者可以在提交论文时提供补充材料（例如，详细证明、证明脚本、系统实现或实验数据），审阅者可以（但非强制）进行审核。这些材料可以采用单个文件的形式，例如 PDF 或 tarball 文件。作者必须完全匿名化所有补充材料。

chmat@dtu.dk