斯普拉什2022
2022年12月10日星期一至星期六新西兰奥克兰

SPLASH海报轨道为作者提供了一个极好的论坛,可以在交互式环境中展示他们最近或正在进行的项目,并接收来自社区的反馈。我们邀请提交涵盖编程、系统、语言和应用程序任何方面的资料。海报会议的目的是鼓励和促进对某一技术领域感兴趣的小团体的个人聚集和互动。该会议在会议早期举行,以促进有关各方之间的持续讨论。

独立海报提交截止日期:2022年8月15日
提交链接:https://splash22posters.hotcrp.com

OOPSLA及以后接受作品海报的注册!到期日:2022年9月30日
登记表:https://forms.gle/r7tbTogmYVy69vdk7网站

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

12月5日星期一

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

18:00 - 20:00
SPLASH海报学生研究竞赛/海报中庭
主席:徐杰斯加拿大麦吉尔大学,Caterina城市Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学
18:00
2小时
海报
通过精确类型的开放递归实现简单的可扩展程序设计
学生研究竞赛
安东范香港科技大学
DOI程序
18:00
2小时
海报
CodeSpider:基于多模式连接查询合成的自动代码查询
学生研究竞赛
王承鹏香港科技大学
DOI程序
18:00
2小时
海报
LoRe:具有验证安全保证的本地第一个反应式编程
学生研究竞赛
朱利安·哈斯达姆施塔特工业大学
DOI程序
18:00
2小时
海报
Qiwi:一种初学者友好的量子语言
学生研究竞赛
阿比南丹帕尔IIIT Kalyani公司,阿努巴卜·高什IIIT Kalyani公司
DOI程序
18:00
2小时
海报
可证明正确的智能合约:一种使用DeepSEA的方法
海报
丹尼尔·布里顿新西兰怀卡托大学,维勒姆·舍伯格(Vilhelm Sjöberg)CertiK证书,史蒂夫·里夫斯新西兰怀卡托大学
DOI程序
18:00
2小时
海报
塔:量子叠加中的数据结构
海报
查尔斯·袁麻省理工学院,迈克尔·卡宾麻省理工学院
18:00
2小时
海报
使用变异分析形式规范
学生研究竞赛
Siraphob Phipathananunth公司范德比尔特大学
DOI程序
18:00
2小时
海报
竞争性调试:走向将调试作为一种技能推广的竞赛
海报
帕特里克·雷因波茨坦大学;哈索-普拉特纳研究所,汤姆·贝克曼波茨坦大学;哈索-普拉特纳研究所,伦纳德·盖尔波茨坦大学;哈索-普拉特纳研究所,托尼·马蒂斯波茨坦大学;哈索-普拉特纳研究所,罗伯特·赫施菲尔德波茨坦大学;哈索-普拉特纳研究所
18:00
2小时
海报
基于控制流分割的基础声音注释验证程序
学生研究竞赛
周立涛上海交通大学
DOI程序
18:00
2小时
海报
高效流概率规划的半符号推理
海报
埃里克·阿特金森麻省理工学院,查尔斯·袁麻省理工学院,纪尧姆·鲍达特Inria公司,路易斯·曼德尔IBM研究,迈克尔·卡宾麻省理工学院
18:00
2小时
海报
分阶段静态+动态部分分析中回调的影响研究
学生研究竞赛
DOI程序
18:00
2小时
海报
Multiverse笔记本:安全高效探索的笔记本环境
海报
DOI程序
18:00
2小时
海报
Katara:通过验证提升合成CRDT
海报
沙达吉·拉达德加州大学伯克利分校,Conor Power公司加州大学伯克利分校,米兰梅加州大学伯克利分校,张爱文(Alvin Cheung)加州大学伯克利分校,约瑟夫·海勒斯坦加州大学伯克利分校
18:00
2小时
海报
显式代码重用建议
海报
Dov Fraivert公司以色列开放大学,大卫·H·洛伦兹以色列开放大学
DOI程序
18:00
2小时
海报
使用隐时钟和扩展Antimirov算法的实时系统自动验证
学生研究竞赛
宋亚辉新加坡国立大学,魏恩甘钦新加坡国立大学
DOI程序
18:00
2小时
海报
组成记忆安全的线性类型和分离逻辑证明
海报
DOI程序
18:00
2小时
海报
ARENA:增强神经网络验证的抽象精炼
学生研究竞赛
余义忠新加坡国立大学,Quang-Trung Ta公司新加坡国立大学,Siau-Cheng Khoo公司新加坡国立大学
DOI程序
18:00
2小时
海报
用线性组合的词法顺序终止递归函数
学生研究竞赛
DOI程序

