VMIL研讨会是一个研究虚拟机和中间语言的论坛。它致力于识别当前作为代码转换实现或在库中实现但应该在VM级别支持的编程机制和构造。此类机制和构造的候选对象包括模块化机制(方面、上下文相关层)、并发(线程和锁、参与者、胶囊、进程、软件事务内存)、事务、开发工具(分析器、运行时验证)等。感兴趣的主题包括研究哪些这样的机制是值得与运行时环境集成的候选者,如何在中间语言级别(例如,在字节码中)优雅地(和可重用地)表达所述机制,如何优化它们的实现,以及如何塑造虚拟机架构以促进此类实现工作。
接受论文和受邀演讲人
文件征集
感兴趣的主题包括但不限于:
- 基于编译和基于解释的虚拟机设计,更好地支持新机制
- 更好地支持新机制的中间语言构造
- 从高级语言到增强型中间语言的编译技术
- 减少编译或解释导致的运行时开销的优化策略
- 在虚拟机和中间语言中进一步支持新机制的用例
- 支持新机制的高级缓存和内存管理方案
我们邀请以下两类高质量论文。
-
研究或经验论文:这些提交文件应描述在支持虚拟机和中间语言中的高级关注点分离技术方面推动当前技术发展的工作。具有更广泛兴趣并描述从实际应用中获得的见解的经验文件。这些提交文件的页数限制为10页。
-
立场文件:这些提交的材料陈述并捍卫了提交人在一个与研讨会更广泛领域有关的主题上的立场。这些提交文件的页数限制为6页。
项目委员会将根据每篇论文的相关性、重要性、清晰度和原创性对其进行评估。每次提交的文件将由至少三名PC成员审查。
提交地点:https://vmil16.hotcrp.com
论文应以PDF格式提交。所描述的结果必须未发表,不得在其他研讨会、会议或期刊上进行审查。提交文件必须符合ACM SIGPLAN格式(http://www.sigplan.org/Resources/Author网站),使用10pt字体,在第一页包含ACM通用术语和类别,并且不得超过作者分类的类别(研究、经验或立场文件)的页数限制(包括所有文本、图表、参考文献和附录)。不符合这些要求的提交文件将在未经审查的情况下被拒绝。
作者可以选择在官方会议记录中发表他们已接受的论文,以出现在ACM DL中。预计论文作者将出席研讨会(通过SPLASH注册为研讨会参与者)。