| 15:00 - 15:30 | |
| | | |
| 咖啡休息时间 | | 咖啡休息时间 餐饮和社交活动
|
| 10:00 - 10:30 | |
| | | |
| 咖啡休息时间 | | 咖啡休息时间 餐饮和社交活动
|
| 15:00 - 15:30 | |
| | | |
| 咖啡休息时间 | | 咖啡休息时间 餐饮和社交活动
|
文件征集
ACM SIGPLAN生成性编程国际会议：概念与经验（GPCE）是一次编程语言会议，重点讨论代码生成、语言实现和产品线开发的技术和工具。
GPCE寻求对其感兴趣的主题的概念、理论、经验和技术贡献，包括但不限于：
- 程序转换、分段、宏系统、预处理器、程序合成和代码再推荐系统，
- 领域特定语言、语言嵌入、语言设计和语言工作台，
- 面向特征的编程、领域工程和特征交互，
- 代码生成、语言实现和产品线开发的应用程序和属性。
GPCE促进了编程语言和软件开发之间以及广义上不同风格的生成性编程之间的交叉。
欢迎作者与PC主席核实他们计划的论文是否在范围内。
GPCE要求提交三种类型的文件：
-
全文报告有助于任何GPCE主题科学知识的原始和未发表的研究结果。除参考书目外，提交的完整论文不得超过12页。
-
短文在任何GPCE主题中提出非传统想法或新愿景。短文并不总是像全文那样包含完整的结果，但可以向社区介绍新想法，并尽早获得反馈。请注意，短文并非旨在表达立场。会议记录中包括已接受的短文，并将在会议上提交。提交的短文不得超过6页（不包括参考书目），并且必须在标题后附加“（短文）”。
-
工具演示为任何GPCE主题提供工具。工具必须可供使用，不得纯粹用于商业目的。提交的文件必须提供不超过6页的工具说明（不包括参考书目）和不超过6页的单独演示大纲（包括屏幕截图）。提交的工具演示必须在标题后附加文本“（工具演示）”。如果他们被接受，工具说明将包含在程序中。演示大纲仅用于评估提交文件。
GPCE项目委员会将根据以下选择标准评估每份提交文件：
- 新颖。论文必须提出新的观点或证据，并将其恰当地放在该领域先前研究建立的背景中。
- 意义。论文中的结果必须有潜力以显著的方式添加到最新技术或实践中。
- 证据。该文件必须提供支持其主张的证据。证据的例子包括形式化和证明、实施的系统、实验结果、统计分析和案例研究。
- 清晰。该文件必须清楚地介绍其贡献和结果。
按照传统，GPCE 2022项目委员会将在接受的论文中选择最佳论文。最佳论文的作者将在会议上获得最佳论文奖。
必须使用HotCRP提交论文：https://gpce2022.hotcrp.com/
所有提交必须使用ACM SIGPLAN会议格式“acmart”。请确保使用最新的LaTeX模板和类文件SIGPLAN子格式和10点字体。请咨询示例sigplan.tex模板并使用document-class\documentclass〔sigplan，匿名，评论〕｛acmart｝.
为了提高审查的公平性，GPCE 2022使用双盲审查程序它已成为SIGPLAN会议的标准：
- 提交的论文中应省略作者姓名、机构和确认，以及
- 引用作者自己的作品时，应使用第三人称。
无需其他更改，如果审阅者能够以隐式方式推断作者的身份，则作者不会受到惩罚。
有关更多信息、澄清或问题答案，请联系项目主席：kameyama（at）acm.org
官方发布日期是ACM数字图书馆提供会议记录的日期。论文必须描述目前未提交给其他地方出版的作品，如SIGPLAN重新发布策略作者应意识到，ACM对剽窃和自我剽窃有严格的政策，如ACM关于剽窃、虚假陈述和伪造的政策.
我们很高兴有David Pearce博士的主题演讲。详情如下。
主讲人：David Pearce（ConsensSys）轮廓
标题：语言设计与验证编译器
日期：2022年12月6日
摘要：开发自动验证程序是否符合规范的编译器的梦想仍然是一个持续的挑战。
这样的“验证编译器”（verifyingcompilers）（最终）即将进入主流软件开发。这在一定程度上是由于过去几十年来取得的进步，但也由于软件在现代世界中扮演着越来越重要和复杂的角色。作为计算机科学家，我们应该鼓励这种转变，并帮助将许多形式的软件错误编入历史书。提高采用率的一种方法是围绕这些工具设计语言，这些工具表面上看起来像常规编程语言。也就是说，无缝集成规范和验证，并提供一些对日常程序员来说只不过是美化了类型检查的东西。除其他事项外，这需要仔细考虑哪些语言功能与验证匹配良好，哪些不匹配。这里的设计空间既有趣又微妙，但在很大程度上被忽视了。在这次演讲中，我将对比两种现有语言Dafny和Whiley的选择，试图阐明这一模糊领域。
GPCE 2022项目委员会决定授予以下人员GPCE 2022Best Paper Award：
Chiaki Ishio和Kenichi Asai（Ochanomizu大学）编写的四分隔控制运算符的类型系统。
评审员建议：“四分隔控制运算符的类型系统”引入了一种语言，该语言将四个著名的控制运算符（shift、Control、shift0、control0）与一个新的统一类型系统结合在一起，该系统源自双CPS解释器。评审人员赞赏这项工作的技术深度、与以前系统的彻底比较以及结构良好的阐述。这项工作的一个特别令人印象深刻的方面是Agda中主要定理的机械化，这为结果提供了重要的可信度。该系统可能会成为类型系统的有用基础，这些类型系统支持其他控制功能，如应答类型多态性和代数效应。"
祝贺 你！
Yukiyoshi Kameyama，代表GPCE2022项目委员会
