2020年SPLASH
2020年11月21日星期六至星期日在线会议

时代!研讨会的目的是关注基于参与者、主动/并发对象、代理和更一般的高级编程范式的编程系统、语言和应用程序,这些范式促进了在解决问题和开发软件时的分散控制。

该研讨会旨在涵盖设计和编程的理论和实践,将研究模型、语言和技术的研究人员以及开发实际系统和应用程序的从业人员聚集在一起。

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

11月17日星期二

显示的时区:中部时间(美国和加拿大) 改变

00:20 - 01:00
00:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

02:20 - 03:00
02:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

04:20 - 05:00
04:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

05:00 - 07:00
演示文稿AGERE公司溅射-V
05:00
1000万
开放日
AGERE:开业
AGERE公司
埃利亚斯·卡斯特格林瑞典皇家理工学院,乔里·德科斯特比利时布鲁塞尔Vrije大学,托马斯·施密特HAW汉堡
05:10
3000万
谈话
带参与者的高吞吐量流处理
AGERE公司
卢卡·里纳尔迪比萨大学,马西莫·托夸蒂比萨大学计算机科学系,加布里埃尔·门卡利意大利比萨大学,马可·丹拉托托意大利比萨大学
预打印媒体已连接
05:40
3000万
谈话
在CAF中重新访问网络堆栈
AGERE公司
DOI程序预打印
06:10
3000万
谈话
运行,代理,运行;基于行动者的Agent的体系结构和基准
AGERE公司
穆斯塔法·莫哈杰里·帕里齐阿姆斯特丹大学,乔瓦尼·塞利诺阿姆斯特丹大学,汤姆·范·恩格斯莱布尼茨学院/阿姆斯特丹大学/TNO,桑德·克劳斯阿姆斯特丹大学
06:40
1000万
当日收盘
AGERE:结束
AGERE公司
埃利亚斯·卡斯特格林瑞典皇家理工学院,乔里·德科斯特比利时布鲁塞尔Vrije大学,托马斯·施密特HAW汉堡
06:20 - 07:00
06:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

07:00 - 08:20
主题演讲溅水-I +12小时
主席:史蒂夫·布莱克本澳大利亚国立大学
07:00
8000万
主题演讲
测试深层神经网络
主题演讲
玛丽·卢·索法弗吉尼亚大学
链接到出版物
08:20 - 09:00
芝加哥早餐会见演讲者(MTS)溅水-I +12小时
08:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

10:20 - 11:00
西雅图早餐会见演讲者(MTS)溅水-I +12小时
10:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

12:20 - 13:00
惠灵顿早餐学生研究竞赛溅水-I +12小时
  • 杨艾丹,SOAR:开源API重构综合

  • 加文·李,SASIL:一种用于模拟调度系统声明规范的领域专用语言

  • 伊恩·麦科马克,物联网软件库模型

  • Mona Zhang和Jacob Gorenburg,渐进式校验器的设计与实现

  • 拉斐尔·莫萨纳,机器学习简化对数据驱动编译器优化的理解

  • 里德·奥伊,Psamathe:安全区块链资产的DSL

  • Sang Heon Choi,整合:一种提高人机界面许可性的技术

  • 索菲亚·科拉克,通过深度学习检测性能模式

  • 维塔利·罗曼诺夫,使用图神经网络预测Python函数返回类型时边类型的重要性评估

12:20
4000万
海报
学生研究竞赛
学生研究竞赛

14:20 - 15:00
巴黎鸡尾酒会会见演讲者(MTS)溅水-I +12小时
14:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

16:20 - 17:00
首尔早餐会见演讲者(MTS)溅水-I +12小时
16:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

18:20 - 19:00
里约鸡尾酒会会见演讲者(MTS)溅水-I +12小时
18:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

19:00 - 20:20
主题演讲溅水-I
主席:史蒂夫·布莱克本澳大利亚国立大学
19:00
8000万
主题演讲
测试深层神经网络
主题演讲
玛丽·卢·索法弗吉尼亚大学
链接到出版物
20:20 - 21:00
20:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

22:20 - 23:00
22:20
4000万
社交活动
会见演讲者
会见演讲者(MTS)

文件征集

时代!研讨会侧重于基于参与者、活动/并发对象、代理的编程系统、语言和应用程序,更广泛地讲,还侧重于高级编程范式,促进在解决问题和开发软件时分散控制的思维方式。该研讨会旨在涵盖设计和编程的理论和实践,将研究模型、语言和技术的研究人员与开发实际系统和应用程序的实践者聚集在一起。

研讨会的目标是作为一个论坛,收集、讨论和比较在(分布式)人工智能、分布式计算、计算机编程、编程语言设计和软件工程背景下不同社区中通常出现的相关研究成果。

研讨会将安排为为期一天的研讨会,将以下两个方面结合起来:

  • 与以前的版本一样,这是一个小型会议风格的部分,为在ACM数字图书馆的正式会议上发布的公认贡献的展示和讨论预留了时间段。

  • 由项目委员会选择的一组演示文件描述的人工制品演示部分,用于展示有趣的结果,并就想法和挑战进行讨论。

研讨会欢迎两种类型的贡献:

  • 成熟的贡献:完整的论文,介绍上述一个或多个主题的新的、以前未发表的研究。全文将作为ACM SIGPLAN的官方出版物在ACM数字图书馆上发布。

  • 演示稿:描述作者同意在研讨会上演示的人工制品的短文,也可以引发讨论和互动。演示文件将包括在非正式会议记录中。

格式和提交

请作者使用提交系统以PDF格式提交论文https://agere20.hotcrp.com/.

  • 全文:最多10页,包括参考文献
  • 演示论文:最多2页,不包括参考文献

(延长的)最后期限是2020年9月1日。

提交的文件应使用ACM SIGPLAN会议acmart格式和“SIGPLAN”子格式,10点字体。所有提交文件均应为PDF格式。如果您使用LaTeX或Word,请使用ACM SIGPLAN acmart模板。否则,请按照作者的说明进行操作。

如果使用LaTeX格式化纸张,则需要在\documentclass命令中设置10pt选项。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请使用LaTeX\settopmatter{printfolios=true}命令在提交的文件中包含页码。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。