写博客>>
2019年SPLASH
2019年10月20日星期日至25日星期五希腊雅典

虚拟机的概念在编程系统的设计和实现中非常普遍。虚拟机及其实现的语言在大多数编程技术的规范、实现和/或用户界面部署中至关重要。

VMIL研讨会是针对语言虚拟机、它们使用的中间语言以及相关问题的研究人员和尖端实践者的论坛。

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

10月22日星期二

显示的时区:贝鲁特 改变

10:30 - 11:00
咖啡休息时间餐饮中断区域
11:00 - 12:30
第2次会议VMIL公司修道院
主席:安东尼·卡尼诺SUNY宾厄姆顿
11:00
30米
全屏显示
我的哪些瞬态类型检查不是(几乎)免费的?
VMIL公司
艾萨克·奥斯卡·加里亚诺惠灵顿维多利亚大学,理查德·罗伯茨惠灵顿维多利亚大学,斯特凡·马尔肯特大学,迈克尔·霍默惠灵顿维多利亚大学,詹姆斯·诺布尔惠灵顿维多利亚大学
11:30
30米
全屏显示
高效的Fail-Fast动态子类型检查
VMIL公司
罗汉·帕迪加州大学伯克利分校,Koushik Sen公司加州大学伯克利分校
预打印
12:00
1500万
谈话
逐步检查参考能力
VMIL公司
基科·费尔南德斯·雷耶斯瑞典乌普萨拉大学,艾萨克·奥斯卡·加里亚诺惠灵顿维多利亚大学,詹姆斯·诺布尔惠灵顿维多利亚大学,托比亚斯·箭牌瑞典乌普萨拉大学
预打印
12:15
1500万
谈话
基于符号执行的JIT形式化验证
VMIL公司
12:30 - 14:00
午餐餐饮餐厅
14:00 - 15:30
主题演讲和第3次会议VMIL公司修道院
14:00
6000万
谈话
主题2:谁害怕旋转栅门?主题演讲
VMIL公司
15:00
30米
全屏显示
设计用于实现实时管理语言的低级虚拟机
VMIL公司
贾瓦德·易卜拉希米安·阿米里澳大利亚国立大学/Data61,史蒂夫·布莱克本澳大利亚国立大学,托尼·霍斯金澳大利亚国立大学/Data61,迈克尔·诺里什澳大利亚联邦科学与工业研究组织/澳大利亚国立大学数据61
内政部预打印
15:30 - 16:00
咖啡休息时间餐饮中断区域
16:00 - 17:30
第4次会议VMIL公司修道院
主席:安德烈亚·罗莎瑞士卢加诺大学
16:00
30米
全屏显示
实现动态语言和本地代码之间的无缝接口
VMIL公司
纪尧姆·贝索隆埃科尔正常供应,斯蒂芬·凯尔肯特大学
16:30
30米
全屏显示
动态环境中的内存高效CRDT
VMIL公司
吉姆·鲍文斯布鲁塞尔Vrije大学,伊丽莎·冈萨雷斯-博伊克斯比利时布鲁塞尔Vrije大学
17:00
30米
全屏显示
使用显式赋值语义实现语言
VMIL公司
迪米·拉科尔顿日内瓦大学,瑞士日内瓦信息大学中心,迪迪埃·布克斯日内瓦大学,瑞士日内瓦信息大学中心

文件征集

研讨会旨在欢迎广泛的主题和观点,涵盖与研讨会主题相关的所有领域。感兴趣的方面包括但不限于:

  • 虚拟机和信息检索中的设计问题(例如信息检索设计、虚拟机模块化、一元化);
  • 编译(静态和动态编译策略、优化、数据表示);
  • 虚拟机嵌入其他系统(例如,DBMS、大数据框架、微服务等)
  • 内存管理;
  • 并发(内部和用户界面);
  • 工具支持和相关基础设施(分析、调试、活跃性、持久性);
  • VM开发经验(使用高级语言、引导和自托管、可重用性、可移植性、开发工具等)。
  • 对相关主题的实证研究,如使用模式、语言或工具的可用性、实验方法或基准设计。

提交指南

我们邀请以下两类高质量论文:

  • 研究和经验论文:这些提交材料应描述在上述或相关领域推进当前技术水平的工作。这些提交材料的建议长度为6-10页(最多10页)。

  • 工作进展或立场文件:这些文件应记录在尚未产生最终结果的感兴趣领域正在进行的努力,和/或应陈述并捍卫作者对与研讨会广泛领域相关的主题的立场。这些提交文件的最大长度为6页,但我们会考虑较短的提交文件(例如,一份写得很好的2页摘要)。

在第一次提交截止日期内,所有论文类型都考虑在ACM数字图书馆中发布,除非作者不愿意被包括在内。在VMIL出版工作进展和立场文件并不意味着排除以后在其他地方出版。

提交材料将根据新颖性、清晰度、及时性、相关性和在研讨会期间激发讨论的潜力进行评判。

对于第二个截止日期,我们将只考虑工作盈利和立场文件。摘要不必在截止日期前提交。这些将被公布在ACM DL中,并且只显示在网站上。

提交地点的地址为:https://vmil19.hotcrp.com/

所有截止日期都是地球上任何地方(AoE),即GMT/UTC−12:00小时

格式化说明

请使用SIGPLANacmart公司所有纸张的样式:http://www.sigplan.org/Resources/Author网站/。提供的双柱模板可用于乳胶单词.

问题?使用VMIL联系表.