飞溅2022
2022年12月10日星期一至星期六新西兰奥克兰

向前的!是一个主要的多学科会议,专注于与之相关的一切编程和软件:包括过程、方法、语言、社区和应用程序。向前的!比其他会议更激进、更有远见、更开放,以接受有充分论证但尚未证明的观点。我们欢迎对编程语言和软件工程研究进行不同的思考、探讨和报告*

更新,7月10日:提交截止日期已延长48小时。这是因为项目主席发生了意外。如果您亲自或通过onward@splashcon.org地址,您可能得不到响应。

7月11日更新:新的Papers PC主席是Christophe Scholliers。应直接向主席提问亲自送给克利斯朵夫目前,直到通常的电子邮件别名更新。我们感谢David Tolpin的服务,并祝他一切顺利!

前进的性格!

向前的!论文正在寻找宏大的愿景和新的范式,它们可能会对我们有朝一日如何构建软件产生重大影响。但它并没有像OOPSLA这样的常规论文会议那样寻找研究。这些会议需要严格的验证,如定理或经验实验,这是科学进步所必需的,但通常排除了对早期想法的讨论。向前的!论文还必须提供一定程度的验证,因为仅仅是猜测并不是取得进展的良好基础。然而,前进!接受不太严格的验证方法,例如令人信服的论据、探索性实现和大量示例。强烈鼓励使用经过实践的例子来支持新想法。

接受的论文

标题
基于两种符号关系的语言包括演示
向前的!论文
内政部预打印
弥合编程的句法和语义差距包括演示
向前的!论文
内政部
竞争性调试:走向将调试作为一种技能推广的竞赛
向前的!论文
内政部预打印
上下文化编程语言文档包括演示
向前的!论文
内政部
用于基于概念的程序综合的带孔导数包括演示
向前的!论文
内政部
数字钩针:走向图形描述的可视化语言事实上的
向前的!论文
内政部预打印
探索软件工程实践适应与替换的任务等价性
向前的!论文
内政部
森林:使用多光标编辑结构代码
向前的!论文
内政部
目标:支持计算系统中的通用和动态适应事实上的
向前的!论文
内政部
内部测试:解决测试Oracle问题的新方法
向前的!论文
内政部
门户:有状态无服务器数据流的扩展
向前的!论文
内政部
Flix编程语言的原理事实上的
向前的!论文
内政部

文件征集

选择过程

向前的!论文是以双盲的方式进行同行评审的。接受的论文将出现在Onward!ACM数字图书馆会议录。提交材料将根据想法的潜在影响和演示的质量进行评判。

向前的!论文遵循两阶段审查过程。这使我们能够欢迎那些包含有希望的想法并有潜力达到会议标准的文件,但在最初提交时可能达不到这一点。在第一阶段结束时,所有论文将要么:正常接受;或要求进行某些必要的修订;或彻底拒绝。被要求进行修订的论文的作者将有一个月的时间完成修订,届时,原始审核人将决定论文的最终验收。因此,在提交人收到接受或拒绝通知之前,所有论文将一直处于提交状态。

我们希望典型的强烈意见能够被正常接受,作者希望按照惯例利用项目委员会的反馈修改论文。

项目委员会可能会确定某些想法有希望的论文需要进行重要修订。这些文件将以两种方式之一处理。他们可能会被指派一名牧羊人,按照传统,随后会举行多次会议。否则,他们将在修订中获得一套具体的目标。在后一种情况下,第二次提交必须附有一封附信,将修订请求映射到文件的特定部分;项目委员会将使用求职信和修改后的提交材料做出最终决定。

第二阶段只用于将有希望的论文提升到会议的标准,而不需要对已经被认为符合标准的论文进行额外的工作。

作者须知

为了公平起见,所有提交的论文应符合格式说明(见下文)。违反这些指示的提交文件可能会被拒绝,无需审查,由项目主席决定。

提交网站

https://onward2022papers.hotcrp.com/

并发提交

论文必须描述SIGPLAN的再版政策所述的当前未提交到其他地方出版的未出版作品。提交人还应了解ACM关于剽窃的政策和程序。

双盲审查政策

向前的!2022年采用双盲提交流程。这意味着作者将不知道谁审阅了他们的论文,而审稿人也不知道谁是他们审阅的论文的作者。双盲的目的是以最小的偏见对待所有论文。作者必须采取以下措施准备论文进行双盲审查:

  • 删除论文第一页作者栏中的识别信息(姓名、机构等)。
  • 在可能的情况下,当作者引用自己的作品时,他们应该用第三人称来指代。
  • 在可能的范围内,作者应删除任何其他潜在的识别信息,例如确认。

提交评论后,审阅者将能够看到作者身份。当论文被接受出版时,不得遮住相机可读的副本。

有关更多信息,请参阅OOPSLA的双盲审查常见问题解答。如果您有任何问题,请联系电脑椅。

作者变更政策

首次提交论文后,任何新增作者必须获得PC主席的批准。强烈建议作者在首次提交之前列出所有作者,因为添加作者可能会与PC产生新的冲突。在所有情况下,PC主席必须提供理由。PC主席有权拒绝任何要求的更改。

格式

提交文件应使用ACM SIGPLAN会议acmart格式,SIGPLAN子格式和10磅字体。所有提交文件应为PDF格式。

如果您使用LaTeX格式化论文,则需要使用sigplan、匿名和审阅选项。请注意,默认情况下,SIGPLAN模板会生成两列9分的论文,但您需要在\documentclass命令中设置10pt选项。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请在提交的文件中包含页码。在LaTeX\documentclass命令中设置review选项会生成页码,而匿名选项会隐藏作者姓名。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。

