写博客>>
2017年SPLASH
2017年10月22日星期日至27日星期五加拿大温哥华

解析@SLE2017是第五届解析编程语言年度研讨会。目标参与者是解析器生成工具的作者以及编程语言和其他软件语言的解析器的作者。在本研讨会中,“解析”是一种计算,它以一系列字符作为输入,并生成语法树或图形作为输出。这可能包括使用正则表达式进行标记化,使用无上下文语法派生树,以及映射到抽象语法树。其目标是汇集当今解析领域的专家,以探索开放性问题,并可能促成新的合作。主题可能包括算法、实现和生成技术、元形式主义(BNF)的语法和语义等。我们希望吸引已经或正在开发广泛解析领域的理论、技术和工具的参与者。

接受的论文

标题
用于系统性能优化的模块化SGLR解析结构
解析@SLE
块结构语言解析中的块级并行
解析@SLE
基于上下文范围的声明性消歧
解析@SLE
SLEBoK实用解析指南的讨论
解析@SLE
分析ableC中的可扩展类型限定符
解析@SLE
正在分析@IDE
解析@SLE
图分析的解析技术
解析@SLE
利用挖掘事件日志生成的语法进行系统测试故障诊断
解析@SLE
欢迎光临
解析@SLE

呼吁捐款

主要关注点解析@SLE是形式化语言语法规范和分析,在编程语言实现中有应用,在生物信息学和大数据中有新兴应用。

研讨会是有意非正式的,其主要目标是促进思想交流,并强调新的进展和应用。我们特别尝试将当前编译器生成、解析器生成和元编程工具集的作者、开发人员和用户聚集在一起。

我们征求三种谈话建议:

  1. 位置演示文稿旨在总结成就和挑战,也许是总结整个研究小组的工作;
  2. 技术演示涵盖特定预付款
  3. 工具演示显示正在运行的软件,而不是屏幕截图和工具规范,并在休息期间提供交互式会话的机会。

在实际编程语言的上下文中,有许多突出的理论和实际问题。特别是,面对IDE构建、逆向工程、软件度量和特定领域(嵌入式)语言等应用领域,编程语言的演变和多样性带来了许多解析挑战。例如,我们能为解析器生成找到好的模块化形式吗?对于需要比无上下文语法和正则表达式提供更多计算能力的传统语言和新语言,我们如何获得(快速且正确的)解析器?我们如何利用多核处理器和GPU提供的并行性?我们如何在不经过多年努力的情况下为C++和Scala等语言提供经过验证的解析器?

许多更广泛的计算领域也严重依赖解析器,例如计算语言学、网络流量分类、网络安全和生物信息学。这些领域通常有自己不寻常的要求,例如:速度,特别是在网络算法方面;存储器效率,例如在嵌入式设备中;并采用快速/动态解析器构造作为语法。我们鼓励提交最广泛应用领域中的解析挑战和解决方案。

演讲提案应采用ACM 2列10pt或11pt格式的1页US-letter摘要形式。提交地点待定。

不会有正式出版的会议记录,但已接受的摘要将提前分发给所有参与者,以及演示者希望提供的任何其他材料。

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

10月22日周日

显示的时区:蒂华纳,下加利福尼亚州 改变

08:30 - 10:00
第1部分解析@SLE牛津
主席:埃里克·范·威克美国明尼苏达大学
08:45
1500万
开放日
欢迎光临
解析@SLE
埃里克·范·威克美国明尼苏达大学,尤尔根·文朱(Jurgen Vinju)威斯康德信息中心/埃因霍温理工大学
09:00
3000万
谈话
块结构语言解析中的块级并行
解析@SLE
阿比纳夫·扬达马萨诸塞大学阿默斯特分校
09:30
3000万
谈话
图分析的解析技术
解析@SLE
10:30 - 12:00
第2部分解析@SLE牛津
主席:尤尔根·文朱(Jurgen Vinju)威斯康德信息中心/埃因霍温理工大学
10:30
3000万
谈话
用于系统性能优化的模块化SGLR解析结构
解析@SLE
贾斯珀·丹克斯荷兰代尔夫特理工大学,路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学,迈克尔·斯坦多夫荷兰代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学
11:00
3000万
谈话
利用挖掘事件日志生成的语法进行系统测试故障诊断
解析@SLE
11:30
3000万
谈话
分析ableC中的可扩展类型限定符
解析@SLE
特拉维斯·卡尔森美国明尼苏达大学,埃里克·范·威克美国明尼苏达大学
13:30 - 15:00
第3部分解析@SLE牛津
主席:埃里克·范·威克美国明尼苏达大学
14:00
3000万
谈话
基于上下文范围的声明性消歧
解析@SLE
迈克尔·斯坦多夫荷兰代尔夫特理工大学,路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学
14:30
3000万
谈话
正在分析@IDE
解析@SLE
瓦迪姆·扎伊采夫比利时Raincode实验室
15:30 - 17:00
解析实用指南解析@SLE牛津
主席:尤尔根·文朱(Jurgen Vinju)威斯康德信息中心/埃因霍温理工大学
15:30
9000万
其他
SLEBoK实用解析指南的讨论
解析@SLE
尤尔根·文朱(Jurgen Vinju)威斯康德信息中心/埃因霍温理工大学

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

提交网站

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

https://easychair.org/conferences/?conf=parsingsle17

无诉讼程序

  • 会谈地点:解析@SLE开放,任何注册的人都可以参加讨论。
  • 内容未在ACM数字图书馆中发布,您的材料将在学术期刊或会议(如SLE会议)上公开发布

格式

请以明文形式提交您提议的会谈的简短描述。