12月7日星期三

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

17:30 - 19:30
17:30
1500万
海报
用线性组合的词法顺序终止递归函数
学生研究竞赛
DOI程序
17:45
1500万
海报
使用隐式时钟和扩展Antimirov算法的实时系统自动验证
学生研究竞赛
宋亚辉新加坡国立大学,魏恩甘钦新加坡国立大学
DOI程序
18:00
1500万
海报
CodeSpider:基于多模式连接查询合成的自动代码查询
学生研究竞赛
王承鹏香港科技大学
DOI程序
18:15
1500万
海报
LoRe:具有验证安全保证的本地第一个反应式编程
学生研究竞赛
朱利安·哈斯达姆施塔特工业大学
DOI程序
18:30
1500万
海报
基于控制流分割的基础声音注释验证程序
学生研究竞赛
李涛周上海交通大学
DOI程序
18:45
1500万
海报
使用变异分析形式规范
学生研究竞赛
Siraphob Phipathananunth公司范德比尔特大学
DOI程序
19:00
1500万
海报
ARENA:增强神经网络验证的抽象精炼
学生研究竞赛
余义忠新加坡国立大学,Quang-Trung Ta公司新加坡国立大学,Siau-Cheng Khoo公司新加坡国立大学
DOI程序
19:15
1500万
海报
Qiwi:一种初学者友好的量子语言
学生研究竞赛
阿比南丹帕尔IIIT Kalyani公司,阿努巴卜·高什IIIT Kalyani公司
DOI程序

海报征集

SPLASH海报轨道为作者提供了一个极好的论坛,可以在交互式环境中展示他们最近或正在进行的项目,并接收来自社区的反馈。我们邀请提交涵盖编程、系统、语言和应用程序任何方面的资料。海报会议的目的是鼓励和促进对某一技术领域感兴趣的小团体的个人聚集和互动。该会议在会议早期举行,以促进有关各方之间的持续讨论。

独立海报

我们邀请提交任何SPLASH轨道和附属会议/研讨会范围内的海报,以及:

  • 展示尚未达到足够成熟度的正在进行的工作,以便在会议或期刊上发表
  • 突出现有工作未能解决的研究挑战
  • 概述计划的研究活动(例如,理学硕士或博士项目),并说明其相关性和潜在影响,或
  • 描述新的自由/开源软件工具或系统
    • 针对从业者,或
    • 以研究人员为目标,为研究基础设施做出贡献,即启用或简化研究活动

已接受的独立海报的扩展摘要将包含在SPLASH Companion会议记录中,并在ACM数字图书馆中提供。

提交文件

海报将根据其贡献以及传播这些贡献的有效性进行评估。所有海报提案应包括以下PDF格式的内容之一:

  • ACM acmart主文章模板中的两页扩展摘要,sigplan子格式,10pt字体,或,或者
  • 海报本身。海报应包括一张或多张横向幻灯片。请注意,海报将不包括在SPLASH同伴会议记录中,只包括扩展摘要。

应提交海报在这里2022年8月15日.

海报作者是需要参加预定的互动海报会议,与他们的海报呆在一起,以便他们可以与与会者讨论他们的工作。我们将提供更详细的海报会议的确切日期和时间。

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

演示

演示为解释实际想法提供了一个有效的平台。它们是分享难以用“静态”海报捕捉的设计、工具或系统的技术方面的极好方法。同时,它们自然地提高了海报会议主持人和与会者之间的互动水平,并促进了生动的讨论。

我们强烈鼓励已接受海报的作者准备一份作品演示(如果适用)。打算用演示来补充海报的作者应在提交海报时注明这一点。

OOPSLA及以后接受作品海报!

我们鼓励OOPSLA和Onward接受论文和论文的作者!展示总结其工作的海报。此类海报将不接受进一步审查,并且在SPLASH Companion程序中没有单独的扩展摘要。然而,这些海报将有资格参加海报比赛。

我们确实需要接受OOPSLA和Onward的海报!文件(以及任何随附的演示)将在单独的注册中注册形式到2022年9月30日,以便我们订购必要的物资。

学生提交材料和相关事件

SPLASH海报轨道是任何经验水平的研究人员的场地,但我们明确欢迎学生提交其正在进行的工作。如果您是学生并考虑提交海报,我们建议您也探索博士生论坛以及ACM学生研究竞赛。这些相关活动为你的论文工作提供了更多反馈和建议的机会,并可能为你提供进一步交流的联系人,以及与其他专业人士交流的经验。