页面限制

为了确保论文专注于其核心贡献,论文的主要部分(不包括参考书目)不应超过13页。参考书目和附录没有页数限制,因此,总体提交也没有页数上限。然而,审稿人没有义务阅读附录,因此论文的主要部分应该是独立的。如果论文被接受,最终提交的论文将限于17页。(论文正文的13页限制不再适用。)

出版物(数字图书馆早期访问警告)

作者注意:官方发布日期是ACM数字图书馆中提供会议记录的日期。该日期可能最早在会议第一天之前两周。官方发布日期影响与已发布作品相关的任何专利申请的截止日期。

更多信息

欲了解更多信息、澄清或回答问题,请通过onward@ssplatchcon.org网站.

日期
全体会议
您正在不同于设备时区的时区中查看程序更改时区

12月9日星期五

显示的时区:奥克兰,惠灵顿 改变

10:00至10:30
咖啡休息时间餐饮和社交活动餐饮区
10:00
3000万
咖啡休息时间
咖啡休息时间
餐饮和社交活动

10:30 - 12:00
未来的编程语言和工具(1)向前的!论文G100研讨会室
主席:杰里米·辛格格拉斯哥大学
10:30
3000万
谈话
林:使用多个光标编辑结构代码
向前的!论文
菲利普·沃诺夫苏黎世ETH,曼努埃尔起重工新加坡国立大学,苏振东苏黎世ETH
内政部
11:00
3000万
谈话
弥合编程的句法和语义差距包括演示
向前的!论文
内政部
11:30
3000万
谈话
数字钩针:走向图形描述的可视化语言事实上的
向前的!论文
克拉拉·塞茨波茨坦大学;哈索-普拉特纳研究所,帕特里克·雷因波茨坦大学;哈索-普拉特纳研究所,延斯·林克波茨坦大学;哈索-普拉特纳研究所,罗伯特·赫施菲尔德波茨坦大学;哈索-普拉特纳研究所
内政部预打印
12:00 - 13:30
12:00
9000万
午餐
午餐
餐饮和社交活动

13:30 - 15:00
未来的编程语言和工具(2)向前的!论文G100研讨会室
主席:杰里米·辛格格拉斯哥大学
13:30
3000万
谈话
基于两种符号关系的语言包括演示
向前的!论文
阿古斯汀·拉斐尔·马丁内斯布宜诺斯艾利斯大学
内政部预打印
14:00
3000万
谈话
探索软件工程实践适应与替换的任务等价性
向前的!论文
戴安娜·柯克奥克兰大学
内政部
14:30
3000万
谈话
Flix编程语言的原理事实上的
向前的!论文
内政部
15:00 - 15:30
咖啡休息时间餐饮和社交活动餐饮区
15:00
3000万
咖啡休息时间
咖啡休息时间
餐饮和社交活动

15:30 - 17:00
程序合成、测试和调整向前的!论文G100研讨会室
主席:斯特凡·马尔肯特大学
15:30
3000万
谈话
用于基于概念的程序综合的带孔导数包括演示
向前的!论文
乔·科斯塔·塞科NOVA-LINCS;里斯本诺瓦大学,乔纳森·奥尔德里奇卡内基梅隆大学,路易斯·卡瓦略NOVA-LINCS;里斯本诺瓦大学,伯纳多·托尼霍NOVA-LINCS;里斯本诺瓦大学,卡拉·费雷拉新冠肺炎;里斯本新大学
内政部
16:00
3000万
谈话
内部测试:解决测试Oracle问题的新方法
向前的!论文
曼努埃尔起重工新加坡国立大学,苏振东苏黎世ETH
内政部
16:30
3000万
谈话
目标:支持计算系统中的通用和动态适应事实上的
向前的!论文
Ahsan Pervaiz公司芝加哥大学,姚向阳莱斯大学,亚当·杜拉茨莱斯大学,费伦斯·巴萨莱斯大学,柳池赛莱斯大学,康诺·艾姆斯芝加哥大学,罗伯特·卡特赖特莱斯大学,克里希那·帕莱姆莱斯大学,山路芝加哥大学,亨利·霍夫曼芝加哥大学
内政部

12月10日星期六

显示的时区:威灵顿奥克兰 改变

10:00 - 10:30
咖啡休息时间餐饮和社交活动餐饮区
10:00
3000万
咖啡休息时间
咖啡休息时间
餐饮和社交活动

10:30 - 12:00
程序理解工具和技巧向前的!论文G100研讨会室
主席:詹姆斯·诺布尔研究与编程
10:30
3000万
谈话
上下文化编程语言文档包括演示
向前的!论文
汉娜·波特华盛顿大学,阿尔迪·马达迪华盛顿大学,雷内只是华盛顿大学,赛勒斯·奥马尔密歇根大学
内政部
11:00
3000万
谈话
竞争性调试:走向将调试作为一种技能推广的竞赛
向前的!论文
帕特里克·雷因波茨坦大学;哈索-普拉特纳研究所,汤姆·贝克曼波茨坦大学;哈索-普拉特纳研究所,伦纳德·盖尔波茨坦大学;哈索-普拉特纳研究所,托尼·马蒂斯波茨坦大学;哈索-普拉特纳研究所,罗伯特·赫施菲尔德波茨坦大学;哈索-普拉特纳研究所
内政部预打印
11:30
3000万
谈话
门户:有状态无服务器数据流的扩展
向前的!论文
乔纳斯·斯彭格瑞典皇家理工学院,巴黎卡本瑞典RISE研究所,菲利普·哈勒KTH公司
内政部
12:00 - 13:30
12:00
9000万
午餐
午餐
餐饮和社交活动