ACM SIGPLAN软件语言工程国际会议(SLE)致力于软件语言的原则:它们的设计、实现和演变。
随着计算机的普及,软件已经成为我们这个时代的主要智力资产。反过来,该软件依赖于软件语言,即编写该软件所用的语言、用于描述其环境的语言以及驱动其开发过程的语言。考虑到一切都取决于软件,软件依赖于软件语言,可以公平地说,在未来的许多年里,一切都将取决于软件语言。
软件语言工程(SLE)是创建软件所需的工程语言及其工具的学科。它从编程语言、建模语言和其他软件语言之间的差异中抽象出来,并强调创建此类语言的工程方面,即建立能够获得最佳结果的科学方法和实践。虽然SLE当然是由它的元循环特性驱动的(软件语言是使用软件语言设计的),但SLE并不是自我满足的:它的范围扩展到所有和所有事物的语言工程。
与前辈一样,SLE 2019年第12届会议将汇集来自不同领域的研究人员,他们对软件语言的创建、捕获和工具感兴趣。它与关于编程语言的设计和实现、模型驱动工程和编译器构造的传统会议重叠,并强调其社区的融合。为了促进后者,SLE传统上用一个单曲来填充两天的节目,只有在同一地点的活动之间出现时间重叠。
2019年SLE将于2019年10月20日至22日举行,与溅水和GPCE公司希腊雅典。
会议记录将在网上公布。
| 10:30 - 11:00 | |
| | | |
| 咖啡休息时间 | | 休息 SPLASH餐饮
|
| 15:30 - 16:00 | |
| | | |
| 咖啡休息时间 | | 休息 SPLASH餐饮
|
文件征集
SLE 2019在从理论和概念贡献到软件语言工程领域的工具、技术和框架等领域征集了高质量的贡献。与SLE相关的主题涵盖了软件语言开发的一般方面,而不是特定语言的工程方面。特别是,SLE对以下领域的贡献感兴趣:
- 软件语言设计与实现
- 语言设计的方法和途径
- 静态语义(例如,设计规则、格式良好的约束)
- 指定行为/可执行语义的技术
- 生成方法(包括代码合成、编译)
- 元语言、元工具、语言工作台
- 软件语言验证
- 语言的验证和形式化方法
- 语言测试技术
- 语言仿真技术
- 软件语言集成与组合
- 异构语言和工具的协调
- 语言之间的映射(包括转换语言)
- 语言之间的可追溯性
- 将语言部署到不同平台
- 软件语言维护
- SLE任何方面的特定领域方法(设计、实施、验证、维护)
- 语言工程工具的实证评估和经验报告
-
研究论文:这些应报告对SLE或成功应用SLE技术或两者的重大研究贡献。提交的完整论文不得超过12页,书目除外。
-
工具文件:由于SLE对工具的兴趣,我们寻求介绍与SLE领域相关的软件工具的论文。选择标准包括工具的独创性、创新方面以及与SLE的相关性。任何感兴趣的SLE主题都是工具演示的适当区域。提交的文件必须提供4页的工具描述(不包括参考书目)和演示大纲(包括最多6页的屏幕截图)。工具演示的标题中必须包含关键字“Tool Demo”或“Tool Demonstration”。如果演示被接受,4页的工具说明将在会议记录中发布。6页的演示大纲仅供项目委员会用于评估提交文件。
-
新想法/愿景文件:新思想论文应描述偏离标准实践的新的、非传统的SLE研究方法。它们旨在描述处于调查早期阶段的明确定义的研究思路。愿景论文旨在提出关于现有SLE研究的新的统一理论,这些理论可能会导致新技术或方法的开发。新观点/愿景论文不得超过4页,不包括参考书目。
研讨会:讲习班将由SPLASH组织。如果您想组织SLE观众感兴趣的研讨会,请通知我们并联系SPLASH组织者。有关如何提交研讨会的信息,请访问SPLASH 2019网站.
第三年,SLE将使用评估过程来评估论文所依据的工件的质量,以促进实验再现性的培养。被接受论文的作者被邀请提交作品。有关更多信息,请查看工件评估第页。
提交文件必须符合ACM SIGPLAN会议格式“acmart”;请确保始终使用最新的ACM SIGPLAN acmart LaTeX模板,并且文档类定义为\文档类[sigplan,匿名,评论]{acmart}
。请勿对此格式进行任何更改!
强烈建议不要使用Word模板。
在黑白打印机上打印时,请确保提交的内容清晰易读。特别是,请检查颜色是否保持清晰,图表中的字体大小是否清晰。
为了提高审查的公平性,双盲审查过程已成为SIGPLAN会议的标准。SLE将首次遵循双盲流程。提交的论文中应省略作者姓名和机构,并以第三人称提及作者自己的相关作品。无需其他更改,如果审阅者能够以隐式方式推断其身份,则作者不会受到惩罚。
所有提交文件必须为PDF格式。
论文必须描述目前尚未提交到别处出版的未出版作品,如SIGPLAN的重新发布政策。提交人还应了解ACM关于剽窃的政策和程序。违反这些策略的提交将被桌面拒绝。
提交文件将在https://sle19.hotcrp.com网站/.
所有提交的论文将由项目委员会至少三名成员审查。将评估研究论文和工具文件的新颖性、正确性、重要性、可读性以及与电话会议的一致性。评估新想法/愿景文件的主要内容是新颖性、重要性、可读性以及与电话会议的一致性。
为了公平起见,所有提交的论文必须符合上述说明。违反这些指示的提交文件可能会被拒绝,而无需审查,由PC主席决定。
- 杰出论文:由PC主席根据项目委员会的建议确定的最著名论文奖。
- 尊敬的评审员:由PC主席决定的杰出评审奖。
- 杰出的人工制品:由AEC主席根据工件评估委员会的建议,对最显著超出预期的工件进行奖励。
所有被接受的论文都将在ACM数字图书馆中发表。
作者注意:官方发布日期是ACM数字图书馆提供会议记录的日期。该日期可能最早在会议第一天之前两周。官方发布日期影响与已发布作品相关的任何专利申请的截止日期。
有关更多信息、澄清或问题回答,请通过电子邮件与组织者联系(bruno@cs.hku.hk和gray@cs.ua.edu).
SLE将在第三年使用评估过程来评估论文所依据的工件的质量。该评估过程的目的是培养实验再现性文化,并为工件和论文提供同行评审过程。
2019年SLE论文的作者将被邀请提交作品。可以提交论文中提出的任何人工制品,以进一步的细节补充论文,或作为论文的基础。例如,这包括:;工具、语法、元模型、模型、程序、算法、脚本、证据、数据集、统计测试、检查表、调查、访谈脚本、可视化、带注释的书目和教程。
提交的工件将由专门的工件评估委员会(AEC)审查。符合论文预期的工件将获得AEC的批准徽章。获批作品将被邀请纳入ACM数字图书馆出版的电子会议记录。这将确保文物与已发表的论文一起永久、持久地保存,以促进实验的重复性,实现与替代方法的精确比较,并有助于传播作者的详细想法。
AEC将为最显著超出预期的文物颁发杰出文物奖。
参与工件评估并在ACM数字图书馆中发布批准的工件是自愿的。然而,我们强烈建议作者考虑这种可能性,因为工件的可用性将极大地造福论文读者,并增加作品的影响。请注意,工件评估不会影响论文的接受度,因为它只会在做出接受决定后发生。
SLE的工件评估过程很大程度上借鉴了artifact-eval.org以及之前在SLE、ECOOP和ICSCME方面的经验。具体流程如下。
如果您的论文被2019年SLE接受,AEC主席将邀请您提交与您的作品相关的作品。此邀请将包含如何提交作品的详细说明。
工件提交包括以下组件:
- 论文:已接受SLE 2019论文的初步PDF版本。论文将用于评估接受的论文和提交的工件的一致性,以及评估工件是否符合论文创建的期望。
- 工件的作者:此列表可能包括不是已接受论文的作者,但对创建工件有贡献的人。
- 摘要:对用于将工件分配给AEC成员的工件的简短描述。
- 工件:存档文件(
gz(高斯)
,x赫兹
,或拉链
)包含支持工件完整评估所需的一切。存档文件必须至少包括工件本身和文本文件自述.txt
包含以下信息:
- 归档文件的概述,用于记录归档的内容。
- 设置/安装指南,详细说明如何设置或安装提交的工件。
- 详细的分步说明如何重现任何实验或其他支持本文结论的活动。
如果多个工件与一份已接受的SLE论文相关,则应将所有工件收集在一个存档中,并在一次提交中一起提交。例如,如果开发了一个工具,则编写了一个教程,其中包含有关如何使用该工具的详细说明,并进行了用户研究,以评估工具、工具、教程、,用户研究中收集的原始数据应打包在一个存档文件中,并一起提交给SLE 2019工件评估。
在准备工件时,请考虑您的工件应尽可能可供AEC访问。特别是,AEC有可能在对您的工件的调查中快速取得进展。请提供一些简单的场景,具体描述工件的使用方式。对于工具,这将包括要提供的特定输入或要采取的操作,以及响应此输入的预期输出或行为。
对于作为工具的工件,建议提供在虚拟机上为VirtualBox、VMware、SHARE、Docker映像或类似的广泛可用平台安装并准备好使用的工具。
请为文档(如PDF、HTML)和数据(如CSV、JSON)使用广泛支持的开放格式。
AEC将根据以下标准评估提交的工件。工件应为:
- 与论文一致,
- 尽可能完整,
- 详细记录,以及
- 易于(重复)使用,便于进一步研究。
每个提交的工件将由至少两名AEC成员进行评估。因此,工件将被视为机密,就像提交的论文一样。
通过评估的文物将获得“文物评估-功能”徽章,并被邀请纳入ACM数字图书馆出版的电子会议记录。将包含在ACM数字图书馆中的工件或将在另一个可公开访问的档案库中永久可用的工件也将收到“可用工件”徽章。这些徽章的详细定义和各自的评估标准可以在ACM人工制品审查徽章网站上找到。
评估包括两个步骤:
- Kicking-the-tires:审查人员将检查工件的完整性,并查找任何可能的设置问题,这些问题可能会妨碍对其进行正确评估(例如,文件损坏或丢失、VM无法启动、最简单的示例上立即崩溃等)。如果出现任何问题,作者将有6天的时间(直到9月5日)阅读并回复工件的即时报告,并解决妨碍工件评估的任何问题。
- 工件评估:评审员评估工件并决定工件的批准。
将在研究论文最终版本的截止日期前约一周分发关于工件评估和审查结果的通知,包括改进工件的建议,这样,结果可以在论文中提及,最终工件可以上传到ACM数字图书馆中。
2019年8月16日2019年8月18日:工件提交(延期)(sle19ae.hotcrp.com)
- 2019年8月30日至9月5日:Kick-the-tires作者回应
- 2019年9月25日:人工制品通知
有关SLE 2019工件评估的更多信息,请随时通过电子邮件联系工件评估主席。
Ralf Lämmel,概率伦敦Facebook软件(语言)工程师
请参阅以下问题。当心复活节彩蛋。好像我知道答案或有权回答!我的演讲将从列表中精选出来,并发表有见地的意见。你的问题和答案会和我的一样好。
关于术语“软件语言”(SL):
- SL的定义是什么?
- 存在哪些不同类型的SL?
- SL的边界示例是什么?
- 为什么不叫它计算机语言?
- 为什么这么宽泛的概念有用?
- 软件和自然语言之间有什么相似之处?
- 这个词是什么时候创造的,是谁创造的,为什么?
关于术语“SL工程”(SLE):
- SLE的定义是什么?
- 如何将SLE视为SE的专业化?
- SL的生命周期是什么?
- SLE的关键概念是什么?(扰流板:“技术空间”)
- SLE与CC、MDE、PLT……有什么关系…?
- “巴别塔”隐喻如何适用于SL(E)?
- 这个词是什么时候创造的,是谁创造的,为什么创造的?
关于“SLE会议”(sleconf):
- sleconf的任务是什么?
- 什么是老套的sleconf文件?
- 还有哪些会议发表SLEish论文?
- 为什么我们还需要另一次会议?
- sleconf是如何实现世界统治的?
- 什么时候才能完成任务?
- “奶酪椅”的位置怎么了?
关于SLE研究:
- 在过去10年里,解决了哪些问题?
- 新兴的研究主题(或领域)是什么?
- SLE中存在哪些未决问题?
- 10年后我们还会看到关于解析的论文吗?
- 本体论和巨型模型会发挥更大的作用吗?
- DSL“全球化”后的下一步是什么?
- 为什么我们一上床就突然感觉不累了?
关于SLE教育:
- SLE在多大程度上被大学课程覆盖?
- 如何(不)将SLE整合到课程中?
- 学习目标和获得的能力是什么?
- SLE知识体系是什么(或应该是什么)?
- 它有多少经得起时间的考验?
- 如何在SLE教育中使用chrestomathies?
- 如何在SLE教育中使用巨型模型?
在SLE实践中:
- SL工程师的职业简介是什么?
- SLE使用不当会发生什么坏事?
- Big Tech现在和未来10年需要多少SLE?
- 科技太空旅行会继续增长吗?
- SLE在ML/AI的新世界中有什么相关性?
- 发生了哪些与SLE相关的技术变化?
- SLE时代开始之前地球上的生活怎么样?
Ralf Lämmel自2018年起担任Facebook的软件工程师,自2007年起担任德国科布伦茨-朗道大学的计算机科学教授(目前休假)。过去,他曾在微软的拉奎拉大学、阿姆斯特丹自由大学、CWI(荷兰数学和计算机科学中心)和德国罗斯托克大学任职。
他的研究和教学兴趣包括软件语言工程、软件逆向工程、软件再工程、挖掘软件存储库、函数编程、基于语法和基于模型的技术,以及最近的巨型建模。在他目前在Facebook的工作中,他将机器学习(广义上)应用于基础设施环境,同时对数据工程和科学产生了越来越大的兴趣。
他是国际暑期学校系列软件工程生成和转换技术(GTTSE)和软件语言工程(SLE)国际会议的创始人之一。他是Springer软件语言工程教科书的作者:软件语言:语法、语义和元编程,Springer,2018。