DLS 2016
2016年11月1日星期二荷兰阿姆斯特丹
与位于同一位置2016年SPLASH

从Lisp、Snobol和Smalltalk到Python、Racket和Javascript,动态语言一直在编程研究和实践中发挥着重要作用。2016年SPLASH第十二届动态语言研讨会(DLS)是研究人员和实践者分享动态语言各方面研究和经验的首要论坛。

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

11月1日星期二

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

10:30 - 12:10
第2部分DLS公司马特洪峰1
主席:吉拉德·布拉查谷歌
10:30
2500万
谈话
实践中的类型不确定性:飞镖的实证研究
DLS公司
吉安卢卡·梅泽蒂丹麦奥胡斯大学,安德斯·默勒丹麦奥胡斯大学,法比奥·斯特罗科丹麦奥胡斯大学
内政部
10:55
2500万
谈话
飞镖的类型安全性分析
DLS公司
托马斯·海因策丹麦奥胡斯大学,安德斯·默勒丹麦奥胡斯大学,法比奥·斯特罗科丹麦奥胡斯大学
内政部
11:20
2500万
谈话
使用正则表达式域对jQuery进行精确和可扩展的静态分析
DLS公司
昌河公园韩国KAIST,Hyeonseung Im公司韩国康元国立大学,苏京琉韩国KAIST
内政部
11点45分
2500万
谈话
即时继承:一种动态的隐式多重继承机制
DLS公司
马蒂亚斯·德瓦尔比利时布鲁塞尔Vrije大学,Janwillem Swalens公司比利时布鲁塞尔Vrije大学,沃尔夫冈·德·梅特尔比利时布鲁塞尔Vrije大学
内政部预打印附加的文件
13:30 - 15:10
第3部分DLS公司马特洪峰1
主席:劳伦斯·特拉特伦敦国王学院
13:30
2500万
谈话
使用RPython的并行虚拟机
DLS公司
雷米吉乌斯·梅耶瑞士苏黎世ETH,阿明·里戈PyPy.org,瑞士,托马斯·格鲁斯苏黎世ETH
内政部
13:55
2500万
谈话
构建高效、高运行时适应性的虚拟机
DLS公司
吉多·查里阿根廷布宜诺斯艾利斯大学,迭戈·加伯维斯基阿根廷布宜诺斯艾利斯大学,斯特凡·马尔约翰开普勒林茨大学
内政部预打印
14:20
2500万
谈话
在JavaScript中高效实现MATLAB数组的复制语义
DLS公司
文森特·福利-博贡加拿大麦吉尔大学,劳丽·亨德伦加拿大麦吉尔大学
内政部
14:45
2500万
谈话
通过积极推测优化R语言执行
DLS公司
卢卡斯·斯塔德勒奥地利Oracle实验室,亚当·韦尔克Oracle实验室,美国,克里斯蒂安·休默甲骨文实验室,瑞士,米克·乔丹Oracle实验室,美国
内政部
15:40 - 17:20
第4次会议DLS公司马特洪峰1
主席:伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学
15:40
2500万
谈话
带有简单完全搜索的逻辑编程的小嵌入
DLS公司
杰森·赫曼美国印第安纳大学,丹尼尔·弗里德曼美国印第安纳大学,威廉·伯德美国犹他大学,马修·米特美国犹他大学
内政部
16:05
2500万
谈话
模块化语义动作
DLS公司
亚历山德罗·沃思Y Combinator Research,美国,帕特里克·杜布罗伊Y Combinator Research,美国,托尼·加诺克-琼斯美国东北大学
内政部预打印
16时30分
2500万
谈话
跨语言编译器基准测试:我们速度快吗?
DLS公司
斯特凡·马尔约翰开普勒林茨大学,贝诺伊特·达洛泽JKU林茨,奥地利,汉斯彼得·莫森博克JKU林茨,奥地利
内政部预打印

文件征集

第12届动态语言研讨会(DLS 2016)

与SPLASH 2016联合

与ACM SIGPLAN联合

2016年11月1日,阿姆斯特丹

http://www.dynamic-languages-symposium.org/dls-16/index.html

2016年SPLASH第十二届动态语言研讨会(DLS)邀请高质量论文,报告与动态语言的设计、实现和应用相关的原创研究和经验。感兴趣的领域包括但不限于:

  • 创新的语言功能
  • 创新实施技术
  • 创新应用程序
  • 开发环境和工具
  • 经验报告和案例研究
  • 面向领域的编程
  • 非常晚的绑定、动态合成和运行时自适应
  • 反射和元编程
  • 软件进化
  • 语言共生与多仿生语言
  • 动态优化
  • 即时编译
  • 软/可选/渐进式键入
  • 硬件支持
  • 教育方法和观点
  • 动态语言的语义

提交和诉讼

提交的文件之前不得发布,也不得在其他活动中进行审查。研究论文应描述推动当前技术发展的工作。经验论文应具有广泛的兴趣,并应描述从实质性实际应用中获得的见解。项目委员会将根据每一篇论文的相关性、重要性、清晰度和原创性对其进行评估。

论文以电子方式提交至https://dls16.hotcrp.com网站/PDF格式。提交文件必须采用ACM格式,字体为10磅,不得超过12页。请在以下链接中查看详细信息:

https://conf.researchr.org/track/dls-2016/dls-2016-papers#说明-供作者使用

DLS 2016将运行一个两阶段的审查过程,以帮助作者尽其所能地完成最终论文。接受的论文将在ACM数字图书馆中发布,并将在活动前两周开始免费提供一个月。

重要日期

  • 提交日期:2016年6月10日(UTC,确定截止日期)
  • 第一阶段通知:2016年7月22日
  • 修订日期:2016年7月29日
  • 最终通知:2016年8月14日
  • 摄像机准备就绪:2016年8月26日
  • DLS:2016年11月1日

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

节目主持人

巴西PUC-Rio Roberto Ierusalimschy

dls16@inf.puc-riobr

项目委员会

  • Carl Friedrich Bolz,英国伦敦国王学院
  • Gilad Bracha,谷歌,美国
  • 马库斯·丹克(Marcus Denker),印度,法国
  • Zachary DeVito,美国斯坦福
  • 乔纳森·爱德华兹,美国CDG实验室
  • Matthew Flatt,美国犹他大学
  • 比利时布鲁塞尔Vrije大学Elisa Gonzalez Boix
  • Robert Hirschfeld,德国波茨坦哈索·普拉特纳研究所
  • 巴西PUC-Rio Roberto Ierusalimschy(主席)
  • Shriram Krishnamurthi,美国布朗大学
  • Benjamin Livshits,微软研究院,美国
  • Priya Nagpurkar,美国IBM研究公司
  • Joe Gibbs Politz,美国斯沃斯莫尔学院
  • 英国Oracle实验室Chris Seaton
  • Manuel Serrano,法国INRIA
  • 美国印第安纳大学Sam Tobin-Hochstadt
  • 劳伦斯·特拉特,英国伦敦国王学院
  • Jan Vitek,美国东北大学
  • 王海川,华为美国研究中心,美国

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

提交网站

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

并发提交

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

格式

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

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

页面限制

为了确保论文专注于其核心贡献,论文应限于12页,包括参考书目和附录。

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

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