ACM SIGPLAN生成性编程国际会议:概念与经验(GPCE)是一个研究人员和实践者感兴趣的场所,这些技术使用程序生成、特定领域语言和组件部署来提高程序员生产力、提高软件质量、,缩短软件产品的上市时间。除了探索生成性软件的尖端技术外,我们的目标是促进软件工程和编程语言研究社区之间的进一步交叉。
正如自动化和组件化革命了制造业一样,生成和组件方法以及特定领域的抽象正在革命性地推动软件开发。几十年来,提高软件规范中的抽象水平一直是计算界的一个基本目标。自动化程序开发并将抽象层提升到更接近问题域的关键技术是用于程序合成的生成性编程,用于紧凑的面向问题的编程符号的领域特定语言(DSL),以及旨在模块化、正确性、重用、,和进化。随着该领域的成熟,应用程序和经验结果变得越来越重要。
更新:GPCE 2020将与SPLASH、SLE、OOPSLA和SAS共存。GPCE 2020将作为虚拟活动进行庆祝。
| 12:20 - 13:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 14:20 - 15:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 16时20分至17时 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 18:20 - 19:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 20:20 - 21:00 | |
| | | |
| 其他 | | 海报课程1 SPLASH海报
|
| 22:20 - 23:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 02:20 - 03:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 04:20 - 05:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 06:20 - 07:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 08:20 - 09:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 12:20 - 13:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 14:20 - 15:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 16:20 - 17:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 18:20 - 19:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
| 20:20 - 21:00 | |
| | | |
| 社交活动 | | 会见演讲者 SPLASH会见演讲者(MTS)
|
文件征集
ACM SIGPLAN生成性编程国际会议:概念与经验是一次编程语言会议,重点讨论代码生成、语言实现和产品线开发的技术和工具。GPCE寻求对其感兴趣的主题的概念、理论、经验和技术贡献,包括但不限于
- 程序转换、分段、宏系统、预处理器、程序合成和代码再推荐系统,
- 特定领域的语言、语言嵌入、语言设计和语言工作台,
- 面向特征的编程、领域工程和特征交互,
- 代码生成、语言实现和产品线开发的应用程序和属性。
欢迎作者与PC主席核实他们计划的论文是否在范围内。
GPCE项目委员会将根据以下选择标准评估每份提交文件:
- 新颖。论文必须提出新的想法或证据,并将其适当地放在该领域先前研究所建立的背景下。
- 意义。论文中的结果必须有潜力以显著的方式添加到最新技术或实践中。
- 证据。该文件必须提供支持其主张的证据。证据的例子包括形式化和证明、实施的系统、实验结果、统计分析和案例研究。
- 清晰。该文件必须清楚地介绍其贡献和结果。
GPCE要求提交三种类型的文件。
-
全文报告对上述任何GPCE主题的科学知识有贡献的原始和未发表的研究结果。提交的完整论文不得超过12页,书目除外。
-
短文提出关于上述任何GPCE主题的非传统想法或愿景。短篇论文并不总是像完整论文那样需要完整的结果。通过这种方式,作者可以向社区介绍新想法,并获得早期反馈。请注意,短文并非旨在作为立场声明。会议记录中包括短文,并将在会议上提交。提交的短文不得超过6页,书目除外。短篇论文必须在标题后附加“(短文)”,但任何6页或6页以下的非工具演示论文都将被视为短文。
-
工具演示为上面列出的任何GPCE主题提供工具。工具必须可供使用,不得纯粹用于商业目的。提交的文件必须提供不超过6页的工具说明(不包括参考书目)和单独的演示大纲,包括不超过6页长的屏幕截图。工具演示的标题中必须包含关键字“Tool Demo”或“Tool Demonstration”。如果提交被接受,工具说明将在会议记录中公布。演示大纲仅供项目委员会用于评估提交文件。
所有提交必须使用ACM SIGPLAN会议格式“acmart”。请确保使用最新的LaTeX模板和类文件SIGPLAN子格式和10点字体。请咨询示例sigplan.tex
模板并使用文档类\文档类[sigplan,匿名,评论]{acmart}
.
为了提高审查的公平性,双盲审查过程已成为SIGPLAN会议的标准。GPCE将遵循一个非常轻量级的模型,在提交初始评论后,作者身份将被披露给评审员。因此,目的并不是不惜一切代价隐藏作者身份,而仅仅是为了让审稿人对提交的作品有一个公正的第一眼。提交的论文中应省略作者姓名和机构,并以第三人称提及作者自己的相关作品。无需其他更改,如果审阅者能够以隐式方式推断其身份,则作者不会受到惩罚。
必须使用HotCRP提交论文:https://gpce2020.hotcrp.com/
如需更多信息、澄清或问题回答,请联系项目主席。
官方发布日期是ACM数字图书馆提供会议记录的日期。论文必须描述目前未提交到其他地方出版的作品,如SIGPLAN重新发布策略。作者还应了解ACM关于剽窃的政策.