ACM SIGPLAN 部分求值与程序操作研讨会 (PEPM) 的历史可以追溯到 1991 年，自 2006 年以来每年与 POPL 联合举办。PEPM 的起源在于发现仅需部分输入即可对程序进行实用的自动化评估技术。随着时间的推移，PEPM 的范围不断扩大，涵盖了以基于语义的程序操作为中心的各种研究领域——系统地探索如何将程序不仅视为黑盒执行的对象，还将其视为可在建立或维护重要语义属性的同时生成、分析和转换的数据结构。

1、组委会

主席：
Steve Zdancewic 宾夕法尼亚大学 美国
项目主席：
Armando Solar-Lezama 麻省理工学院 美国
工业关系联合主席：
Ilya Sergey  新加坡国立大学 新加坡
Michael Greenberg 史蒂文斯理工学院 美国
宣传主席：
Ningning Xie 多伦多大学 加拿大
研讨会联合主席：
Christoph Matheja 丹麦技术大学 丹麦
Robert Rand 芝加哥大学 美国
工件评估联合主席：
Caleb Stanford 加州大学戴维斯分校 美国

2、出版信息

POPL 2025 论文以开放获取方式发表于 PACMPL，由 ACM 发布，并全面收录在 ACM Digital Library，配有 DOI，并被 DBLP、Scopus、Conference Proceedings Citation Index（CPCI）等检索平台索引，确保高可见度和引用能力。

• 基于语义和基于机器学习的程序合成和程序优化。
• 分布式和并发协议和程序的建模、分析和转换技术，例如会话类型、线性类型和合同规范。
• 程序和模型操作技术，例如：超级编译、部分评估、融合、动态程序适配、活动库、程序反转、切片、符号执行、重构、反编译和混淆。
• 将程序/模型视为数据对象的技术，包括元编程、生成编程、嵌入式领域特定语言、通过草图和归纳编程进行程序合成、分阶段计算以及模型驱动的程序生成和转换。
• 用于驱动程序/模型操作的程序分析技术，例如：抽象解释、终止检查、绑定时间分析、约束求解、类型系统、自动化测试和测试用例生成。
• 上述技术的应用包括：在实际（工业、开源）项目和软件开发过程中程序操作的案例研究，能够有效处理实际应用的强大工具的描述，以及基准测试。应用领域示例包括：遗留程序的理解和转换、DSL 实现、可视化语言和终端用户编程、科学计算、分布式和基于 Web 的应用程序所需的中间件框架和基础设施、嵌入式和资源受限计算以及安全性。

1、征文

接受三种类型的投稿：

常规研究论文应描述新成果，并将根据其原创性、正确性、重要性和清晰度进行评审。常规研究论文篇幅不得超过 12 页。

短文可包含工具演示、精彩（即使未必完善）的研究成果展示，以及新颖或不为人熟知的学术、工业和开源应用。短文篇幅不得超过 6 页。

演讲提案可以围绕PEPM感兴趣的主题、具有相关贡献​​的现有工作，或尚未成熟到可以提交为其他类别论文的有前景的贡献进行演讲。演讲提案不得超过2页。

参考文献和附录不包含在页数限制内。附录不一定会被审稿人阅读。两种投稿均应使用新版“acmart”格式的两栏“sigplan”子格式进行排版，该格式可在以下网址获取：

http://sigplan.org/Resources/Author/

并通过 HotCRP 以电子方式提交：https://pepm25.hotcrp.com

审查将采用单盲方式。

欢迎 PC 成员（两位联合主席除外）提交意见。

被录用的常规研究论文将收录于ACM出版的正式会议论文集，并收录于ACM数字图书馆。被录用的短篇论文不构成正式出版物，不会收录于会议论文集。

每篇被录用的投稿至少有一位作者必须出席研讨会（现场或线上）并展示其成果。工具演示类论文需现场演示所述工具。

2、重要时间

2025 年 1 月 21 日星期二 研讨会
2024 年 12 月 4 日星期三 相机就绪版本
2024 年 11 月 18 日星期一 作者通知
2024年10月18日星期五 提交截止日期
2024 年 10 月 14 日 星期一 摘要截止日期

guillaume.allais@strath.ac.uk