系统、编程、语言和应用国际会议（SPLASH 2025）

ACM SIGPLAN 系统、编程、语言和应用国际会议：人类软件 (SPLASH) 涵盖软件构建和交付的各个方面，使其成为编程语言应用的首要会议——编程语言和软件工程的交叉领域。

1、组委会

主席：

张朝阳 香港科技大学 

联合主席：

benjamin.l.greenman：[email protected]

chandra：[email protected]

jeff：[email protected]

misailo：[email protected]

审查委员会联合追主席：

Shriram Krishnamurthi布朗大学

Sukyoung Ryu 韩国科学技术院

2、出版信息

论文集与附件包括 OOPSLA、Onward!（Papers/Essays）、SPLASH‑E、FARM、Posters 等多个轨道，所有经过双盲或单盲评审的论文和作品将被收录在 ACM Digital Library（伴随正式出版日期，可能比开幕日早两周），并检索于 ACM DL、DBLP 及其他平台。正式出版日期是指会议论文集在 ACM 数字图书馆发布的日期。该日期可能在会议第一天前最多两周。正式出版日期会影响已发表成果相关专利申请的截止日期。

聚焦于 “Programming Languages and Software for Humanity”，强调将编程语言的理论、设计与实现与软件工程实践紧密结合，以服务人类为宗旨 ，本届大会首次与 ICFP 联合举行，旨在成为“面向编程语言应用的顶级会议”，特别关注语言技术在真实系统构建、软件交付及人类福祉中的实际应用。

1、评审

论文将以双盲方式进行同行评审。被录用的论文将收录于 ACM 数字图书馆的 Onward! 论文集。论文提交将根据其观点的潜在影响力和演示质量进行评判。

Onward! 论文评审流程分为两个阶段。这使得我们能够接纳那些包含有前景的想法并有可能达到会议标准，但在初次提交时可能达不到要求的论文。在第一阶段结束时，所有论文将被以下两种情况之一接受：正常接收；或被要求进行某些必要的修改；或被直接拒绝。被要求修改的论文作者将有一个月的时间完成修改，届时将由原审稿人决定论文的最终接收与否。因此，所有论文将保持提交状态，直到作者收到接收或拒绝的通知。

我们期望典型的有力投稿能够被正常接受，并且作者将按照惯例根据程序委员会的反馈来修改论文。

程序委员会可能会发现某些有前景的论文需要进行重要修改。这些论文将以两种方式之一处理。它们可能会被指派一名指导老师，这是许多会议都遵循的传统。或者，它们会被赋予一套具体的修改目标。在后一种情况下，第二次提交的论文必须附上一封说明信，详细说明修改请求与论文的具体部分；程序委员会将根据说明信和修改后的论文做出最终决定。

第二阶段仅用于将有潜力的论文提升至会议标准，不会要求已达标准的论文进行额外修改。目前，第二阶段截止日期前已不再接受投稿。

2、作者须知

为了公平起见，所有提交的论文均应符合格式要求。违反格式要求的论文可能会被拒绝，且不予审核，具体由项目主席酌情决定。

强烈建议已录用论文的作者在会议上亲自展示其研究成果，但这并非强制要求。会议将提供远程参会选项，具体细节待定。

3、格式

投稿须使用ACM SIGPLAN 会议 acmart 格式、sigplan 子格式和 10 号字体。所有投稿均须为 PDF 格式。

如果您使用 LaTeX 排版论文，则需要使用 sigplan、anonymous 和 review 选项。请注意，SIGPLAN 模板默认生成两栏、9 号字号的论文，但您需要在 \documentclass 命令中设置 10pt 选项。如果您使用 Word 排版论文，建议您使用支持此字体大小的 Word 模板。请在提交的论文中包含页码。在 LaTeX \documentclass 命令中设置 review 选项会生成页码，而 anonymous 选项会隐藏作者姓名。另请确保您的论文在黑白打印机上打印时清晰易读。尤其要检查颜色是否清晰，字体大小是否清晰易读。
4、页面限制
为确保论文聚焦于其核心贡献，论文正文（不包括参考文献）的篇幅不得超过13页。参考文献和附录没有页数限制，因此论文整体提交内容也同样没有页数限制。然而，审稿人没有义务阅读附录，因此论文正文应自成体系。如果论文被录用，最终提交的论文篇幅将限制在17页以内。（论文正文13页的限制不再适用。）

[email protected]