向前的!2016
2016年10月30日星期日至11月4日星期五荷兰阿姆斯特丹
与位于同一位置2016年SPLASH

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

前进的性格!

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

向前的!正在寻求对当前软件开发技术和实践的建设性批评,并提出可能改变软件开发领域的想法。我们鼓励有经验的研究人员、研究生、从业者以及其他对我们的技术水平不满的人分享关于如何改革软件开发的见解。

向前的!欢迎您提交意见,加入对话,为我们的领域造福。

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

11月2日星期三

显示的时区:阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

10:30 - 12:10
10:30
2500万
谈话
无程序员和程序的轻量级编程实验:相似性和对象标识符数量对使用自然文本的源代码可读性影响的示例研究
向前的!论文
蒂姆·马特杜伊斯堡-埃森大学,保罗·巴巴克杜伊斯堡-埃森大学,菲利普·伦布肯杜伊斯堡-埃森大学,斯特凡·哈恩伯格杜伊斯堡-埃森大学
内政部
10:55
2500万
谈话
应急软件服务
向前的!论文
尼科拉斯·卡多佐洛斯安第斯大学
内政部预打印媒体已连接
11:20
2500万
谈话
Nez:实用开放语法语言
向前的!论文
Kimio Kuramitsu先生日本横滨国立大学
内政部
11:45
2500万
谈话
探索动态类型语言中的廉价类型推理启发式
向前的!论文
内文娜·米洛伊科维奇瑞士伯尔尼大学,奥斯卡·尼尔斯特拉斯瑞士伯尔尼大学
内政部
15:40 - 17:20
第2部分向前的!论文苏黎世2
主席:黄立成德克萨斯农工大学
15:40
2500万
谈话
Bloqqi:基于模块化特征的框图编程
向前的!论文
尼古拉斯·福斯隆德大学,戈雷尔·赫丁瑞典隆德大学
内政部预打印
16:05
2500万
谈话
通过程序优化构建白盒抽象
向前的!论文
梅赫达德·阿夫沙里Vivibe有限责任公司,苏振东加州大学戴维斯分校
内政部预打印
16:30
2500万
谈话
函数传递:一种类型化、分布式函数编程模型
向前的!论文
希瑟·米勒洛桑联邦理工学院,菲利普·哈勒瑞典皇家理工学院,诺曼·米勒 ,乔斯琳·鲍利尔EPFL公司,豪尔赫·文森特·坎特罗EPFL公司
内政部
16:55
2500万
谈话
从编程教程视频中提取代码
向前的!论文
希尔·亚迪德以色列理工学院,埃兰·雅哈以色列理工学院
内政部

11月3日星期四

显示的时区:阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

11月4日星期五

显示的时区:阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

10:30 - 12:10
第4次会议向前的!论文马特宏峰2
主席:韦塞林·雷切夫瑞士苏黎世ETH
10:30
2500万
谈话
探索分布式系统中顺序计算的作用:推动编程范式的转变
向前的!论文
伊万·库拉吉美国麻省理工学院CSAIL,丹尼尔·杰克逊博士麻省理工学院
内政部
10:55
2500万
谈话
格拉马达:编程语言开发的即时性
向前的!论文
帕特里克·雷因哈索-普拉特纳研究所,马塞尔·塔伊梅尔哈索-普拉特纳研究所,罗伯特·赫施菲尔德HPI公司
内政部
11:20
2500万
谈话
帮助Johnny加密:面向加密框架的语义接口
向前的!论文
Soumya Indela公司马里兰大学帕克分校,穆库尔·库尔卡尼马里兰大学帕克分校,卡提克·纳亚克马里兰大学帕克分校,都铎·杜米特拉斯马里兰大学帕克分校
内政部
11:45
2500万
谈话
利用自然语言描述语料库实现程序相似性
向前的!论文
梅塔尔·齐尔伯斯坦以色列理工学院,埃兰·雅哈以色列理工学院
内政部

接受的论文

标题
Bloqqi:基于模块化特征的框图编程
向前的!论文
内政部预打印
通过程序优化构建白盒抽象
向前的!论文
内政部预打印
应急软件服务
向前的!论文
内政部预打印媒体已连接
探索动态类型语言中的廉价类型推理启发式
向前的!论文
内政部
探索分布式系统中顺序计算的作用:推动编程范式的转变
向前的!论文
内政部
从编程教程视频中提取代码
向前的!论文
内政部
函数传递:一种类型化、分布式函数编程模型
向前的!论文
内政部
格拉马达:编程语言开发的即时性
向前的!论文
内政部
帮助Johnny加密:面向加密框架的语义接口
向前的!论文
内政部
利用自然语言描述语料库实现程序相似性
向前的!论文
内政部
无程序员和程序的轻量级编程实验:相似性和对象标识符数量对使用自然文本的源代码可读性影响的示例研究
向前的!论文
内政部
可成型、上下文感知的Spotter搜索
向前的!论文
内政部
Nez:实用开放语法语言
向前的!论文
内政部
对象电子表格:一种用于最终用户开发数据中心Web应用程序的新计算模型
向前的!论文
内政部预打印媒体已连接

文件征集

选择过程

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

我们欢迎包含有希望的想法并有潜力达到会议标准的文件,但在首次提交时未能做到这一点。因此,我们将遵循两阶段审查过程。在第一阶段结束时,所有论文将要么:正常接受;要求进行某些必要的修订;或彻底拒绝。所有论文将继续提交,直到作者收到接受或拒绝的通知。

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

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

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

更多信息

如需更多信息、澄清或问题回答,请联系项目主席。

为了公平起见,所有提交的论文都应符合格式说明。违反这些指示的提交文件可能会被拒绝,无需审查,由项目主席决定。向前的!2016年采用双盲提交。

提交网站

在使用之前,请花点时间阅读以下说明提交网站。请注意,会议出版咨询公司将收集相机就绪版本。

并发提交

论文必须描述目前尚未提交到别处出版的未出版作品,如SIGPLAN的重新发布政策。提交人还应了解ACM关于剽窃的政策和程序.

双盲审查政策

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

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

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

请参见OOPSLA关于双盲的常见问题查看以获取更多信息。如果您有任何问题,请联系电脑主席。

作者变更政策

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

格式

提交文件应使用ACM SIGPLAN会议格式,10磅字体,使用字体系列Times新罗马。所有提交文件应为PDF格式。如果您使用LaTeX或Word,请使用提供的ACM SIGPLAN模板在这里。否则,请按照作者的说明进行操作。

请注意,默认情况下,SIGPLAN会议格式模板生成9点字体的论文。如果使用LaTeX格式化纸张,则需要在\documentclass命令中设置10pt选项。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请在提交的文件中包含页码。在LaTeX\documentclass命令中设置预打印选项将生成页码。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。

页面限制

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

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

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