写博客>>
2017年SPLASH
2017年10月22日星期日至27日星期五加拿大温哥华

时代!研讨会的目的是集中于基于参与者、主动/并发对象、代理和更广泛的高级编程范式的编程系统、语言和应用程序,以促进在解决问题和开发软件时分散控制的心态。该研讨会旨在涵盖设计和编程的理论和实践,汇集了研究模型、语言和技术的研究人员,以及开发真实世界系统和应用程序的从业人员。

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

10月23日周一

显示的时区:蒂华纳,下加利福尼亚州 改变

08:30 - 10:00
简介+主题演讲AGERE公司威尔士亲王
08:45
1500万
谈话
欢迎和介绍
AGERE公司

09:00
6000万
谈话
年龄!主题演讲:奥尔良规划框架的高级功能主题演讲
AGERE公司
附加的文件
10:30 - 12:00
第1部分:验证和语言模型AGERE公司威尔士亲王
主席:乔里·德科斯特比利时布鲁塞尔Vrije大学
10:30
3000万
谈话
Sparrow-用于协调大型异构参与者群体的DSL
AGERE公司
亨伯托·罗德里格斯-阿维拉布鲁塞尔Vrije大学,乔里·德科斯特比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学
附加的文件
11:00
3000万
谈话
因果消息传递的树形拓扑
AGERE公司
塞巴斯蒂安祝福伦敦帝国理工学院,Sylvan Clebsch公司伦敦帝国理工学院,索菲亚·德罗索波卢
11:30
3000万
谈话
订单类型:异步消息传递并发中消息竞争的静态推理
AGERE公司
Mehdi Bagherzadeh公司奥克兰大学,赫里德斯·拉詹爱荷华州立大学
附加的文件
13:30 - 15:00
第2部分:运行时环境和调试AGERE公司威尔士亲王
主席:乔里·德科斯特比利时布鲁塞尔Vrije大学
13:30
3000万
谈话
CAF中的局部指导调度
AGERE公司
附加的文件
14:00
3000万
谈话
调试通信事件循环的原理方法
AGERE公司
14:30
3000万
谈话
Actoverse:演员的可逆调试器
AGERE公司
Shibanai先生东京理工大学,渡边拓国东京理工大学
链接到出版物内政部
15:30 - 17:00
主题演讲+讨论/小组讨论AGERE公司威尔士亲王
15:30
6000万
谈话
年龄!主题演讲:大数据行动者:应用和开放问题主题演讲
AGERE公司
16:30
3000万
谈话
讨论/小组
AGERE公司

文件征集

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

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

  • 与之前的版本一样,这是一个以小型会议风格为特色的部分,保留了一些时间段,用于展示和讨论那些将在ACM DL正式会议上发布的已接受贡献。
  • 这是一个集思广益式的部分,更有针对性地征求意见/挑战/新方向等的讨论,由提交给研讨会并由PC选择的一组职位/工作成果论文提出。

研讨会欢迎四种主要贡献:

  • 成熟贡献:在上述一个或多个主题中展示之前未发表的新研究的完整论文。它们将作为ACM SIGPLAN的官方出版物在ACM数字图书馆上发布。
  • 立场文件和工作成果:介绍贡献的短文(想法、观点、论点、正在进行的工作……),可能还处于初始阶段,尚未完全发展,但鉴于其与AGERE的相关性,值得提交!主题,以引发讨论和互动。他们将被列入非正式程序。
  • 演示:这些贡献应该是关于将在活动期间展示和讨论的技术/系统。
  • 海报:这些贡献旨在利用此次活动与其他参与者讨论一个想法,并获得未来工作的反馈。海报将在茶歇时展示和讨论;可以选择一些主题以纳入讨论环节。

提交

请作者使用提交系统以PDF格式提交论文https://agere17.hotcrp.com/。请遵循我们的作者说明页面

  • 长篇论文:最多10页,包括参考资料
  • 短文和演示:最多4页,不包括参考资料
  • 海报:作者可以发送2页的扩展摘要

为了公平起见,所有提交的论文都应符合格式说明。违反这些指示的提交文件可能会被拒绝而不予审查。

提交网站

在使用提交网站之前,请花点时间阅读以下说明。

提交方式:https://agere17.hotcrp.com/

并发提交

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

格式

提交文件应使用ACM SIGPLAN会议acmart公司使用“sigplan”子格式设置格式,10磅字体,使用Times New Roman字体系列。所有提交文件均应为PDF格式。如果您使用LaTeX或Word,请使用提供的ACM SIGPLANacmart公司提供的模板在这里。否则,请按照作者的说明进行操作。

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

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

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