元程序设计技术与思考研讨会2017年META

Meta’17研讨会旨在汇集从事元编程和反射的研究人员，以及构建应用程序、语言扩展或软件工具的用户。随着硬件和软件环境的变化，以及系统异构性的增加，元编程再次成为处理相关复杂性的重要研究课题。

欢迎就与元编程技术的设计、实现和应用相关的广泛主题以及对此类系统和语言的实证研究和键入作出贡献。

受邀会谈

翻倒的口译塔
纳达·阿明

js:JavaScript多层编程
曼纽尔·塞拉诺

接受的论文

	标题
	支持运行时代码注释读取的基于注释的API 元 千里光利马,爱德华多·格拉,马可·纳德斯,安德烈亚·莫奇,加布里埃尔·巴沃塔,米歇尔·兰扎 DOI程序
	更少的测试墨水 元 尤西·吉尔
	标记：绘制eDSL实施成本的制图方法 元 马修·阿伦斯,卡尔·克伦伯格,珍妮·马里·穆斯卡 附加的文件
	形而上学：建立一个强大的框架，用于远程处理可能损坏的对象和运行时 元 哈维尔·皮亚斯,斯特凡·马尔 附加的文件
	可编程特性（已取消） 元 Farshad Saeidi公司,法扎德·萨纳蒂
	小型嵌入式系统FRP语言中的反应反射 元 渡边拓国 附加的文件
	程序转换的抽象解释 元 斯文·凯德尔,塞巴斯蒂安·埃尔德维格 DOI程序
	欢迎光临 元 斯特凡·马尔

文件征集

移动计算、云应用程序、多核体系结构和其他系统的异构性导致软件的复杂性不断增加，并需要新的编程语言和软件工程工具方法。为了管理复杂性，我们需要能够适应特定应用程序域或用例的通用解决方案，使元编程再次成为重要的研究课题。然而，元编程的挑战仍然是多方面的。他们从基本问题（如反射程序的类型）开始，继续关注实际问题（如性能和工具），并深入到经验领域，以了解元编程是如何使用的以及它如何影响软件可维护性。因此，尽管业界广泛接受Ruby、Scala、JavaScript和其他语言的元编程，但学术界仍需要回答一系列问题，使其达到相同的便利性、工具和编程风格水平，以应对日益复杂的软件系统。

本研讨会旨在探索有助于解决新兴计算平台的异构性、可扩展性和开放性需求的元级技术。

感兴趣的话题

研讨会是采用元编程的所有方法的场所：

• 从静态技术到动态技术
• 反射、元级架构、分段、开放语言运行时应用程序到中间件、框架和DSL
• 最小化运行时开销的优化技术
• 契约系统，或反射程序的类型反射和元对象协议，以启用工具
• 此类技术的案例研究和评估，例如构建应用程序、语言扩展或工具
• 元编程解决方案的实证评估
• 反射系统的安全性和基于能力的设计
• 现代运行时平台（例如物联网、网络物理系统、移动/云/网格计算等）的元级架构和反射中间件
• 现有方法的调查、概念化和分类

简言之，我们邀请您就反射式API和元编程技术的设计、实现和应用，以及此类系统和语言的实证研究和打字等广泛主题为研讨会做出贡献。

研讨会格式和提交文件

本次研讨会欢迎作为小型会议形式的一部分介绍新想法和新出现的问题以及成熟的工作。此外，我们计划在正式演示之间进行交互式头脑风暴和演示，以便积极交流想法。因此，我们寻求以下类型的出版物：

• 技术论文：最多8页，不包括参考文献
• 职位和工作进展论文：1-4页，不包括参考文献
• 技术演示或海报：1页摘要

所有论文都要使用SIGPLAN acmart风格。请使用提供的双栏乳胶或单词模板。

提交时，请使用提交系统：https://meta17.hotcrp.com/

如果作者没有其他要求，研讨会技术论文将在ACM DL中发布。因此，它们将成为SPLASH研讨会的一部分。演示、海报、职位和工作成果论文可以在第二个截止日期后提交，以讨论最新结果和当前工作，并且不会包含在ACM DL程序中。

重要日期

摘要提交日期：2017年8月7日
论文提交日期：2017年8月20日
作者通知：2017年9月6日
职位/WIP文件截止日期：2017年9月8日
相机就绪截止日期：2017年9月18日
职位/WIP通知：2017年9月21日

项目委员会

项目委员会由主办方和以下评审员组成：

Anya Helen Bagge，挪威卑尔根大学
Carl Friedrich Bolz Tereick，德国
Daniele Bonetta，Oracle实验室，奥地利
尼古拉斯·卡多佐，哥伦比亚安第斯大学
塞巴斯蒂安·埃尔德维格，TU Delf，荷兰
Robert Hirschfeld，德国HPI
巴西PUC-Rio Roberto Ierusalimschy
巴勃罗·伊诺斯特罗扎，CWI，荷兰
Kim Mens，比利时鲁汶天主教大学
Cyrus Omar，美国卡内基梅隆大学
法国CNRS吉列尔莫·波利托
蒂亚克·隆普夫，美国普渡大学
Tom Van Cutsem，比利时诺基亚贝尔实验室
渡边拓夫，日本东京理工大学

研讨会组织者

Shigeru Chiba，东京大学
埃利萨·冈萨雷斯-博伊克斯（Elisa Gonzalez Boix），布鲁塞尔Vrije Universiteit Brussel
林茨约翰内斯·开普勒大学斯特凡·马尔

如有疑问，请通过联系我们米…@软vub.ac.be。

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

提交网站

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

提交方式：https://meta17.hotcrp.com/

并发提交

ACM DL中包含的技术论文和所有材料必须描述当前未提交到其他地方出版的未出版工作，如SIGPLAN的重新发布政策。提交人还应了解ACM关于剽窃的政策和程序.

格式

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

如果使用LaTeX格式化纸张，则需要设置10磅中的选项\文档类命令。如果您使用Word格式化论文，您可能希望使用提供的支持此字体大小的Word模板。

请包括页码在您向LaTeX提交的文件中\settopmatter{printfolios=true}命令。

此外，请确保您提交的文件在黑白打印机上打印时清晰可见。特别是，请检查颜色是否保持清晰，字体大小是否清晰。

出版物（数字图书馆早期访问警告）

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