欢迎来到2016年SPLASH！

ACM SIGPLAN会议系统、编程、语言和应用：人性化软件（SPLASH）涵盖软件构建和交付的所有方面，使其成为编程、语言和软件工程交叉点的首要会议。2016年SPLASH将于2016年10月30日星期日至11月4日星期五荷兰阿姆斯特丹。

• 计划您的出勤
• 注册参加会议
• 演讲者：会议上所有投影仪的纵横比均为16:9

主题演讲

主题演讲

2016年SPLASH主题演讲：深度规范科学

本杰明·皮尔斯

主题演讲

SPLASH 2016主题演讲：从DOT到Dotty——作为模块的对象的基础和类型

马丁·奥德斯基

主题演讲

2016年SPLASH主题演讲：编程语言的人性化视角

艾米·科

主题演讲

SPLASH-I/E主题演讲：一生的梦想：塑造孩子学习计算的方式

西蒙·佩顿·琼斯

主题演讲

SPLASH-I主题演讲：如何告诉编译器我们认为我们知道的东西？

盖伊·斯蒂尔（Guy L.Steele Jr.）。

主题演讲

SLE 2016主题演讲：Redex：轻量级语义工程

罗伯特·布鲁斯·芬德勒

主题演讲

GPCE 2016主题演讲：轻量级模块化舞台（LMS）：生成所有东西！

蒂亚克·隆普夫

主题演讲

DLS 2016主题演讲：点火：V8快速启动口译员

罗斯·麦克罗伊

受邀会谈

编译器和程序分析器的变形测试

阿拉斯泰尔·唐纳森

从健全到健全

亚尼斯·斯马拉格达基斯

分布式系统的语言支持

希瑟·米勒

事实还是虚构？软件分析能为我们（开发人员和研究人员）做什么

安迪·扎伊德曼

使用SurveyMan设计和调试测量

艾玛·托什

引导：建造桥梁，而不是墙壁

艾曼纽尔·尚泽（Emmanuel Schanzer）

运行时强制执行的高息信用卡

本·利夫希茨

从Tricorder到Tricium：有用的静态分析和工作流集成的重要性

艾玛·索德伯格

松露和谷物：轻而易举的快速编程语言

克里斯·西顿（Chris Seaton）、亚当·韦尔克（Adam Welc）

基于云的IDE的响应式语言工具

Lennart Kats公司

用于部署JavaScript应用程序的反馈式指令插入

弗兰克·蒂普

在Ur/Web中使用类型化元编程快速开发Web应用程序

亚当·克利帕拉

小巧、简单、难闻：我们可以从检查最终用户工件中学到什么？

猫咪赫尔曼斯

决策一致性的要素：大型项目作为复杂的组织

马克·米勒（Mark Miller）、比尔·塔洛（Bill Tulloh）

堆里发生了什么？

山姆·盖耶

使Mendix元模型驱动

乔斯·沃默

虚拟现实中的探索性分析：新前沿

德里克·雅各比，伊冯·考迪

主题演讲：从mbeddr的开发中学习到的语言工程经验

马库斯·沃尔特

基于CSI的竭尽全力故障重建：碰撞现场调查

本·利布利特

软件进化中的冒险

罗伯特·格林

领域需求如何塑造语言

马库斯·沃尔特

Idris中的类型驱动开发

埃德温·布雷迪

软件语言工程的基本技能

拉尔夫·莱梅尔

PLATEAU主题演讲：如何设计编程语言

阿兰·布莱克威尔

小马：类型系统和运行时的协同设计

Sylvan Clebsch公司

使用Docker容器提高PL/SE研究的再现性

尤尔根·西托

软件环保主义

都铎王朝

模拟城市：时空框架

克里斯塔·洛佩斯

模具：Ensō中的图形用户界面

威廉·库克

捕捉！：伪装成刮痕的方案

布莱恩哈维

总主席：埃尔科·维瑟

OOPSLA公司项目主席：亚尼斯·斯马拉格达基斯

OOPSLA工件评估椅子：迈克尔·邦德，迈克尔·欣德

向前的！论文主席：艾默森·穆菲·希尔
向前的！论文主席：克里斯塔·洛佩斯

飞溅物E课程主席：马蒂亚斯·豪斯沃思，史蒂夫·布莱克本

溅水-I轨道椅：蒂杰斯·范德·斯托姆，埃尔科·维瑟

DLS文件项目主席：罗伯托·伊鲁萨利姆希

斯卡拉椅子：阿格洛斯·比布迪斯，马诺哈尔·琼纳拉赫达，桑德罗·斯塔基，Vlad尿素

SLE公司总主席：蒂杰斯·范德·斯托姆
SLE公司课程主席：艾米莉·巴拉德，丹尼尔·瓦罗

GPCE公司总主席：伯恩德·菲舍尔
GPCE公司项目主席：伊娜·谢弗

研讨会椅子：克雷格·安斯洛，简·雷勒梅耶
SRC公司椅子：萨姆·盖尔，林立信
海报椅子：黄立成，塞巴斯蒂安·埃尔德维格
赞助主席：尤尔根·文朱（Jurgen Vinju）
出版物主席：亚历克斯·波塔宁
宣传主席：蒂杰斯·范德·斯托姆，罗纳德·加西亚