2017年SPLASH计划

详细表格会话时间表详细时间表

获取日历（iCal）

时区

程序当前显示在（GMT-07:00）蒂华纳，下加利福尼亚州.

使用会议时区：（GMT-07:00）蒂华纳，下加利福尼亚州选择其他时区

显示的GMT偏移量反映了偏移量在会议的那一刻.

时间段

通过设置时间段，程序将使此时间窗口之外的事件变暗。这对于具有连续程序（具有重复会话）的（虚拟）会议很有用。
时间段还将限制个人iCalendar订阅服务中包含的事件。

显示完整程序指定时间段

保存

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

10月22日周日
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	第1部分解析@SLE在牛津主席：埃里克·范·威克美国明尼苏达大学

08:45 1500万开放日		欢迎光临解析@SLE 埃里克·范·威克美国明尼苏达大学,尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学
09:00 30米谈话		块结构语言解析中的块级并行解析@SLE 阿比纳夫·扬达马萨诸塞大学阿默斯特分校
09:30 30米谈话		图分析的解析技术解析@SLE 叶卡捷琳娜·维尔比茨凯亚 ,谢苗·格里戈雷夫

08:30 - 10:00	第1部分PX/17.2型在威尔士亲王

08:30 9000万谈话		【主旨】塑造学生的编程体验：关于一门问题解决游戏设计课程的思考 PX/17.2型克：史蒂文·塔尼莫托西雅图华盛顿大学链接到出版物

08:30 - 10:00	第1课时DSLDI公司在摄政区A 主席：林赛·库珀英特尔研究院,埃里克·沃尔金肖俄勒冈州立大学

09:00 1000万开放日		欢迎光临 DSLDI公司电话：林赛·库珀英特尔研究院,电话：埃里克·沃尔金肖俄勒冈州立大学
09:10 5000万谈话		渐进式打字：静态和动态混合的基础（主题演讲） DSLDI公司克：罗纳德·加西亚加拿大不列颠哥伦比亚大学附加的文件

08:30 - 10:00	元编程和领域特定语言元在摄政区B 主席：塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学

08:50 1000万开放日		欢迎光临元斯特凡·马尔肯特大学
09:00 30米谈话		标记：绘制eDSL实施成本的制图方法元马修·阿伦斯 ,卡尔·克伦伯格塔夫茨大学,珍妮·马里·穆斯卡塔夫茨大学附加的文件
09:30 30米谈话		更少的测试墨水元尤西·吉尔以色列理工学院

08:30 - 10:00	周日主题演讲斯卡拉在摄政区C 主席：菲利普·哈勒瑞典皇家理工学院

08:45 1500万开放日		开幕式-第1天斯卡拉
09:00 60米谈话		Spark和Scala 斯卡拉克：雷诺德·辛数据积木

10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:00 30米咖啡休息时间		休息餐饮

10:30 - 12:00	第2部分解析@SLE在牛津主席：尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学

10:30 30米谈话		用于系统性能优化的模块化SGLR解析结构解析@SLE 贾斯珀·丹克斯荷兰代尔夫特理工大学,路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学,迈克尔·斯坦多夫荷兰代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学
11:00 30米谈话		利用挖掘事件日志生成的语法进行系统测试故障诊断解析@SLE 斯蒂芬·汉卡 ,弗兰克·科伊尔SMU公司
11:30 30米谈话		分析ableC中的可扩展类型限定符解析@SLE 特拉维斯·卡尔森美国明尼苏达大学,埃里克·范·威克美国明尼苏达大学

10:30 - 12:00	第2部分PX/17.2型在威尔士亲王

10:30 4500万谈话		为Web组件设计实时开发体验 PX/17.2型延斯·林克哈索-普拉特纳研究所,斯特凡·拉姆森波茨坦哈索·普拉特纳研究所,帕特里克·雷因哈索-普拉特纳研究所,罗伯特·赫施菲尔德HPI公司,马塞尔·塔伊梅尔哈索-普拉特纳研究所,蒂姆·费尔根特里夫波茨坦哈索-普拉特纳研究所预打印
11:15 4500万谈话		传统软件语言的增量覆盖 PX/17.2型瓦迪姆·扎伊采夫Raincode实验室，比利时预打印

10:30 - 12:00	第2部分DSLDI公司在摄政区A 主席：纳达·阿明剑桥大学

10:30 2200万谈话		实体和风格：数学图表的领域特定语言 DSLDI公司 Wode Ni公司哥伦比亚大学,凯瑟琳·叶 ,约书亚阳光卡内基梅隆大学,乔纳森·奥尔德里奇卡内基梅隆大学,基南起重机卡内基梅隆大学附加的文件
10:52 2200万谈话		调试用宏定义的特定于域的语言 DSLDI公司李祥琪犹他大学,马修·弗拉特犹他大学附加的文件
11:15 2200万谈话		强化学习代理的DSL设计 DSLDI公司克里斯托弗·辛普金斯乔治亚理工学院,斯宾塞·拉加伯乔治亚理工学院,查尔斯·伊斯贝尔。乔治亚理工学院附加的文件
11:37 2200万谈话		切线：在Python中使用源代码转换进行自动区分 DSLDI公司巴特蒙特利尔大学,亚历山大·威尔奇科谷歌大脑附加的文件

10:30 - 12:00	代码生成元在摄政区B 主席：斯特凡·马尔肯特大学

10:30 60米谈话		js:JavaScript多层编程⭐️ 元曼纽尔·塞拉诺Inria，法国
11:30 30米谈话		程序转换的抽象解释元斯文·凯德尔荷兰代尔夫特理工大学,塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学内政部

10:30 - 12:00	类型斯卡拉在摄政区C 主席：安东尼·斯隆麦格理大学

10:30 30米谈话		DOT算法打字（短文）斯卡拉阿贝尔·尼托滑铁卢大学内政部预打印附加的文件
11:00 30米谈话		类型类作为子类型隐式的局限性（短文）斯卡拉阿德尔伯特·张无关联内政部预打印
11:30 30米谈话		二级值锈状借款（短文）斯卡拉利奥·奥斯瓦尔德美国普渡大学,Tiark Rompf公司普渡大学内政部媒体已连接

10:30 - 12:00	FOSD主题演讲FOSD公司在温莎

10:30 30米开放日		欢迎来到FOSD 2017 FOSD公司
11:00 60米谈话		FOSD主题演讲：管理克隆变体中的功能 FOSD公司克：朱莉娅·鲁宾不列颠哥伦比亚大学

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	第3部分解析@SLE在牛津主席：埃里克·范·怀克美国明尼苏达大学

14:00 30米谈话		基于上下文范围的声明性消歧解析@SLE 迈克尔·斯坦多夫荷兰代尔夫特理工大学,路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学
14:30 30米谈话		正在分析@IDE 解析@SLE 瓦迪姆·扎伊采夫Raincode实验室，比利时

13:30 - 15:00	第3部分PX/17.2型在威尔士亲王

13:30 4500万谈话		关东：Etoys的多参与者屏幕共享系统，Snap！和GP PX/17.2型大岛吉吉HARC/Y组合器研究,伯特·弗洛伊登伯格 ,丹·阿梅朗视点研究所预打印
14:15 4500万谈话		生活在编程环境中：为生产力工具启用探索性编程 PX/17.2型帕特里克·雷因哈索-普拉特纳研究所,延斯·林克哈索-普拉特纳研究所,斯特凡·拉姆森波茨坦哈索·普拉特纳研究所,托尼·马蒂斯哈索-普拉特纳研究所,罗伯特·赫施菲尔德HPI公司预打印

13:30 - 15:00	第3部分DSLDI公司在摄政区A 主席：埃里克·沃金肖俄勒冈州立大学

13:30 2200万谈话		MkMod：用于开发Linux内核模块的领域特定语言 DSLDI公司马纳西·穆克吉钦奈数学研究所附加的文件
13:52 2200万谈话		Bacatá：用于DSL的通用笔记本生成器 DSLDI公司毛里西奥·维拉诺·梅里诺埃因霍温理工大学,尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学,蒂伊斯·范德斯托姆维斯昆德信息中心/格罗宁根大学附加的文件
14:15 2200万谈话		Thapl-A剧院DSL DSLDI公司尤西·吉尔以色列理工学院,大卫·H·洛伦兹以色列理工学院,马坦·I·贝利德以色列理工学院附加的文件
14:37 2200万谈话		使用代数效应实现自然主义EDSL DSLDI公司乔纳森·伊曼纽尔·布拉切特德国图宾根大学链接到出版物预打印媒体已连接附加的文件

13:30 - 15:00	运行时反射元在摄政区B 主席：赛勒斯·奥马尔卡内基梅隆大学

13:30 30米谈话		小型嵌入式系统FRP语言中的反应反射元渡边拓国东京理工大学附加的文件
14:00 30米谈话		形而上学：建立一个强大的框架，用于远程处理可能损坏的对象和运行时元哈维尔·皮亚斯Palantir解决方案,斯特凡·马尔肯特大学附加的文件
14:30 30米谈话		支持运行时代码注释读取的基于注释的API 元千里光利马INPE-国家空间研究所,爱德华多·格拉INPE-国家空间研究所,马可·纳德斯INPE-国家空间研究所,安德里亚·莫奇意大利斯维泽拉大学（USI）,加布里埃尔·巴沃塔意大利斯维泽拉大学（USI）,米歇尔·兰扎意大利斯维泽拉大学（USI）内政部

13:30 - 15:00	汇编斯卡拉在摄政区C 主席：保罗·贾鲁索德国图宾根大学

13:30 30米谈话		用于超级编译的Scala框架斯卡拉内特·尼斯特罗姆内政部
14:00 30米谈话		使用主动JIT编译优化收集操作斯卡拉 Aleksandar Prokopec公司Oracle实验室,大卫·利奥波德塞德约翰开普勒林茨大学,吉尔斯·杜博斯克Oracle实验室,托马斯·沃尔廷格Oracle实验室内政部
14:30 30米谈话		ScalaSMT：Scala中的可满足性模理论（工具文件）斯卡拉弗兰克·卡塞兹澳大利亚麦格理大学,安东尼·斯隆麦格理大学内政部

13:30 - 15:00	会谈/讨论FOSD公司在温莎

13:30 30米谈话		Clafer模型的完全一致性检查 FOSD公司马库斯·韦克瑟达姆施塔特工业大学,马尔特·洛肖 ,迈克尔·里斯facilityBoss股份有限公司,安迪·舒尔达姆施塔特工业大学
14:00 30米谈话		减少技术架构不必要变化的自动化建议 FOSD公司肯尼·韦林大众汽车公司,大卫·威利德国布伦瑞克大学,克里斯托夫·塞德尔布伦瑞克理工大学,伊娜·谢弗布伦瑞克理工大学
14:30 30米谈话		变体列表：比较和设计指南 FOSD公司卡尔·斯梅尔策俄勒冈州立大学,马丁·埃尔维格俄勒冈州立大学

15:00 - 15:30	咖啡休息时间餐饮在摄政大厅

15:00 30米咖啡休息时间		休息餐饮

15:30 - 17:00	解析实用指南解析@SLE在牛津主席：尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学

15:30 9000万其他		SLEBoK实用解析指南的讨论解析@SLE 尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学

15:30 - 17:00	第4次会议PX/17.2型在威尔士亲王

15:30 4500万谈话		软件开发中纠缠的时间链 PX/17.2型马蒂亚斯·豪斯沃思意大利斯维泽拉大学（USI）,穆罕默德·雷扎·阿扎德马内什卢加诺大学预打印
16:15 4500万谈话		面向指导软件模块化的概念软件编程环境 PX/17.2型托尼·马蒂斯哈索-普拉特纳研究所,帕特里克·雷因哈索-普拉特纳研究所,斯特凡·拉姆森波茨坦哈索·普拉特纳研究所,延斯·林克哈索-普拉特纳研究所,罗伯特·赫施菲尔德HPI公司预打印

15:30 - 17:00	第4次会议DSLDI公司在摄政区A 主席：林赛·库珀英特尔研究院

15:30 2200万谈话		作为程序设计语言的物权法 DSLDI公司 Shrutarshi巴苏康奈尔大学,詹姆斯·格里梅尔曼康奈尔法学院,内特·福斯特康奈尔大学附加的文件
15:52 2200万谈话		通过规范化嵌入 DSLDI公司沙扬·内德（Shayan Najd）爱丁堡大学附加的文件
16:15 2200万谈话		特定领域语言特征的可靠组合 DSLDI公司特德·卡明斯基明尼苏达大学,埃里克·范·威克美国明尼苏达大学附加的文件
16:37 2200万当日收盘		讨论和结束语 DSLDI公司

15:30 - 17:00	编译反射元在摄政区B 主席：斯特凡·马尔肯特大学

15:30 60米谈话		翻倒的口译塔⭐️ 元纳达·阿明剑桥大学
16:30 30米当日收盘		讨论和结束元

15:30 - 17:00	开放源代码和学生对话斯卡拉在摄政区C 主席：吉多·萨尔瓦内奇达姆施塔特工业大学

15:30 2200万谈话		Scala中的基因组数据分析（开源对话）斯卡拉瑞恩·威廉姆斯媒体已连接
15:52 2200万谈话		Flare：Spark中优化UDF的简要探讨（学生对话）斯卡拉答：詹姆斯·戴克媒体已连接
16:15 2200万谈话		Scala中的分隔控件（学生对话）斯卡拉答：尼尔斯·琼森
16:37 2200万谈话		图书馆界面设计（学生对话）斯卡拉答：尼尔斯·琼森

15:30 - 17:00	会谈/讨论FOSD公司在温莎

15:30 30米谈话		Groovy中的面向特征编程 FOSD公司吉尔赫梅·阿西斯用友集团,爱德华多·菲格雷多用友集团,古斯塔沃山谷德国帕绍大学
16:00 30米谈话		走向成熟的面向增量的软件产品线的开发过程 FOSD公司斯文·舒斯特德国布伦瑞克大学,克里斯托夫·塞德尔布伦瑞克理工大学,伊娜·谢弗布伦瑞克理工大学
16:30 30米谈话		闪电对话 FOSD公司埃里克·沃尔金肖俄勒冈州立大学

10月23日周一
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	第1部分SEPS公司在布赖顿主席：佐藤由纪东京理工大学

08:45 1500万谈话		欢迎和开幕 SEPS公司
09:00 60米谈话		SEPS主题演讲：用领域特定语言驯服并发编程 SEPS公司学生：菲利普·哈勒瑞典皇家理工学院媒体已连接

08:30 - 10:00	WODA公司WODA公司在卡文迪什主席：黄立成德克萨斯农工大学,本·利夫希茨英国伦敦帝国理工学院

08:30 4500万谈话		忘记垃圾工，我们需要一个水管工 WODA公司埃默里·伯杰马萨诸塞大学阿默斯特分校
09:15 4500万谈话		将预测数据竞争检测推到极限 WODA公司迈克尔·D·邦德俄亥俄州立大学

08:30 - 10:00	第1部分新日尔在治安官主席：延斯·帕尔斯伯格加州大学洛杉矶分校

08:30 30米谈话		欢迎和NJR概述新日尔克里斯塔·洛佩斯加州大学欧文分校,延斯·帕尔斯伯格加州大学洛杉矶分校
09:00 20米谈话		项目分析基准新日尔克里斯蒂娜·西富恩特斯Oracle实验室,卡里姆·阿里阿尔伯塔大学,亚尼斯·斯马拉格达基斯雅典大学附加的文件
09:20 20米谈话		数百个项目和数万个构建：评估云中的动态测试和分析工具新日尔乔纳森·贝尔乔治·梅森大学附加的文件
09:40 20米谈话		XCorpus，Java程序的可执行语料库新日尔延斯·迪特里希梅西大学附加的文件

08:30 - 10:00	会议1：主题演讲CoCoS公司在多佛

08:30 30米开放日		欢迎光临 CoCoS公司
09:00 60米谈话		主旨：课程理解-谁、如何、什么和为什么 CoCoS公司里德·霍姆斯不列颠哥伦比亚大学附加的文件

08:30 - 10:00	工具和技术飞溅-E在肯辛顿主席：乔·吉布斯·波利茨加州大学圣地亚哥分校

08:30 30米谈话		（CER）掌握学习型教学与成就飞溅-E 托比亚斯·箭牌瑞典乌普萨拉大学,埃利亚斯·卡斯特格林瑞典乌普萨拉大学附加的文件
09:00 30米谈话		（CSES）评估程序设计教育新系统的可用性飞溅-E 乔瓦尼·文森蒂巴尔的摩大学,斯科特·希尔伯格 ,詹姆斯·布拉曼 ,迈克尔·萨辛格巴尔的摩大学,曹丽丽美国陶森大学附加的文件
09:30 30米谈话		（CSES）在计算机科学入门课程中应用和适应性课程，以在不同的学生群体中取得成功飞溅-E 艾布克·古尔·特克尔威斯康辛大学麦迪逊分校,克里斯汀·科贝特·莫兰加州理工学院附加的文件

08:30 - 10:00	主旨：塞巴斯蒂安·伯克哈特REBLS公司在牛津

08:30 9000万谈话		主题演讲：不要点击刷新：实现分布式服务的自动反应 REBLS公司塞巴斯蒂安·伯克哈特微软研究院

08:30 - 10:00	简介+主题演讲AGERE公司在威尔士亲王

08:45 1500万谈话		欢迎和介绍 AGERE公司
09:00 60米谈话		年龄！主题演讲：奥尔良规划框架的高级功能主题演讲 AGERE公司菲利普·A·伯恩斯坦微软研究院附加的文件

08:30 - 10:00	周一GPCE/SLE主题演讲GPCE公司在摄政区A+B

08:30 1500万开放日		打开 GPCE公司马修·弗拉特犹他大学,塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学
08:45 75万谈话		主题演讲：过去十年重构研究的前景主题演讲 GPCE公司克：丹尼·迪格俄勒冈州立大学EECS学院

08:30 - 10:00	GPCE/SLE主题演讲SLE公司在摄政区A+B

08:30 1500万开放日		打开 SLE公司 Benoit Combemale公司法国雷恩第一大学,马尔扬·默尼克斯洛文尼亚,伯恩哈德·伦普德国亚琛RWTH大学媒体已连接
08:45 7500万谈话		GPCE主题演讲：过去十年重构研究的前景，Danny Dig主题演讲 SLE公司丹尼·迪格俄勒冈州立大学EECS学院

08:30 - 10:00	周一主题演讲斯卡拉在摄政区C 主席：Ondřej Lhoták加拿大滑铁卢大学

08:45 1500万开放日		开幕式-第2天斯卡拉
09:00 60米谈话		黑客编程语言斯卡拉克：德韦恩·里夫斯脸谱网

08:30 - 10:00	简介和主旨演讲高原在摄政区D

08:30 30米开放日		欢迎和介绍高原
09:00 60米谈话		PLATEAU主题演讲：编程中的可用性设计空间高原苏米特·古尔瓦尼微软研究院

08:30 - 10:00	会谈第1部分NOOL（诺尔）在温莎

08:45 1500万开放日		欢迎光临 NOOL（诺尔）
09:00 30米谈话		元编程语言的对象化 NOOL（诺尔）瓦迪姆·扎伊采夫Raincode实验室，比利时

10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:00 30米咖啡休息时间		休息餐饮

10:30 - 12:00	会议2：软件性能工程SEPS公司在布赖顿主席：巴勃罗·德·奥利维拉·卡斯特罗法国凡尔赛大学

10:30 30米谈话		MALT，一个Malloc跟踪器 SEPS公司塞巴斯蒂安·瓦拉特欧洲核子研究所,安德烈·沙里夫·鲁比亚尔圣昆廷凡尔赛大学,威廉·贾尔比凡尔赛大学
11:00 30米谈话		RAMPAGE金属合金电位生成软件的性能分析与优化 SEPS公司菲利普·罗斯橡树岭国家实验室,鸿章山劳伦斯伯克利国家实验室,大卫·里格纳俄亥俄州立大学,尼古拉斯·安托林俄亥俄州立大学,萨拉特·斯利帕蒂橡树岭国家实验室,列奥尼德·奥利克劳伦斯伯克利国家实验室,哈佛大学的威廉斯劳伦斯伯克利国家实验室,雪莉·摩尔橡树岭国家实验室,沃尔夫冈·温德尔俄亥俄州立大学
11:30 30米谈话		HPCToolkit和Score-P对硬件性能计数器的影响 SEPS公司 Jan-Patrick Lehr公司达姆施塔特大学计算工程研究生院,克里斯蒂安·伊万斯基TU Darmstadt Hessian高性能计算能力中心,克里斯蒂安·比肖夫科学计算，达姆施塔特州立大学

10:30 - 12:00	WODA公司WODA公司在卡文迪什主席：黄立成德克萨斯农工大学,本·利夫希茨英国伦敦帝国理工学院

10:30 4500万谈话		强记忆模型：击败SC的5个简单技巧 WODA公司米林·库尔卡尼普渡大学
11:15 20米谈话		从执行轨迹构造动态控制流图 WODA公司杰西·巴特尔 ,乔恩·斯蒂芬斯 ,索米亚·德布雷亚利桑那大学
11:35 20米谈话		Web应用程序中跨参数约束的动态验证 WODA公司 Nathalie Oostvogels公司 ,乔里·德·科斯特比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学

10:30 - 12:00	第2部分新日尔在治安官主席：克里斯塔·洛佩斯加州大学欧文分校

10:30 20米谈话		用于同时静态分析数百个项目的图形系统新日尔哈里·徐加州大学欧文分校附加的文件
10:50 20米谈话		自动化基准管理新日尔埃里克·博登Heinz Nixdorf Institute、Paderborn University和Fraunhofer IEM,本·赫尔曼帕德博恩大学附加的文件
11:10 20米谈话		能源意识编程的工具支持新日尔刘大伟（Yu David Liu）纽约州立大学宾厄姆顿分校附加的文件
11:30 20米谈话		从大量实际执行中发现实证和理论分析性质新日尔迈克尔·D·邦德俄亥俄州立大学
11:50 20米谈话		程序分析对JavaScript基准的需求新日尔克里斯蒂娜·西富恩特斯Oracle实验室,弗朗索瓦·高瑟Oracle实验室附加的文件

10:30 - 12:00	第2部分：生成方法CoCoS公司在多佛

10:30 30米谈话		使用NGA多模式进行大型建模 CoCoS公司瓦迪姆·扎伊采夫Raincode实验室，比利时
11:00 30米谈话		Jatte：集成DSL的可调树编辑器 CoCoS公司阿尔弗雷德·奥克森 ,戈雷尔·赫丁
11:30 30米谈话		讨论 CoCoS公司

10:30 - 12:00	语言和语义飞溅-E在肯辛顿

10:30 30米谈话		（CER）格雷斯早期经验飞溅-E 安德鲁·布莱克波特兰州立大学,金·布鲁斯波莫纳学院附加的文件
11:00 30米谈话		（CER）让利斯科夫替代原则既快乐又悲伤飞溅-E 伊丽莎·巴尼亚萨德不列颠哥伦比亚大学附加的文件
11:30 30米谈话		（CSES）学生对混叠和过程调用的理解飞溅-E 普雷斯顿？特内尔？威尔逊布朗大学,凯西·菲斯勒布朗大学,克里希纳穆西神社美国布朗大学附加的文件

10:30 - 12:00	第二届会议REBLS公司在牛津

10:30 30米谈话		分布式反应式编程中部分故障的处理 REBLS公司弗洛里安·迈特比利时布鲁塞尔Vrije大学,克里斯托夫·斯科利尔斯比利时根特大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学链接到出版物
11:00 30米谈话		用于可补偿和可中断执行的DSL REBLS公司井上裕久京都大学信息学研究生院,青谷俊彦（Tomoyuki Aotani）东京理工大学,Atsushi Igarashi先生日本京都大学
11:30 30米谈话		CPS的一级反应程序 REBLS公司克里斯托夫·德特洛伊尔 ,延斯·尼古拉比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学预打印

10:30 - 12:00	第1部分：验证和语言模型AGERE公司在威尔士亲王主席：乔里·德科斯特比利时布鲁塞尔Vrije大学

10:30 30米谈话		Sparrow-用于协调大型异构参与者群体的DSL AGERE公司亨伯托·罗德里格斯-阿维拉布鲁塞尔Vrije大学,乔里·德科斯特比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学附加的文件
11:00 30米谈话		因果消息传递的树拓扑 AGERE公司塞巴斯蒂安祝福伦敦帝国理工学院,Sylvan Clebsch公司伦敦帝国理工学院,索菲亚·德罗索普洛
11:30 30米谈话		订单类型：异步消息传递并发中消息竞争的静态推理 AGERE公司 Mehdi Bagherzadeh公司奥克兰大学,赫里德斯·拉詹爱荷华州立大学附加的文件

10:30 - 12:00	暂存GPCE公司在摄政区A 主席：纳达·阿明剑桥大学

10:30 2500万谈话		多阶段编程的语义精炼 GPCE公司瑞格加拿大不列颠哥伦比亚大学,罗纳德·加西亚加拿大不列颠哥伦比亚大学内政部授权者链接
10:55 2500万谈话		泛型程序在时空中的分段 GPCE公司乔治·奥芬贝克瑞士苏黎世ETH,Tiark Rompf公司普渡大学,马库斯·普舍尔苏黎世联邦理工大学内政部授权者链接
11:20 2500万谈话		带控制的分级：带控制操作符的类型安全多级编程 GPCE公司 Junpei Oishi先生日本筑波大学,谷山由纪夫日本筑波大学内政部授权者链接
11:45 1500万谈话		GNU Guix中的代码转移短纸 GPCE公司卢多维奇法院法国Inria 内政部授权者链接

10:30 - 12:00	正在分析SLE公司在摄政区B 主席：拉尔夫·莱梅尔德国科布伦兹·兰道大学

10:30 2500万谈话		类型安全模块化解析 SLE公司张浩源 ,黄莉 ,布鲁诺·C·d·S·奥利维拉中国香港大学内政部
10:55 2500万谈话		增量Packrat分析 SLE公司帕特里克·杜布罗伊Y Combinator Research，美国,亚历山德罗·沃思Y Combinator Research，美国内政部
11:20 2500万谈话		基于符号的解析表达式语法扩展和上下文敏感的Packrat解析 SLE公司 Kimio Kuramitsu先生日本横滨国立大学内政部
11:45 1500万谈话		红色移位：程序移位-还原分析愿景文件 SLE公司尼古拉斯·洛朗比利时卢万天主教大学内政部

10:30 - 12:00	领域特定语言斯卡拉在摄政区C

10:30 30米谈话		张量运算的类型安全摘要（短文）斯卡拉陈同飞内政部预打印媒体已连接
11:00 30米谈话		使用Dotty编译器进行交互式开发（工具文件）斯卡拉纪尧姆·马特里斯EPFL，瑞士内政部预打印媒体已连接
11:30 30米谈话		Kompics Scala：缩小算法规范和可执行代码之间的差距（短文）斯卡拉拉尔斯·克罗尔瑞典皇家理工学院,巴黎卡本瑞典KTH,塞夫·哈里迪内政部附加的文件

10:30 - 12:00	工具和环境高原在摄政区D 主席：古斯塔沃·索亚雷斯微软

10:30 20米谈话		交互式浏览器在Web API中的使用高原约翰·道特里谷歌公司。,安德鲁·麦克维恩谷歌公司。,卢克教堂预打印
10:50 20米谈话		一次一个λ：我们对程序分析工具的人性化输出了解多少？高原提图斯·巴里克微软,克里斯·帕宁北卡罗来纳州立大学,艾默森·穆菲·希尔北卡罗来纳州立大学预打印
11:10 20米谈话		投影编辑器为未知语言创建单词的效果如何？受控实验高原尼克拉斯·霍尔曼德国杜伊斯堡大学,托本·罗恩贝克德国杜伊斯堡大学,马克·昆泽德国杜伊斯堡大学,利伦·蒂尔克德国杜伊斯堡大学,斯特凡·哈恩伯格杜伊斯堡-埃森大学预打印
11:30 20米谈话		代码对等测试Web平台的开发高原曼努埃尔·马雷克赫里奥特·沃特大学,莱昂·麦格雷戈赫里奥特·沃特大学预打印

10:30 - 12:00	讨论会NOOL（诺尔）在温莎

10:30 7500万谈话		小组讨论：OO语言的安全性 NOOL（诺尔）电话：克里斯蒂娜·西富恩特斯Oracle实验室,马克·米勒谷歌公司。,乔纳森·奥尔德里奇卡内基梅隆大学,亚尼斯·斯马拉格达基斯雅典大学

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	第3部分：软件并发性和异构性SEPS公司在布赖顿主席：塞巴斯蒂安·瓦拉特欧洲核子研究所

13:30 30米谈话		交易参与者：交易中的沟通 SEPS公司 Janwillem Swalens公司比利时布鲁塞尔Vrije大学,乔里·德科斯特比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学链接到出版物内政部预打印
14:00 20米谈话		[立场文件]如何测试并发软件：一种选择测试技术的方法 SEPS公司席尔瓦娜·森塔·梅洛国际货币委员会/美国药典,西蒙·多·罗西奥·森格·德苏扎国际货币委员会/美国药典,杰夫·卡弗阿拉巴马大学,保罗·塞尔吉奥·洛佩斯·德索萨国际货币委员会/美国药典
14:20 20米谈话		[立场文件]声明用于GPU代码生成的Lua数据类型 SEPS公司保罗·莫塔Motta&SantAnna Pesquisa e Desenvolvimento公司
14:40 20米谈话		[立场文件]通过交互室促进高性能计算项目的协作 SEPS公司马提亚斯图书冰岛大学,莫里斯·里德尔朱利希超级计算中心,赫尔穆特·纽基兴冰岛大学,马库斯·戈茨朱利希超级计算中心

13:30 - 15:00	WODA公司WODA公司在卡文迪什主席：黄立成德克萨斯农工大学,本·利夫希茨英国伦敦帝国理工学院

13:30 4500万谈话		查找半结构化数据中的错误和见解 WODA公司本杰明·佐恩微软研究院
14:15 4500万谈话		通过约束引导的上下文自由语言可及性实现调用-引用上下文翻译 WODA公司哈里·徐加州大学欧文分校

13:30 - 15:00	第3部分新日尔在治安官

13:30 9000万其他		NJR讨论；需求、要求、愿望新日尔克里斯塔·洛佩斯加州大学欧文分校,延斯·帕尔斯伯格加州大学洛杉矶分校

13:30 - 15:00	第3部分：调试CoCoS公司在多佛主席：伊冯·考迪维多利亚大学

13:30 30米谈话		软件能耗评估方法综述 CoCoS公司费利克斯·里格菲利普斯大学马尔堡分校,克里斯托夫·博基什菲利普斯大学马尔堡分校
14:00 30米谈话		失败是怎么发生的？ CoCoS公司穆罕默德·阿扎德马内什 ,马蒂亚斯·豪斯沃思意大利斯维泽拉大学（USI）
14:30 30米谈话		讨论 CoCoS公司

13:30 - 15:00	软件工程飞溅-E在肯辛顿

13:30 30米谈话		（CSES）课堂上的开源软件：学生的常见错误飞溅-E 胡哲伟北卡罗来纳州立大学,杨松北卡罗来纳大学威明顿分校,爱德华·盖林格北卡罗来纳州立大学附加的文件
14:00 30米谈话		（CSES）网络安全教育同行评议飞溅-E 威廉·M·坦普尔科罗拉多大学波德分校,凯西·菲斯勒布朗大学附加的文件
14:30 30米谈话		（CER）10多年来在iTrust教授软件工程：好的、坏的和丑陋的飞溅-E 莎拉·赫克曼北卡罗来纳州立大学,凯瑟琳·斯托利北卡罗来纳州立大学,克里斯·帕宁北卡罗来纳州立大学附加的文件

13:30 - 15:00	第三届会议REBLS公司在牛津

13:30 30米谈话		作为Scala DSL的FRP IoT模块 REBLS公司本·卡鲁斯imec-DistriNet，鲁汶大学,鲍勃·雷恩德斯imec-DistriNet，比利时鲁汶大学,多米尼克·德弗里斯KU鲁汶,约伯·诺曼KU鲁汶,弗兰克·皮森斯KU鲁汶
14:00 30米谈话		应对反应式编程的尴尬团队：行动者-反应者模型 REBLS公司萨姆·范登·冯德 ,乔里·德科斯特比利时布鲁塞尔Vrije大学,弗洛里安·迈特比利时布鲁塞尔Vrije大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学内政部预打印
14:30 30米谈话		可验证的反应式软件 REBLS公司凯文·巴尔多 ,牛建伟

13:30 - 15:00	第2部分：运行时环境和调试AGERE公司在威尔士亲王主席：乔里·德科斯特比利时布鲁塞尔Vrije大学

13:30 30米谈话		CAF中的局部指导调度 AGERE公司塞巴斯蒂安·沃尔克无,拉斐尔·海斯根 ,多米尼克·查鲁塞特 ,托马斯·施密特HAW汉堡附加的文件
14:00 30米谈话		调试通信事件循环的原理方法 AGERE公司卡门·托雷斯-洛佩兹 ,斯特凡·马尔肯特大学,伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学,汉斯彼得·莫森博克JKU林茨，奥地利,克里斯托夫·斯科利尔斯比利时根特大学
14:30 30米谈话		Actoverse：演员的可逆调试器 AGERE公司 Shibanai先生东京理工大学,渡边拓国东京理工大学链接到出版物内政部

13:30 - 15:00	易变性GPCE公司在摄政区A 主席：伊娜·谢弗布伦瑞克理工大学

13:30 2500万谈话		变异控制系统的一种分类 GPCE公司卢卡斯·林斯鲍尔约翰开普勒林茨大学,托尔斯滕·伯杰瑞典查尔默斯理工大学/瑞典哥德堡大学,保罗·格伦巴赫JKU林茨，奥地利内政部授权者链接
13:55 2500万谈话		自然语言处理对模型中特征定位的影响分析 GPCE公司劳尔·拉佩尼亚西班牙圣乔治大学,Jaime字体西班牙圣乔治大学,奥斯卡牧师西班牙瓦伦西亚政治大学,卡洛斯·塞蒂纳西班牙圣乔治大学内政部授权者链接
14:20 2500万谈话		预处理器注释（不）如何影响可维护性：关于更改优先性的案例研究最佳论文 GPCE公司沃尔夫拉姆·芬斯克德国马格德堡大学,桑德罗·舒尔茨德国马格德堡大学,冈特·萨克德国马格德堡大学内政部授权者链接

13:30 - 15:00	文本模型SLE公司在摄政区B 主席：安东尼·斯隆麦格理大学

13:30 2300万谈话		语法气味的分类 SLE公司 Mats Stijlaart公司阿姆斯特丹大学,瓦迪姆·扎伊采夫Raincode实验室，比利时内政部
13:53 2200万谈话		野外深层优先权冲突：初步研究 SLE公司路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学,迈克尔·J·斯坦多夫代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学内政部
14:16 2200万谈话		支持版本控制和面向方面的虚拟文本模型合成 SLE公司罗伯特·比尔维也纳科技大学,帕特里克·纽鲍尔英国约克大学,曼纽尔·威默维也纳工业大学内政部
14:38 2200万谈话		稳健的投影编辑 SLE公司弗里德里希·斯特曼费努尼弗西特,马库斯·弗兰克尔费努尼·哈根,马库斯·沃尔特项目内政部

13:30 - 15:00	语言设计斯卡拉在摄政区C 主席：纳达·阿明剑桥大学

13:30 30米谈话		鱿鱼：安全、卫生、可重复使用的四引号斯卡拉莱昂内尔·帕罗EPFL公司,阿米尔·谢赫哈EPFL公司,克里斯托夫·科赫EPFL公司内政部媒体已连接
14:00 30米谈话		Effekt:Scala中的可扩展代数效应（短文）斯卡拉 Jonathan Immanuel Brachthä用户德国图宾根大学,菲利普·舒斯特杜宾根大学内政部预打印媒体已连接附加的文件

13:30 - 15:00	语言、DSL和功能设计高原在摄政区D 主席：约书亚阳光卡内基梅隆大学

13:30 20米谈话		黑曜石区块链DSL设计的用户研究高原塞莱斯特·巴纳比卫斯理大学,迈克尔·科布伦兹卡内基梅隆大学,泰勒·埃策尔 ,埃利泽·卡纳尔卡内基梅隆大学,约书亚阳光卡内基梅隆大学,布拉德·迈尔斯卡内基梅隆大学,乔纳森·奥尔德里奇卡内基梅隆大学预打印
13:50 1500万谈话		用有形块编程机器人操作器高原亚萨曼·塞菲加华盛顿大学,玛雅·恰克马克华盛顿大学预打印
14:05 20米谈话		REST API风格指南初步分析高原劳伦·墨菲密歇根大学,托辛·阿利尤哈弗福特学院,玛丽·贝斯·凯里卡内基梅隆大学,布拉德·迈尔斯卡内基梅隆大学预打印
14:25 20米谈话		同情魔鬼：运行时错误的具体集合高原托马索·达尔·萨索意大利斯维泽拉大学,安德烈·奇什瑞士芬克,安德烈亚·莫奇意大利斯维泽拉大学（USI）,都铎王朝CompuGroup Medical Schweiz股份公司,米歇尔·兰扎意大利斯维泽拉大学（USI）预打印
14:45 1500万谈话		防止巴别塔：纠正程序设计语言分歧的趋势高原阿隆·阿米德加州大学伯克利分校,鲍里沃耶·尼科利奇加州大学伯克利分校预打印

13:30 - 15:00	会谈第二部分NOOL（诺尔）在温莎

13:30 30米谈话		将调试与连续测试集成 NOOL（诺尔）马尔科姆·斯通 ,罗利·佩雷拉英国爱丁堡大学/英国格拉斯哥大学
14:00 30米谈话		Algool–具有代数规范的对象定向 NOOL（诺尔）安亚·海伦·巴格挪威卑尔根大学
14:30 30米谈话		在Wyvern中有效地表达和实施设计 NOOL（诺尔）乔纳森·奥尔德里奇卡内基梅隆大学,亚历克斯·波塔宁惠灵顿维多利亚大学

15:00 - 15:30	咖啡休息时间餐饮在摄政大厅

15:00 30米咖啡休息时间		休息餐饮

15:30 - 17:00	第4次会议SEPS公司在布赖顿主席：佐藤由纪诺里东京理工大学

15:30 9000万谈话		小组讨论：“用于并行软件工程的开源软件和工具” SEPS公司佐藤由纪东京理工大学,巴勃罗·德·奥利维拉·卡斯特罗法国凡尔赛大学,菲利普·哈勒瑞典皇家理工学院

15:30 - 17:00	WODA公司WODA公司在卡文迪什主席：黄立成德克萨斯农工大学,本·利夫希茨英国伦敦帝国理工学院

15:30 30米谈话		基于最大因果约简的模型检验 WODA公司黄立成德克萨斯农工大学
16:00 30米谈话		通过堆分析改进程序分析 WODA公司内维尔·格雷奇
16:30 30米谈话		分析会过于精确吗？ WODA公司萨姆·盖尔塔夫茨大学

15:30 - 17:00	第4部分：总结CoCoS公司在多佛主席：克里斯托夫·博基什菲利普斯大学马尔堡分校

15:30 30米谈话		闪电对话 CoCoS公司
16:00 30米其他		分组 CoCoS公司
16:30 30米谈话		总结 CoCoS公司

	15:30 - 17:00	第四届会议REBLS公司在牛津

15:30 - 17:00	主题演讲+讨论/小组讨论AGERE公司在威尔士亲王

15:30 60米谈话		年龄！主题演讲：大数据行动者：应用和开放问题主题演讲 AGERE公司古尔·阿加
16:30 30米谈话		讨论/小组讨论 AGERE公司

15:30 - 17:00	类型GPCE公司在摄政区A 主席：Shigeru千叶日本东京大学

15:30 2500万谈话		作为可组合语言扩展的类型限定符 GPCE公司特拉维斯·卡尔森美国明尼苏达大学,埃里克·范·威克美国明尼苏达大学内政部授权者链接
15:55 2500万谈话		JVM动态分析中完全超类型信息的精确具体化 GPCE公司安德烈亚·罗莎瑞士卢加诺大学,爱德华多·罗萨莱斯瑞士卢加诺大学,沃尔特·宾德瑞士卢加诺大学内政部授权者链接
16:20 2500万谈话		完整并、交和否定类型的重写 GPCE公司大卫·J·皮尔斯新西兰惠灵顿维多利亚大学内政部授权者链接

15:30 - 17:00	DSL（数字用户线）SLE公司在摄政区B 主席：尤尔根·文朱（Jurgen Vinju）威斯康德信息中心/埃因霍温理工大学

15:30 2500万谈话		通过宏调试特定于域的事件 SLE公司李祥琪犹他大学,马修·弗拉特犹他大学内政部
15:55 2500万谈话		DSL实现的特点 SLE公司西蒙·索斯科布伦兹·兰道大学,拉尔夫·莱梅尔德国科布伦兹·兰道大学,约翰内斯·哈特尔德国科布伦兹·兰道大学,马塞尔·海因茨德国科布伦茨-兰道大学,凯文克莱因科布伦兹·兰道大学,卢卡斯·哈特尔德国科布伦兹·兰道大学,托尔斯滕·伯杰瑞典查尔默斯理工大学/瑞典哥德堡大学内政部
16:20 2500万谈话		可用性驱动DSL开发的需求工程方法 SLE公司 Ankica Barisic公司NOVA-LINCS-新里斯本大学,多米尼克·布劳因巴黎萨克利大学巴黎电信技术LTCI实验室,瓦斯科·阿马拉NOVA-LINCS，FCT/UNL,米格尔·古拉NOVA-LINCS，FCT/UNL 内政部
16:45 2500万谈话		最好给人群打电话。利用众包塑造领域特定语言的符号 SLE公司布莱姆比拉米兰理工大学,乔迪·卡博特ICREA-UOC公司,哈维尔·路易斯·卡诺瓦斯·伊兹基尔多IN3-UOC,安德烈亚·莫里意大利米兰理工大学内政部

15:30 - 17:00	非会议斯卡拉在摄政区C 主席：Jonathan Immanuel Brachthä用户德国图宾根大学

15:30 9000万谈话		非会议斯卡拉

15:30 - 17:00	对程序员思维过程和经验的见解高原在摄政区D 主席：莎拉·查辛斯（Sarah E.Chasins）加州大学伯克利分校

15:30 20米谈话		迷失在时空中？量化单元测试执行历史记录的大小高原穆罕默德·雷扎 ,马蒂亚斯·豪斯沃思意大利斯维泽拉大学（USI）预打印
15:50 1500万谈话		通过交互式工作示例建模编程问题解决高原达斯蒂尼·洛克萨华盛顿大学,艾米·科华盛顿大学预打印
16:05 20米谈话		OpenMP或Pthreads：哪一种更适合初学者？高原佩德罗·布鲁埃尔圣保罗大学,保罗·梅雷莱斯圣保罗大学和巴西利亚大学,拉斐尔·科布圣保罗州立大学,阿尔弗雷多·戈德曼圣保罗大学预打印
16:25 20米谈话		某些编程语言会被认为有害吗？高原萨宾·詹森压力实验室,乌尔里克·帕赫·舒尔茨南丹麦大学,瓦迪姆·扎伊采夫Raincode实验室，比利时预打印
16:45 20米谈话		一场代码搜寻比赛参赛者表现的初步分析高原阿德里安·克拉克伊利诺伊大学香槟分校,乔纳森·威尔斯伊利诺伊大学香槟分校,安吉洛·阿斯托加 ,谢国忠（Andrew Xie）独立,贾伦·科尔曼-兰伊利诺伊大学香槟分校,陶雪预打印

15:30 - 17:00	会谈第三部分NOOL（诺尔）在温莎

15:30 30米谈话		Ivo函数向前和向后 NOOL（诺尔）内特·尼斯特罗姆 ,伊戈尔·莫雷诺·桑托斯
16:00 30米谈话		走向打字茱莉亚 NOOL（诺尔）本杰明·钟东北大学,佩利·李东北大学
16:30 30米当日收盘		明年的总结想法和计划 NOOL（诺尔）

17:30 - 19:30	周一海报招待会海报在海报区域主席：乔纳森·贝尔乔治·梅森大学,林立信滑铁卢大学

17:30 2小时谈话		图形着色编译器的自动测试海报阿拉斯泰尔·唐纳森伦敦帝国理工学院
17:30 2小时谈话		朝向合成张量和生成张量的优化海报阿迪拉·苏松吉法国MINES ParisTech
17:30 2小时谈话		用于自动化法规遵从性的特定于域的受控英语海报苏曼·罗伊乔杜里塔塔咨询服务研究
17:30 2小时谈话		系统级实时性海报安德鲁·索伦森澳大利亚国立大学
17:30 2小时谈话		多语言转换的增量参数语法海报詹姆斯·科佩尔麻省理工学院,阿曼多·索拉勒扎马麻省理工学院CSAIL
17:30 2小时谈话		使用对象功能和效果构建权威安全模块系统海报达莉亚·梅利彻卡内基梅隆大学
17:30 2小时谈话		我应该使用什么合并工具？海报吉尔赫梅·米格尔·泰西拉·里托（Guilherme Miguel Teixeira Rito）
17:30 2小时谈话		利用关联规则学习综合配置文件规范海报马克·桑托卢西托耶鲁大学
17:30 2小时谈话		用协同学进行发散计算的推理海报戴维德·安科纳热那亚大学
17:30 2小时谈话		C语言扩展的可靠和自动组合海报特拉维斯·卡尔森美国明尼苏达大学
17:30 2小时谈话		语法气味的分类海报瓦迪姆·扎伊采夫Raincode实验室，比利时
17:30 2小时谈话		张量代数编译器海报弗雷德里克·克约尔斯塔德麻省理工学院CSAIL
17:30 2小时谈话		并发循环引用属性语法海报杰斯珀·奥奎斯特隆德大学
17:30 2小时谈话		Web应用程序中跨参数约束的动态验证海报 Nathalie Oostvogels公司
17:30 2小时谈话		DéjáVu:GitHub上的代码重复映射海报彼得·马吉反应堆实验室
17:30 2小时谈话		多阶段程序设计的语义精炼海报瑞格加拿大不列颠哥伦比亚大学
17:30 2小时谈话		一种防止云中相关故障的审计语言海报鲁齐卡·皮斯卡耶鲁大学
17:30 2小时谈话		ZenSheet Studio：功能反应计算的可视化环境海报莫妮卡·菲格拉西蒙玻利瓦尔大学
17:30 2小时谈话		如何使任务更快：揭示记忆系统中任务的复杂交互海报 Germanán Ceballos公司瑞典乌普萨拉大学,埃里克·哈格斯滕瑞典乌普萨拉大学,大卫·布莱克·夏弗瑞典乌普萨拉大学
17:30 2小时谈话		堆不撒谎：使用堆快照对抗不健全海报内维尔·格雷奇
17:30 2小时谈话		动态原子性：优化Swift内存管理海报大卫·格罗夫IBM研究
17:30 2小时谈话		类C语言学习程序分析启发式的自动生成特征海报 Hakjoo噢韩国大学
17:30 2小时谈话		自拍与基础海报克里斯托夫·基尔希萨尔茨堡大学
17:30 2小时谈话		P/Taint：统一指向和信息流分析海报内维尔·格雷奇
17:30 2小时谈话		基于模板的代码生成工具的表达能力和性能比较海报尤金·西里亚尼蒙特利尔大学
17:30 2小时谈话		标记：绘制eDSL实施成本的制图方法海报卡尔·克伦伯格塔夫茨大学
17:30 2小时谈话		引用阶段重写：一种实用的图书馆定义优化方法海报莱昂内尔·帕罗EPFL公司
17:30 2小时谈话		Iota：物联网自动化的微积分海报朱莉·纽科姆加州大学伯克利分校
17:30 2小时谈话		CAF中的局部指导调度海报拉斐尔·海斯根
17:30 2小时谈话		解码Lua：开发者和语义学家的形式语义海报马尔库·索尔德维拉FAMAF、UNC/CONICET公司
17:30 2小时谈话		带滤波迭代器的健壮程序海报贾思申麻省理工学院
17:30 2小时谈话		针对指向分析的数据驱动上下文敏感性海报 Hakjoo噢韩国大学
17:30 2小时谈话		JavaScript Web应用程序的实用初始化竞争检测海报克里斯托弗·奎斯特·阿达姆森奥胡斯大学
17:30 2小时谈话		ChimpCheck：基于属性的交互式应用程序随机测试生成海报张培伦
17:30 2小时谈话		QuixBugs：基于Quixey挑战的多语言程序修复基准集海报 Derrick Lin井架独立研究员,詹姆斯·科佩尔麻省理工学院,陈锦春谷歌公司,阿曼多·索拉勒扎马麻省理工学院CSAIL
17:30 2小时谈话		Alpaca：无检查点的间歇执行海报 Kiwan Maeng先生美国卡内基梅隆大学
17:30 2小时谈话		SmartJS：下一代物联网系统的动态和自适应运行时中间件海报朱利安·加斯康·萨姆森 ,拉菲乌扎曼·穆罕默德不列颠哥伦比亚大学,卡提克·帕塔比拉曼不列颠哥伦比亚大学
17:30 2小时谈话		利用隐含信念解决基于使用的规范挖掘中的稀疏使用问题海报萨曼莎·赛达·凯鲁内萨爱荷华州立大学
17:30 2小时谈话		DYOL：设计语言，了解结果海报瓦迪姆·扎伊采夫Raincode实验室，比利时

17:30 - 19:30	周一海报招待会社会项目在海报区域

17:30 2小时社交活动		周一研讨会和海报招待会社会项目盖尔·墨菲不列颠哥伦比亚大学

10月24日星期二
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	欢迎辞和主题演讲OCAP公司在卡文迪什主席：马克·米勒谷歌公司。

08:30 30米谈话		欢迎光临 OCAP公司
09:00 60米谈话		Norm Hardy主旨 OCAP公司诺姆·哈代

08:30 - 10:00	第1部分博士生论坛在肯辛顿

08:30 500万开放日		欢迎光临博士生论坛
08:35 1500万谈话		闪电对话博士生论坛
08:50 30米谈话		受邀演讲：从博士到PROF：盲目的运气还是谨慎的计划？博士生论坛扬·维特克美国东北大学
09:20 4000万谈话		如何使任务更快：揭示记忆系统中任务的复杂交互博士生论坛 Germanán Ceballos公司瑞典乌普萨拉大学

08:30 - 10:00	第1部分PL指导研讨会（PLMW）在威尔士亲王

08:00 1000万开放日		欢迎和问候 PL指导研讨会（PLMW）芭芭拉·莱德弗吉尼亚理工大学,洛里·波洛克美国特拉华大学附加的文件
08:10 4000万谈话		研究是一个社会过程/编程语言研究人员做什么和如何做 PL指导研讨会（PLMW）凯瑟琳·麦金利谷歌附加的文件
08:50 4000万谈话		为什么要攻读博士学位，以及如何选择一个领域？ PL指导研讨会（PLMW）亚尼斯·斯马拉格达基斯雅典大学附加的文件
09:30 4000万谈话		编程语言对增强人类理解的影响 PL指导研讨会（PLMW）本杰明·佐恩微软研究院媒体已连接附加的文件

08:30 - 10:00	周二GPCE/SLE主题演讲GPCE公司在摄政区A+B

08:30 1500万奖品		奖品 GPCE公司马修·弗拉特犹他大学,塞巴斯蒂安·埃德韦格荷兰代尔夫特理工大学
08:45 75万谈话		主旨：用于指定软件语言的工程元语言主题演讲 GPCE公司彼得·D·摩斯斯斯旺西大学

08:30 - 10:00	GPCE/SLE主题演讲SLE公司在摄政区A+B

08:30 1500万开放日		奖品 SLE公司马尔扬·默尼克斯洛文尼亚,伯恩哈德·伦普德国亚琛RWTH大学,劳伦斯·特拉特伦敦国王学院,坦尼娅·梅耶霍弗维也纳工业大学附加的文件
08:45 75万谈话		SLE主题演讲：用于指定软件语言的工程元语言主题演讲 SLE公司彼得·D·摩斯斯斯旺西大学内政部附加的文件

08:30 - 09:30	DLS 2017受邀演讲VMIL公司在摄政区C 主席：戴维德·安科纳热那亚大学

08:30 60米谈话		受邀演讲：JavaScriptCore虚拟机（与DLS 2017联合） VMIL公司菲利普·皮兹洛苹果

08:30 - 10:00	第1部分DLS公司在摄政区C 主席：戴维德·安科纳热那亚大学

08:30 60米谈话		受邀演讲：JavaScriptCore虚拟机（与VMIL 2017联合） DLS公司菲利普·皮兹洛苹果
09:30 30米谈话		多参数并发调试工具的并发认知协议 DLS公司斯特凡·马尔肯特大学,卡门·托雷斯·洛佩兹 ,多米尼克·奥迈尔 ,伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学,汉斯彼得·莫森博克JKU林茨，奥地利内政部预打印

08:30 - 10:00	春天现场在摄政区D

08:30 5000万谈话		主题演讲：实时编程的用户界面现场资深投资经理加藤俊日本国家先进工业科学技术研究所
09:20 20米谈话		具体化编程现场乔纳森·爱德华兹预打印媒体已连接
09:40 20米谈话		作为渐进抽象的实时编程现场肖恩·麦克迪米德独立预打印媒体已连接

08:30 - 10:00	主题演讲（Venture Labs，12th Floor，555 Hastings）SAVR系统在风险投资实验室主席：伊冯·考迪维多利亚大学

08:30 30米社交活动		欢迎和您好！ SAVR系统
09:00 60米谈话		沉浸式互联网，Karan Singh，多伦多大学 SAVR系统

10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:00 30米咖啡休息时间		休息餐饮

10:30 - 12:00	第1部分OCAP公司在卡文迪什

10:30 30米谈话		CapNet：支持功能的云中的安全性和最低权限 OCAP公司安东·伯采夫加州大学欧文分校,大卫·约翰逊犹他大学,乔什·昆兹犹他大学,埃里克·艾德犹他大学,雅各布斯·范德梅尔犹他大学
11:00 30米谈话		蒙特：E的精神继承者 OCAP公司科尔宾·辛普森斗牛士云有限责任公司
11:30 30米谈话		使用对象功能和效果构建权威安全模块系统 OCAP公司达莉亚·梅利彻卡内基梅隆大学,杨庆伟北京大学,赵瓦莱丽韦尔斯利学院,亚历克斯·波塔宁惠灵顿维多利亚大学,乔纳森·奥尔德里奇卡内基梅隆大学

10:30 - 12:00	第2部分博士生论坛在肯辛顿

10:30 4000万谈话		代码解释器和编译器中的遗传改进博士生论坛奥利弗·克劳斯上奥地利应用科学大学
11:10 4000万谈话		基于模拟的代码复制用于增强编译器优化博士生论坛大卫·利奥波德塞德尔约翰开普勒林茨大学

10:30 - 12:00	第2部分PL指导研讨会（PLMW）在威尔士亲王

10:30 4000万谈话		该怎么办？该问谁？ PL指导研讨会（PLMW） Y.Annie刘石溪大学附加的文件
11:10 60米其他		新博士小组 PL指导研讨会（PLMW）迈克尔·希尔顿美国卡内基梅隆大学,凯瑟琳·斯托利北卡罗来纳州立大学,大卫·达赖美国马里兰大学,安妮·T·T·英股票模拟

10:30 - 12:00	性能GPCE公司在摄政区A 主席：马修·弗拉特犹他大学

10:30 2500万谈话		引用阶段重写：一种实用的图书馆定义优化方法最佳论文 GPCE公司莱昂内尔·帕罗EPFL公司,阿米尔·谢赫哈EPFL公司,克里斯托夫·科赫EPFL公司内政部授权人链接媒体已连接
10:55 2500万谈话		减少嵌入式ARM Thumb-2平台上面向对象编程的调用约定开销 GPCE公司约瑟夫·考德威尔日本东京大学,Shigeru千叶日本东京大学内政部授权者链接
11:20 2500万谈话		RaTrace:BVH射线遍历算法的简单高效抽象 GPCE公司阿尔塞纳·佩拉德-加约特德国萨尔大学,马丁·韦尔德国Bonn-Rhein-Sieg应用科学大学,理查德·门巴思DFKI，德国,菲利普·斯拉萨勒克DFKI，德国,罗兰·雷（Roland Leißa）德国萨尔大学,塞巴斯蒂安·哈克德国萨尔大学内政部授权者链接
11:45 1500万谈话		朝向合成张量和生成张量的优化短纸 GPCE公司阿迪拉·苏松吉法国MINES ParisTech,诺曼·A·林克德国德累斯顿大学,杰罗尼莫·卡斯特里隆德国德累斯顿大学,伊莫·惠斯曼德国德累斯顿大学,阿尔伯特·柯恩Inria，法国/ENS，法国,克劳德·塔顿基法国MINES ParisTech,约格·斯蒂勒德国德累斯顿大学,Jochen Fröhlich先生德国德累斯顿大学内政部授权者链接

10:30 - 12:00	Grammars公司SLE公司在摄政区B 主席：伯恩哈德·伦普德国亚琛RWTH大学

10:30 2500万谈话		参数化参考属性文法的形式化 SLE公司斯科特·巴克利澳大利亚麦格理大学,安东尼·斯隆麦格理大学内政部
10:55 2500万谈话		并发循环引用属性语法 SLE公司杰斯珀·奥奎斯特隆德大学,戈雷尔·赫丁内政部
11:20 2500万谈话		确保可组合语言扩展不受干扰 SLE公司特德·卡明斯基明尼苏达大学,埃里克·范·威克美国明尼苏达大学内政部
11:45 1500万谈话		用于自动化法规遵从性的特定于域的受控英语工业用纸 SLE公司苏曼·罗伊乔杜里塔塔咨询服务研究,萨加·桑克尔塔塔咨询服务研究,迪帕利·科尔卡塔塔咨询服务研究,维奈·库尔卡尼塔塔咨询服务研究内政部

10:30 - 12:00	第2部分DLS公司在摄政区C 主席：曼纽尔·塞拉诺法国Inria

10:30 30米谈话		动态原子性：优化Swift内存管理 DLS公司导师为戴维·乌恩加尔苹果公司，,大卫·格罗夫IBM研究,休伯特·弗兰克
11:00 30米谈话		对象等价性：重温对象等价性分析（经验报告） DLS公司亚历杭德罗·因凡特 ,亚历山大·贝格尔智利大学
11:30 30米谈话		动态元循环运行时的垃圾收集和效率：经验报告 DLS公司哈维尔·皮亚斯Palantir解决方案,哈维尔·伯罗尼 ,让·巴蒂斯特·阿尔诺 ,斯特凡·马尔肯特大学内政部

10:30 - 12:00	夏季现场在摄政区D

10:30 5000万谈话		主旨：活着，成长现场卢克教堂
11:20 20米谈话		带孔类型表达式的活生生的步进器现场赛勒斯·奥马尔卡内基梅隆大学,伊恩·沃西卡内基梅隆大学,马修·哈默科罗拉多大学博尔德分校预打印
11:40 20米谈话		无论你说什么，都会发生：VR/AR体验的现场创作现场迈克·约翰斯顿护城河预打印媒体已连接

10:30 - 12:00	建造和破解（风险实验室，12楼，555黑斯廷斯）SAVR系统在风险投资实验室主席：德里克·雅各比Qvirt.com网站

10:30 20米谈话		基于虚拟现实的反应式编程在线调试器支持 SAVR系统
10:50 20米谈话		使用Unity进行AR和VR原型制作 SAVR系统
11:10 20米谈话		用于创建图形和模型的沉浸式分析工具 SAVR系统
11:30 30米谈话		小组讨论I SAVR系统

10:30 - 12:00	VMIL公司VMIL公司在温莎主席：亚当·韦尔克华为美国研究中心

10:30 1000万开放日		欢迎使用VMIL VMIL公司亚当·韦尔克华为美国研究中心
10:40 4000万谈话		超循环虚拟机中的跨ISA调试 VMIL公司克里斯托斯·科采利迪斯曼彻斯特大学,安德鲁·尼斯贝特曼彻斯特大学,Foivos S.Zakkak公司 ,尼科斯·福特里斯
11:20 4000万谈话		通过交叉编译到WebAssembly来加速JavaScript应用程序 VMIL公司米查·赖瑟Rapperswil技术学院,吕克·巴泽Rapperswil技术学院

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	第2部分OCAP公司在卡文迪什

13:30 30米谈话		能力和效果 OCAP公司亚伦·克雷格ECS、VUW,亚历克斯·波塔宁惠灵顿维多利亚大学,林赛·格罗夫斯惠灵顿维多利亚大学,乔纳森·奥尔德里奇卡内基梅隆大学预打印
14:00 30米谈话		并发性和可扩展性的参考功能：一份经验报告 OCAP公司埃利亚斯·卡斯特格林瑞典乌普萨拉大学,托比亚斯·瑞格斯塔德瑞典乌普萨拉大学
14:30 30米谈话		不可伪造的分布式功能 OCAP公司阿兰·卡普

13:30 - 15:00	第3部分博士生论坛在肯辛顿

13:30 30米谈话		受邀演讲：从博士到化石：选择与背景、技术与个人博士生论坛导师为戴维·乌恩加尔苹果公司，
14:00 4000万谈话		识别基于Actor的程序中并发错误的高级调试技术博士生论坛卡门·托雷斯-洛佩兹

13:30 - 15:00	第3部分PL指导研讨会（PLMW）在威尔士亲王

13:30 4000万谈话		我在OO的25年 PL指导研讨会（PLMW）扬·维泰克美国东北大学附加的文件
14:10 4000万谈话		选择你的导师并学习清楚地表达你的想法 PL指导研讨会（PLMW）安娜·米拉诺娃伦斯勒理工学院附加的文件

13:30 - 15:00	分析与测试GPCE公司在摄政区A 主席：贾科·贾尔维挪威卑尔根大学

13:30 2500万谈话		四种语言和大量宏：分析Autotools构建系统 GPCE公司贾法尔·阿尔·科法希（Jafar M.Al-Kofahi）美国爱荷华州立大学,苏雷什·科塔里美国爱荷华州立大学,克里斯蒂安·卡斯特纳美国卡内基梅隆大学内政部授权者链接
13:55 2500万谈话		避免无用的突变 GPCE公司莱昂纳多·费尔南德斯巴西伯南布哥联邦大学,马西奥·里贝罗巴西阿拉戈斯联邦大学,路易斯·卡瓦略巴西阿拉戈斯联邦大学,罗希特·盖伊巴西坎皮纳格兰德联邦大学,梅利娜·蒙吉奥维巴西坎皮纳格兰德联邦大学,桑托斯 ,安娜·卡瓦尔坎蒂英国约克大学,法比亚诺·法拉利巴西圣卡洛斯联邦大学,何塞·卡洛斯·马尔多纳多巴西圣保罗大学内政部授权者链接
14:20 2500万谈话		Silverchain:一个Fluent API生成器 GPCE公司中村俊一日本东京大学,一川和弘日本东京大学,山崎捷郎日本东京大学,Shigeru千叶日本东京大学内政部授权者链接
14:45 1500万谈话		通过示例为传统模式语言生成解析器短纸 GPCE公司瓦迪姆·扎伊采夫Raincode实验室，比利时内政部授权者链接

13:30 - 15:00	元建模SLE公司在摄政区B 主席：马尔扬·默尼克斯洛文尼亚

13:30 2300万谈话		具体句法：一种多通道建模方法 SLE公司 Yentl Van Tendloo公司安特卫普大学,西蒙·范·米尔罗安特卫普大学,巴特·迈耶斯比利时安特卫普大学,汉斯·旺格鲁安特卫普大学和麦吉尔大学内政部
13:53 2300万谈话		具有OCL约束的结构模型子类型 SLE公司阿图尔·博罗纳特莱斯特大学内政部
14:16 2200万谈话		基于模板的代码生成工具的表达能力和性能比较 SLE公司勒昌瑟·卢胡努蒙特利尔大学,尤金·西里亚尼蒙特利尔大学内政部
14:38 2200万谈话		工具演示：MagicDraw UML工具中Alf语言的开发环境工具演示 SLE公司埃德·塞德维茨nMeta有限责任公司内政部

13:30 - 15:00	第3部分DLS公司在摄政区C 主席：戴维德·安科纳热那亚大学

13:30 60米谈话		受邀演讲：高效渐进打字的挑战和进展 DLS公司杰里米·西克美国印第安纳大学附加的文件
14:30 30米谈话		异步JavaScript的语义 DLS公司马修·洛林 ,马克·马龙微软研究院,Daan Leijen公司微软研究院

13:30 - 15:00	秋季现场在摄政区D

13:30 50米其他		闪电对话现场肖恩·麦克迪米德独立
14:20 20米谈话		Shadama：面向所有人的粒子模拟编程环境现场大岛吉吉HARC/Y组合器研究,伯特·弗洛伊登伯格 ,丹·阿梅朗视点研究所预打印媒体已连接
14:40 20米谈话		西摩：课堂直播现场萨克思·卡西巴特拉HARC/Y组合器研究,亚历山德罗·沃思Y Combinator Research，美国预打印

13:30 - 15:00	传感和共享（风险实验室，12楼，555黑斯廷斯）SAVR系统在风险投资实验室主席：克雷格·安斯洛惠灵顿维多利亚大学

13:30 20米谈话		基于脑电传感的虚拟导航中空间方位需求检测 SAVR系统
13:50 20米谈话		我害怕：虚拟现实中的声音表现 SAVR系统
14:10 20米谈话		丰富的协作系统：通过多模式交互改进在线协作 SAVR系统
14:30 30米谈话		小组讨论II SAVR系统

13:30 - 15:00	VMIL公司VMIL公司在温莎

13:30 60米谈话		主旨：我们应该如何培训下一代虚拟机工程师？ VMIL公司马里奥·沃尔奇科Oracle实验室
14:30 4000万谈话		用于高效动态JVM语言实现的融合方法处理图 VMIL公司徐世杰新不伦瑞克大学,大卫·布雷纳新不伦瑞克大学,丹尼尔·海廷加国际商用机器公司

15:00 - 15:30	咖啡休息时间餐饮在摄政大厅

15:00 30米咖啡休息时间		休息餐饮

15:30 - 17:00	第3部分OCAP公司在卡文迪什

15:30 30米谈话		指定衰减 OCAP公司 Shu-Peng Loh公司伦敦帝国理工学院,索菲亚·德罗索波卢
16:00 60米谈话		小组/讨论 OCAP公司

15:30 - 17:00	第4次会议博士生论坛在肯辛顿

15:30 4000万谈话		我应该使用什么合并工具？博士生论坛卡瓦尔康蒂巴西伯南布哥联邦大学
16:10 4000万谈话		视觉语言和文本语言相结合治疗阅读障碍博士生论坛路易斯·费尔南多·冈萨雷斯-阿尔瓦兰哥伦比亚政治家詹姆·伊萨·卡达维德
16:50 1000万当日收盘		闭幕词博士生论坛

15:30 - 17:00	第4次会议PL指导研讨会（PLMW）在威尔士亲王

15:20 4000万谈话		探索获得博士学位的过程。 PL指导研讨会（PLMW）马约尔·奈克宾夕法尼亚大学附加的文件
16:00 60米其他		小组：工业与学术 PL指导研讨会（PLMW）凯瑟琳·S·麦金利谷歌,朱莉娅·鲁宾不列颠哥伦比亚大学,本杰明·佐恩微软研究院,马约尔·奈克宾夕法尼亚大学
17:00 1500万当日收盘		总结 PL指导研讨会（PLMW）附加的文件
17:15 75万社交活动		车间后接待 PL指导研讨会（PLMW）

15:30 - 17:00	DSL（数字用户线）GPCE公司在摄政区A 主席：安东尼·斯隆麦格理大学

15:30 2500万谈话		用于信号转换的Haskell编译器 GPCE公司杰弗里大陆美国德雷塞尔大学,杰里米·约翰逊美国德雷塞尔大学内政部授权者链接
15:55 2500万谈话		由CaVa驱动的虚拟学习空间的自动生成 GPCE公司里卡多·朱利安尼·马丁尼葡萄牙米尼奥大学,佩德罗·兰赫尔·恩里克斯葡萄牙米尼奥大学内政部授权者链接
16:20 2500万谈话		使用GHC编译器扩展重写浅DSL GPCE公司马克·格雷布美国堪萨斯大学,大卫·杨美国堪萨斯大学,安迪·吉尔美国堪萨斯大学内政部授权者链接

15:30 - 17:00	GPL/DSL实现SLE公司在摄政区B 主席：埃里克·范·威克美国明尼苏达大学

15:30 2500万谈话		FlowSpec：声明性数据流分析规范 SLE公司杰夫·斯密茨荷兰代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学内政部附加的文件
15:55 2500万谈话		Metacasanova：针对特定领域语言的优化元编译器 SLE公司弗朗西斯科·迪·贾科莫卡福斯卡里大学,穆罕默德·阿巴迪鹿特丹商学院,阿戈斯蒂诺·科尔特斯威尼斯卡福斯卡里大学,彼得·斯普龙克荷兰蒂尔堡大学,朱塞佩·马焦雷鹿特丹商学院内政部
16:20 2500万谈话		带滤波迭代器的健壮程序 SLE公司贾思申麻省理工学院,马丁·里纳德麻省理工学院内政部
16:45 2500万谈话		软件语言工程知识体系简介 SLE公司瓦迪姆·扎伊采夫Raincode实验室，比利时
17:10 1000万谈话		跨编程语言的能效：能量、时间和内存如何关联？ SLE公司瑞·佩雷拉HASLab/INSC TEC&米荷大学,马可·库托HASLab/INSC TEC&米荷大学,弗朗西斯科·里贝罗HASLab/INSC TEC&米荷大学,芮若HASLab/INSC TEC&米荷大学,贾科姆·库尼亚NOVA-LINCS-新里斯本大学,若昂·保罗·费尔南德斯发布/LISP，CISUC,若昂·萨拉瓦葡萄牙米尼奥大学内政部媒体已连接

15:30 - 17:00	第4次会议DLS公司在摄政区C 主席：马克·菲利蒙特勒大学

15:30 30米谈话		解码Lua：开发者和语义学家的形式语义学 DLS公司马尔库·索尔德维拉FAMAF、UNC/CONICET公司,贝塔齐利亚尼FAMAF、UNC和CONICET,布鲁诺·西尔维斯特 ,丹尼尔·弗里德兰德 ,法比奥·马斯卡伦哈斯UFRJ公司
16:00 30米谈话		Grace中名称解析的语义 DLS公司弗拉德·维尔古荷兰代尔夫特理工大学,米歇尔·海斯玛荷兰代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学内政部

15:30 - 17:00	冬季现场在摄政区D

15:30 20米谈话		ZenSheet：用于反应计算的实时编程环境现场恩佐·阿尔达Lakebolt研究,莫妮卡·菲格拉西蒙·玻利瓦尔大学媒体已连接附加的文件
15:50 20米谈话		阿南西：追踪口译员现场斯科特·科瓦奇预打印媒体已连接
16:10 5000万其他		结束讨论现场肖恩·麦克迪米德独立

15:30 - 17:00	比特对原子！（风险实验室，黑斯廷斯555号12楼）SAVR系统在风险投资实验室主席：弗洛里安·迈特比利时布鲁塞尔Vrije大学

15:30 20米谈话		旋转毛发：评估虚拟现实导航的坐姿全旋转接口 SAVR系统
15:50 20米谈话		Monocle-物理到数字 SAVR系统
16:10 20米谈话		在公共虚拟现实环境中观察观察者观察用户可以学到什么 SAVR系统
16:30 2800万谈话		小组讨论III SAVR系统
16:58 100万谈话		轻松对话：虚拟现实体验演示：不列颠哥伦比亚淘金热 SAVR系统
16:59 100万谈话		轻松对话：阿尔伯尼港海啸应急培训的虚拟现实 SAVR系统

15:30 - 17:00	VMIL公司VMIL公司在温莎主席：亚当·韦尔克华为美国研究中心

15:30 9000万其他		面板-语言运行时的未来 VMIL公司托尼·霍斯金澳大利亚国立大学/Data61,马里奥·沃尔奇科Oracle实验室,大卫·格罗夫IBM研究

18:00 - 20:00	晚餐GPCE公司在流氓厨房和湿棒

18:00 2小时社交活动		晚餐（注册附加） GPCE公司

18:00 - 20:00	晚餐SLE公司在流氓厨房和湿棒

18:00 2小时晚餐		晚餐（注册附加） SLE公司

10月25日星期三
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	周三主题演讲主题演讲在摄政区C

08:30 1000万开放日		欢迎来到2017年SPLASH 主题演讲电话：盖尔·墨菲不列颠哥伦比亚大学
08:40 1000万奖品		OOPSLA概述和OOPSLA十年最具影响力论文奖主题演讲亚尼斯·斯马拉格达基斯雅典大学,操作：乔纳森·奥尔德里奇卡内基梅隆大学
08:50 7000万谈话		2017年SPLASH主题演讲：Eve：以改变的视角应对巨人主题演讲主题演讲克里斯格兰杰科多瓦

10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:00 30米咖啡休息时间		休息餐饮

10:30 - 12:00	类型OOPSLA公司在摄政区A 主席：金·布鲁斯波莫纳学院

10:30 2200万谈话		SAVI对象：共享和虚拟化结合 OOPSLA公司伊扎特·埃尔·哈吉美国伊利诺伊大学香槟分校,托马斯·贾布林美国伊利诺伊大学香槟分校/美国Multicoreware,德扬·米洛基西奇美国惠普实验室,胡文美美国伊利诺伊大学香槟分校内政部
10:52 2200万谈话		依赖对象类型的简单可靠证明 OOPSLA公司玛丽安娜·拉波波特加拿大滑铁卢大学,伊法兹·卡比尔加拿大滑铁卢大学,保罗·何加拿大滑铁卢大学,Ondřej Lhoták加拿大滑铁卢大学内政部
11:15 2200万谈话		统一键入和子键入 OOPSLA公司杨燕鹏中国香港大学,布鲁诺·C·d·S·奥利维拉中国香港大学内政部
11:37 2200万谈话		快速准确地检查JavaScript类型 OOPSLA公司阿维克·乔杜里美国脸书,梵语泛神经炎美国加州大学圣地亚哥分校,萨姆·戈德曼美国脸书,马歇尔·罗奇美国脸书,加百列·列维美国脸书内政部

10:30 - 12:00	语言设计向前的！论文在摄政区B 主席：扎卡里·塔特洛克西雅图华盛顿大学

10:30 30米谈话		我们可以众包语言设计吗？向前的！论文普雷斯顿？特内尔？威尔逊布朗大学,贾斯汀·蓬布里奥美国布朗大学,克里希纳穆西神社美国布朗大学
11:00 30米谈话		程序设计中用户偏好的评估向前的！论文罗杰·张伯伦圣路易斯华盛顿大学
11:30 30米谈话		在程序设计和实现中用依赖语法代替短语结构语法向前的！论文弗里德里希·斯特曼费努尼弗西特

10:30 - 12:00	性能OOPSLA公司在摄政区C 主席：凯瑟琳·麦金利谷歌

10:30 2200万谈话		用于服务器应用程序的Volatile-by-Default JVM OOPSLA公司刘伦（Lun Liu）美国加州大学洛杉矶分校,托德·米尔斯坦加利福尼亚大学，洛杉矶,穆苏瓦蒂夫人微软研究院内政部
10:52 2200万谈话		异构设备计算的静态布局 OOPSLA公司加布里埃尔·波西亚巴西米纳斯杰拉斯联邦大学,布伦诺·坎普斯·费雷拉·吉马雷斯巴西米纳斯杰拉斯联邦大学,法比西奥·费拉西奥利LG电子，巴西,费尔南多·马格诺·昆托·佩雷拉用友集团内政部
11:15 2200万谈话		跳过块：重用执行历史以加速Web脚本 OOPSLA公司莎拉·查辛斯（Sarah E.Chasins）加州大学伯克利分校,拉斯蒂斯拉夫·博迪克华盛顿大学内政部
11:37 2200万谈话		虚拟机预热热和冷 OOPSLA公司埃德·巴雷特伦敦国王学院,卡尔·弗里德里希·博尔兹·特雷克 ,丽贝卡·基利克兰卡斯特大学数学与统计系,莎拉·蒙特伦敦国王学院,劳伦斯·特拉特伦敦国王学院内政部

10:30 - 12:00	编程模型溅水-I在摄政区D 主席：盖尔·墨菲不列颠哥伦比亚大学

10:30 30米谈话		直接操作编程系统溅水-I 拉维·丘格芝加哥大学
11:00 30米谈话		走向可扩展语义大数据溅水-I 朱利安·杜比沃森研究中心
11:30 30米谈话		走向PPL：扩展Hack中的推论以实现概率编程溅水-I 迈克尔·廷利

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	渐变类型和记忆OOPSLA公司在摄政区A 主席：詹妮弗·萨托布鲁塞尔Vrije大学

13:30 2200万谈话		声音渐变打字：只有大部分死亡 OOPSLA公司斯宾塞·安德鲁·鲍曼美国印第安纳大学,萨姆·托宾-霍奇斯塔特印第安纳大学,杰里米·西克美国印第安纳大学,卡尔·弗里德里希·博尔兹·特雷克内政部
13:52 2200万谈话		声音渐变打字名义上很活跃 OOPSLA公司费比安·穆尔博克康奈尔大学,罗斯·泰特康奈尔大学内政部
14:15 2200万谈话		虚拟机已经知道：利用编译时知识优化渐进式键入 OOPSLA公司格雷戈·理查兹滑铁卢大学,埃伦·阿特卡加拿大滑铁卢大学,阿列克西·图尔科特滑铁卢大学内政部
14:37 2200万谈话		具有不同内存模型的并发复制垃圾收集的模型检查复制阶段 OOPSLA公司 Ugawa知湖日本高知理工大学,安倍达也日本千叶理工学院,前田俊彦日本千叶理工学院内政部

13:30 - 15:00	程序生成和合成向前的！论文在摄政区B 主席：埃米娜·托拉克华盛顿大学

13:30 30米谈话		根据Web API规范生成聊天机器人向前的！论文曼达纳·瓦齐里IBM研究,路易斯·曼德尔IBM研究,Avraham Shinnar公司IBM研究,杰罗姆·西蒙IBM研究,马丁·赫泽尔IBM研究
14:00 30米谈话		ChimpCheck：基于属性的交互式应用程序随机测试生成向前的！论文埃德蒙·林科罗拉多大学波德分校,张培伦 ,Bor-Yuh Evan Chang先生科罗拉多大学波德分校
14:30 30米谈话		无界超级优化向前的！论文阿比纳夫·扬达马萨诸塞大学阿默斯特分校,格雷塔·约什伦敦大学玛丽皇后学院

13:30 - 15:00	工具OOPSLA公司在摄政区C 主席：约书亚阳光卡内基梅隆大学

13:30 2200万谈话		静态分析报警的有效交互解决方案 OOPSLA公司张欣（Xin Zhang）美国麻省理工学院,拉杜·格里戈尔肯特大学,徐杰斯宾夕法尼亚大学,马约尔·奈克宾夕法尼亚大学内政部
13:52 2200万谈话		学会指责：利用数据驱动诊断定位新手类型错误 OOPSLA公司埃里克·赛德尔美国加州大学圣地亚哥分校,Huma Sibghat先生美国加州大学圣地亚哥分校,卡马利卡·乔杜里美国加州大学圣地亚哥分校,维斯特利·威默尔美国弗吉尼亚大学,兰吉特·贾拉美国加州大学圣地亚哥分校内政部
14:15 2200万谈话		简化源代码 OOPSLA公司滨海苑美国莱斯大学,维贾亚拉加万·穆拉利美国莱斯大学,克里斯·杰梅因莱斯大学内政部
14:37 2200万谈话		半结构化合并的评估与改进 OOPSLA公司卡瓦尔康蒂巴西伯南布哥联邦大学,保罗·博尔巴巴西伯南布哥联邦大学,Paola Accioly公司巴西伯南布哥联邦大学内政部

13:30 - 15:00	安全溅水-I在摄政区D 主席：卡里姆·阿里阿尔伯塔大学

13:30 30米谈话		浏览器性能灾难：过去、现在和未来溅水-I 本·利夫希茨英国伦敦帝国理工学院
14:00 30米谈话		是时候使用安全语言了溅水-I 克里斯蒂娜·西富恩特斯Oracle实验室
14:30 30米谈话		通过施工防止信息泄露溅水-I 让·杨卡内基梅隆大学

15:00 - 15:30	咖啡休息时间餐饮在摄政大厅

15:00 30米咖啡休息时间		休息餐饮

15:30 - 17:22	合成OOPSLA公司在摄政区A 主席：乔纳森·爱德华兹

15:30 2200万谈话		模型辅助机器代码合成 OOPSLA公司文卡特斯·斯里尼瓦桑威斯康辛大学麦迪逊分校,阿拉·瓦尔塔尼安美国威斯康星大学麦迪逊分校,Thomas代表威斯康星大学麦迪逊分校和格莱美科技公司。内政部
15:52 2200万谈话		使用有限树自动机合成数据完成脚本 OOPSLA公司王新余德州大学奥斯汀分校,伊森·迪利格德州大学奥斯汀分校,里沙布·辛格微软研究院内政部
16:14 2200万谈话		SQLizer：基于自然语言的查询合成 OOPSLA公司纳维德·雅格马扎德德克萨斯大学奥斯汀分校,王月鹏德克萨斯大学奥斯汀分校,伊森·迪利格德州大学奥斯汀分校,托马斯·迪利格内政部
16:37 2200万谈话		利用关联规则学习综合配置文件规范 OOPSLA公司马克·桑托卢西托耶鲁大学,翟恩南美国耶鲁大学,Rahul Dhodapkar公司MongoDB，美国,亚伦·希姆微软，美国,鲁齐卡·皮斯卡耶鲁大学内政部
16:59 2200万谈话		Provably-Correct数据结构操作的自然合成 OOPSLA公司邱晓康普渡大学,阿曼多·索拉勒扎马麻省理工学院CSAIL 内政部

15:30 - 17:00	论文向前的！论文在摄政区B 主席：罗伯特·比德尔卡尔顿大学

15:30 4500万谈话		一些对C来说是有意义的：一种难以驾驭的语言的忍耐力向前的！论文斯蒂芬·凯尔剑桥大学
16:15 4500万谈话		程序设计语言研究中的概念分析：做得好没问题向前的！论文答：Antti-Juhani Kaijanaho公司Jyväskylä大学内政部预打印

15:30 - 17:00	动力学分析OOPSLA公司在摄政区C 主席：乔纳森·奥尔德里奇卡内基梅隆大学

15:30 2200万谈话		JavaScript Web应用程序的实用初始化竞争检测 OOPSLA公司克里斯托夫·奎斯特·亚当森奥胡斯大学,安德斯·默勒奥胡斯大学,弗兰克·蒂普东北大学内政部
15:52 2200万谈话		动态数据竞争检测的检测偏差 OOPSLA公司本杰明·P·伍德韦尔斯利学院,满曹俄亥俄州立大学,迈克尔·D·邦德俄亥俄州立大学,丹·格罗斯曼华盛顿大学内政部
16:15 2200万谈话		利用一致性协议在非易失性存储器中实现高效日志记录 OOPSLA公司纳克肖恩·科恩EPFL，瑞士,米歇尔·弗里德曼 ,詹姆斯拉诺斯EPFL公司内政部
16:37 2200万谈话		堆不撒谎：用堆快照应对不稳定 OOPSLA公司内维尔·格雷奇 ,乔治·福图尼斯雅典大学,阿德里安·弗兰卡兰扎马耳他大学,亚尼斯·斯马拉格达基斯雅典大学内政部

15:30 - 17:00	专题小组：语言演变溅水-I在摄政区D

15:30 9000万谈话		专题小组：语言演变50年：从Simula’67到未来面板溅水-I 史蒂文·弗雷泽 ,莱拉·博格迪特斯基加州大学圣地亚哥分校,罗伯特绅士23和我,克里斯格兰杰科多瓦,苏米特·古尔瓦尼微软研究院,克里斯塔·洛佩斯加州大学欧文分校

17:30 - 19:30	周三海报招待会海报在海报区域主席：乔纳森·贝尔乔治·梅森大学,林立信滑铁卢大学

17:30 2小时谈话		DYOL：设计语言，了解结果海报瓦迪姆·扎伊采夫Raincode实验室，比利时
17:30 2小时谈话		利用关联规则学习综合配置文件规范海报马克·桑托卢西托耶鲁大学
17:30 2小时谈话		ZenSheet Studio：功能反应计算的可视化环境海报莫妮卡·菲格拉西蒙·玻利瓦尔大学
17:30 2小时谈话		Alpaca：无检查点的间歇执行海报 Kiwan Maeng先生美国卡内基梅隆大学
17:30 2小时谈话		C语言扩展的可靠自动组合海报特拉维斯·卡尔森美国明尼苏达大学
17:30 2小时谈话		解码Lua：开发者和语义学家的形式语义学海报马尔库·索尔德维拉FAMAF、UNC/CONICET公司
17:30 2小时谈话		P/Taint：统一指向和信息流分析海报内维尔·格雷奇
17:30 2小时谈话		一种防止云中相关故障的审计语言海报 Ruzica皮斯卡耶鲁大学
17:30 2小时谈话		引用阶段重写：一种实用的图书馆定义优化方法海报莱昂内尔·帕罗EPFL公司
17:30 2小时谈话		多语言转换的增量参数语法海报詹姆斯·科佩尔麻省理工学院,阿曼多·索拉勒扎马麻省理工学院CSAIL
17:30 2小时谈话		堆不撒谎：使用堆快照对抗不健全海报内维尔·格雷奇
17:30 2小时谈话		朝向合成张量和生成张量的优化海报阿迪拉·苏松吉法国MINES ParisTech
17:30 2小时谈话		SmartJS：下一代物联网系统的动态和自适应运行时中间件海报朱利安·加斯康·萨姆森 ,拉菲乌扎曼·穆罕默德不列颠哥伦比亚大学,卡提克·帕塔比拉曼不列颠哥伦比亚大学
17:30 2小时谈话		并发循环引用属性语法海报杰斯珀·奥奎斯特隆德大学
17:30 2小时谈话		基于模板的代码生成工具的表达能力和性能比较海报尤金·西里亚尼蒙特利尔大学
17:30 2小时谈话		语法气味分类研究海报瓦迪姆·扎伊采夫Raincode实验室，比利时
17:30 2小时谈话		用协同学进行发散计算的推理海报戴维德·安科纳热那亚大学
17:30 2小时谈话		Web应用程序中跨参数约束的动态验证海报 Nathalie Oostvogels公司
17:30 2小时谈话		标记：绘制eDSL实施成本的制图方法海报卡尔·克伦伯格塔夫茨大学
17:30 2小时谈话		DéjáVu:GitHub上的代码重复映射海报彼得·马吉反应堆实验室
17:30 2小时谈话		动态原子性：优化Swift内存管理海报大卫·格罗夫IBM研究
17:30 2小时谈话		如何使任务更快：揭示记忆系统中任务的复杂交互海报 Germanán Ceballos公司瑞典乌普萨拉大学,埃里克·哈格斯滕瑞典乌普萨拉大学,大卫·布莱克·夏弗瑞典乌普萨拉大学
17:30 2小时谈话		自拍与基础海报克里斯托夫·基尔希萨尔茨堡大学
17:30 2小时谈话		多阶段编程的语义精炼海报瑞格加拿大不列颠哥伦比亚大学
17:30 2小时谈话		利用隐含信念解决基于使用的规范挖掘中的稀疏使用问题海报萨曼莎·赛达·凯伦尼萨爱荷华州立大学
17:30 2小时谈话		QuixBugs：基于Quixey挑战的多语言程序修复基准集海报 Derrick Lin井架独立研究员,詹姆斯·科佩尔麻省理工学院,陈锦春谷歌公司,阿曼多·索拉勒扎马麻省理工学院CSAIL
17:30 2小时谈话		利用对象功能和效果构建权威安全模块系统海报达莉亚·梅利彻卡内基梅隆大学
17:30 2小时谈话		Iota：物联网自动化的微积分海报朱莉·纽科姆加州大学伯克利分校
17:30 2小时谈话		系统级实时性海报安德鲁·索伦森澳大利亚国立大学
17:30 2小时谈话		JavaScript Web应用程序的实用初始化竞争检测海报克里斯托夫·奎斯特·亚当森奥胡斯大学
17:30 2小时谈话		类C语言学习程序分析启发式的自动生成特征海报 Hakjoo噢韩国大学
17:30 2小时谈话		张量代数编译器海报弗雷德里克·克约尔斯塔德麻省理工学院CSAIL
17:30 2小时谈话		我应该使用什么合并工具？海报吉尔赫梅·米格尔·泰西拉·里托（Guilherme Miguel Teixeira Rito）
17:30 2小时谈话		带滤波迭代器的健壮程序海报贾思申麻省理工学院
17:30 2小时谈话		图形着色编译器的自动测试海报阿拉斯泰尔·唐纳森伦敦帝国理工学院
17:30 2小时谈话		CAF中的局部指导调度海报拉斐尔·海斯根
17:30 2小时谈话		ChimpCheck：基于属性的交互式应用程序随机测试生成海报张培伦
17:30 2小时谈话		分析点的数据驱动上下文敏感性海报 Hakjoo噢韩国大学
17:30 2小时谈话		用于自动化法规遵从性的特定于域的受控英语海报苏曼·罗伊乔杜里塔塔咨询服务研究

17:30 - 19:30	周三海报招待会社会项目在海报区域

17:30 2小时社交活动		周三海报招待会社会项目盖尔·墨菲不列颠哥伦比亚大学

17:30 - 19:30	SRC第一轮：海报学生研究竞赛在海报区域主席：黄珊珊LogicBlox公司。,詹妮弗·萨托布鲁塞尔Vrije大学

17:30 2小时谈话		我应该使用什么合并工具？学生研究竞赛卡瓦尔康蒂巴西伯南布哥联邦大学
17:30 2小时谈话		用Java设计和实现实用流畅接口的原则、模式和技术学生研究竞赛谢浩晨名古屋大学
17:30 2小时谈话		如何有效处理2^100个不同列表学生研究竞赛卢卡斯·拉扎雷克
17:30 2小时谈话		交互式JavaScript调试器的自动测试学生研究竞赛丹尼尔·莱曼达姆施塔特工业大学
17:30 2小时谈话		抽象资源效果学生研究竞赛瓦莱丽·赵韦尔斯利学院
17:30 2小时谈话		如何使任务更快：揭示记忆系统中任务的复杂交互学生研究竞赛 Germanán Ceballos公司瑞典乌普萨拉大学
17:30 2小时谈话		代码解释器和编译器中的遗传改进学生研究竞赛奥利弗·克劳斯上奥地利应用科学大学
17:30 2小时谈话		女性对堆栈溢出的编程问题是如何接受的？对等对等案例研究学生研究竞赛萨凡娜·摩根
17:30 2小时谈话		领域特定语言可用性评估的框架支持学生研究竞赛 Ankica Barisic公司NOVA-LINCS-新里斯本大学
17:30 2小时谈话		具有非确定性行为的异步接口的计算机辅助规范学生研究竞赛尼古拉斯·莱申科
17:30 2小时谈话		LLVM中的偏差学生研究竞赛彼得罗·帕德莱斯基
17:30 2小时谈话		基于模拟的代码复制用于增强编译器优化学生研究竞赛大卫·利奥波德塞德约翰开普勒林茨大学
17:30 2小时谈话		使用对象命题验证代理设计模式学生研究竞赛尼斯托尔·利加卡内基梅隆大学
17:30 2小时谈话		ZenSheet Studio：反应计算的电子表格激发环境学生研究竞赛莫妮卡·菲格拉西蒙·玻利瓦尔大学

10月26日星期四
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	星期四的主题演讲主题演讲在摄政区C

08:30 1500万奖品		OOPSLA奖主题演讲电话：乔纳森·奥尔德里奇卡内基梅隆大学
08:45 75万谈话		2017年SPLASH主题演讲：数据时代的对象主题演讲主题演讲克里斯塔·洛佩斯加州大学欧文分校

10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:00 30米咖啡休息时间		休息餐饮

10:30 - 12:00	类型和语言设计OOPSLA公司在摄政区A 主席：马里奥·沃尔奇科Oracle实验室

10:30 2200万谈话		家族：统一接口、类型类和家族多态性 OOPSLA公司张艺洲康奈尔大学,安德鲁·迈尔斯内政部
10:52 2200万谈话		异构编程的静态阶段 OOPSLA公司阿德里安·桑普森康奈尔大学,凯瑟琳·麦金利谷歌,托德·米特科维奇微软研究院内政部预打印
11:15 2200万谈话		Orca:GC和类型系统协同设计演员语言 OOPSLA公司 Sylvan Clebsch公司伦敦帝国理工学院,朱莉安娜·佛朗哥伦敦帝国理工学院,索菲亚·德罗索波卢 ,杨明坤（Albert Mingkun Yang） ,托比亚斯·箭牌瑞典乌普萨拉大学,扬·维泰克美国东北大学内政部
11:37 2200万谈话		确定性并行批处理的一元组合 OOPSLA公司瑞恩·斯科特印第安纳大学,奥马尔·纳瓦罗·莱贾美国宾夕法尼亚大学,瑞安·R·牛顿印第安纳大学,约瑟夫·迪维蒂宾夕法尼亚大学内政部

10:30 - 12:00	论文小组向前的！论文在摄政区B 主席：罗伯特·比德尔卡尔顿大学

10:30 9000万其他		小组：我们的出版模式如何才能最好地为我们的研究服务？向前的！论文玛丽·肖卡内基梅隆大学,电话：克里斯塔·洛佩斯加州大学欧文分校,马蒂亚斯·豪斯沃思意大利斯维泽拉大学（USI）,电话：克鲁奇顿不列颠哥伦比亚大学

10:30 - 12:00	优化编译和验证OOPSLA公司在摄政区C 主席：格雷戈·理查兹滑铁卢大学

10:30 2200万谈话		张量代数编译器 OOPSLA公司弗雷德里克·克约尔斯塔德麻省理工学院CSAIL,Shoaib Kamil公司土砖,史提芬周麻省理工学院CSAIL,大卫·卢加托法国CEA,萨曼·阿马拉辛格麻省理工学院内政部
10:52 2200万谈话		TreeFuser：分析和融合一般递归树遍历的框架 OOPSLA公司莱思·萨卡普渡大学,基尔沙丹·桑达拉哈赫普渡大学,米林·库尔卡尼普渡大学内政部
11:15 2200万谈话		验证阵列计算的空间属性 OOPSLA公司多米尼克果园英国肯特大学,Mistral Contrastin公司 ,马修·丹麦语英国剑桥大学,安德鲁·赖斯英国剑桥大学内政部
11:37 2200万谈话		GLORE：基于LER旋转的广义环路冗余消除 OOPSLA公司丁宇飞北卡罗来纳州立大学,沈喜鹏北卡罗来纳州立大学内政部

10:30 - 12:00	优化与网络溅水-I在摄政区D 主席：埃利尼·斯特罗利亚阿尔伯塔大学

10:30 30米谈话		HHVM：高效且可扩展的PHP/黑客执行溅水-I 吉尔赫梅·奥托尼脸谱网
11:00 30米谈话		C++标准库的性能分析与优化溅水-I 阿迪蒂亚·库马尔三星,塞巴斯蒂安·波普三星研究美国
11:30 30米谈话		验证网络数据平面溅水-I 内特·福斯特康奈尔大学

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	挖掘软件存储库和解析OOPSLA公司在摄政区A 主席：沃尔夫冈·德梅特布鲁塞尔Vrije大学

13:30 2200万谈话		利用隐含信念解决基于使用的规范挖掘中的稀疏使用问题 OOPSLA公司萨曼莎·赛达·凯伦尼萨爱荷华州立大学,Hoan Anh Nguyen先生美国爱荷华州立大学,Tien N.Nguyen先生德克萨斯大学达拉斯分校,赫里德斯·拉詹爱荷华州立大学内政部
13:52 2200万谈话		DéjàVu:GitHub上的代码重复地图 OOPSLA公司克里斯塔·洛佩斯加州大学欧文分校,彼得·马吉反应堆实验室,佩德罗·马丁斯美国加州大学欧文分校,瓦比哈夫·赛尼美国加州大学欧文分校,狄扬美国加州大学欧文分校,雅库布·齐特尼捷克技术大学,Hitesh Sajnani先生微软,扬·维泰克美国东北大学内政部
14:15 2200万谈话		了解Java中Lambda表达式的使用 OOPSLA公司达武德·马齐纳阶加拿大康考迪亚大学,阿米亚·凯特卡美国俄勒冈州立大学,尼古拉·桑塔利斯加拿大康考迪亚大学,丹尼·迪格俄勒冈州立大学EECS学院内政部
14:37 2200万谈话		用树自动机限制语法 OOPSLA公司迈克尔·亚当斯美国犹他大学,马修·米特美国犹他大学内政部

13:30 - 15:00	编程模型向前的！论文在摄政区B 主席：卡里姆·阿里阿尔伯塔大学

13:30 30米谈话		无服务器Trilemma：无服务器计算的功能组合向前的！论文伊奥娜·巴尔迪尼IBM T.J.Watson研究,程伊兵IBM研究,斯蒂芬·芬克国际商用机器公司,尼克·米切尔 ,Vinod Muthusamy葡萄园IBM T.J.Watson研究,罗德里克·拉巴IBM研究,菲利普·苏特两西格玛,奥利维尔·塔迪厄IBM研究
14:00 30米谈话		编码通信的构建块向前的！论文 Aleksandar Prokopec公司Oracle实验室
14:30 30米谈话		IoTa：物联网自动化的微积分向前的！论文朱莉·纽科姆加州大学伯克利分校,萨蒂什·钱德拉脸谱网,Jean-Baptiste珍妮卡内基梅隆大学,科尔·施莱辛格三星研究美国,马努·斯里达兰优步

13:30 - 15:00	验证OOPSLA公司在摄政区C 主席：乔纳森·爱德华兹

13:30 2200万谈话		接缝：图形上的安全局部编辑 OOPSLA公司曼诺利斯·帕帕达克斯美国斯坦福大学,吉尔伯特·路易斯·伯恩斯坦美国斯坦福大学,拉胡尔·夏尔马微软研究院,亚历克斯·艾肯斯坦福大学,帕特·汉拉罕美国斯坦福大学内政部
13:52 2200万谈话		TiML：一种实用的不变量复杂度分析功能语言 OOPSLA公司王鹏（音译）美国麻省理工学院,狄王中国北京大学,亚当·克利帕拉美国麻省理工学院内政部
14:15 2200万谈话		FairSquare：程序公平性的概率验证 OOPSLA公司奥斯·阿尔巴古蒂威斯康星大学麦迪逊分校,洛里斯·德安东尼威斯康星大学麦迪逊分校,塞缪尔·德鲁斯威斯康星大学麦迪逊分校,阿迪蒂亚·诺里内政部
14:37 2200万谈话		用协同学进行发散计算的推理 OOPSLA公司戴维德·安科纳热那亚大学,弗朗西斯科·达尼诺 ,埃琳娜·祖卡热那亚大学内政部

13:30 - 15:00	软件工程与教育溅水-I在摄政区D 主席：瓦迪姆·扎伊采夫Raincode实验室，比利时

13:30 30米谈话		Lambda的一个假设，C的两个假设：PL如何攻击计算教育溅水-I 凯西·菲斯勒布朗大学
14:00 30米谈话		使用FlowLight减少工作中断溅水-I 托马斯·弗里茨不列颠哥伦比亚大学、苏黎世大学
14:30 30米谈话		智能公寓：物联网用于社会公益溅水-I 埃利尼·斯特罗利亚阿尔伯塔大学

	15:00 - 15:30	咖啡休息时间餐饮在摄政大厅

15:30 - 17:00	SRC第二轮：演示学生研究竞赛在威尔士亲王主席：黄珊珊LogicBlox公司。,詹妮弗·萨托布鲁塞尔Vrije大学

15:30 1500万谈话		抽象资源效果学生研究竞赛瓦莱丽·赵韦尔斯利学院
15:45 1500万谈话		交互式JavaScript调试器的自动测试学生研究竞赛丹尼尔·莱曼达姆施塔特工业大学
16:00 1500万谈话		LLVM中的偏差学生研究竞赛彼得罗·帕德莱斯基
16:15 1500万谈话		如何使任务更快：揭示记忆系统中任务的复杂交互学生研究竞赛 Germanán Ceballos公司瑞典乌普萨拉大学
16:30 1500万谈话		如何有效处理2^100个不同列表学生研究竞赛卢卡斯·拉扎雷克
16:45 1500万谈话		基于模拟的代码复制用于增强编译器优化学生研究竞赛大卫·利奥波德塞德约翰开普勒林茨大学

15:30 - 17:22	测试OOPSLA公司在摄政区A 主席：克里斯蒂安·哈默德国波茨坦大学

15:30 2200万谈话		一种用于测试输入生成的求解辅助语言 OOPSLA公司塔里亚·林格华盛顿大学,丹·格罗斯曼华盛顿大学,丹尼尔·施瓦茨·纳博恩亚马逊，n。,Serdar Tasiran公司亚马逊，n。内政部
15:52 2200万谈话		图形着色编译器的自动测试 OOPSLA公司阿拉斯泰尔·唐纳森伦敦帝国理工学院,哈格斯·埃夫拉德英国伦敦帝国理工学院,安德烈·拉斯库伦敦帝国理工学院,保罗·汤姆森伦敦帝国理工学院内政部
16:14 2200万谈话		基于GPU的有界穷举测试输入生成 OOPSLA公司艾哈迈特·塞利克美国德克萨斯大学奥斯汀分校,Sreepathi Pai公司罗切斯特大学,萨尔夫拉兹·库希德德克萨斯大学奥斯汀分校,米洛斯·格利戈里克德克萨斯大学奥斯汀分校内政部
16:37 2200万谈话		串联转换程序和测试用于故障定位 OOPSLA公司夏丽美国德克萨斯大学达拉斯分校,张玲明内政部
16:59 2200万谈话		用于TypeScript测试的类型测试脚本 OOPSLA公司埃里克·克罗夫·克里斯滕森丹麦奥胡斯大学,安德斯·默勒奥胡斯大学内政部

15:30 - 17:00	实践中的验证OOPSLA公司在摄政区C 主席：戴维德·安科纳热那亚大学

15:30 2200万谈话		JavaScript承诺推理模型 OOPSLA公司马格努斯·马德森滑铁卢大学,Ondřej Lhoták公司加拿大滑铁卢大学,弗兰克·蒂普东北大学内政部
15:52 2200万谈话		对象能力模式的健壮性和组合验证 OOPSLA公司大卫·斯瓦西MPI-SWS，德国,Deepak Garg公司马克斯·普朗克软件系统研究所,德里克·德雷尔MPI-SWS公司内政部
16:15 2200万谈话		一个经过验证的消息传递系统 OOPSLA公司威廉·曼斯基普林斯顿大学,安德鲁·W·阿佩尔普林斯顿大学,亚历克西·诺金HRL实验室有限责任公司内政部
16:37 2200万谈话		谁保护卫兵？ARM v8-M体系结构规范的形式化验证 OOPSLA公司阿拉斯泰尔·里德Arm有限公司内政部

15:30 - 17:00	机器学习与数据科学溅水-I在摄政区D 主席：克里斯蒂娜·西富恩特斯Oracle实验室

15:30 30米谈话		弥合数据科学中的数字鸿沟溅水-I 赫里德斯·拉詹爱荷华州立大学
16:00 30米谈话		特定于域的符号编译溅水-I 拉斯蒂斯拉夫·博迪克华盛顿大学
16:30 30米谈话		训练和调整机器学习应用程序：从趋势看溅水-I 阿诺德 ,答：哈罗德·奥斯舍沃森研究中心

17:30 - 18:30	商务会议和奖项主题演讲在摄政区C

17:30 1500万谈话		SPLASH指导委员会报告主题演讲学生：托尼·霍斯金澳大利亚国立大学/Data61
17:45 1000万谈话		2017年SPLASH总主席报告主题演讲德国：盖尔·墨菲不列颠哥伦比亚大学
17:55 1000万谈话		OOPSLA 2017项目主席报告主题演讲操作：乔纳森·奥尔德里奇卡内基梅隆大学
18:05 1000万谈话		向前的！项目主席报告主题演讲操作：埃米娜·托拉克华盛顿大学,操作：罗伯特·比德尔卡尔顿大学
18:15 1500万谈话		SIGPLAN市政厅主题演讲亚尼斯·斯马拉格达基斯雅典大学

18:45 - 22:00	会议宴会社会项目在宴会地点

18:45 3时15分社交活动		会议宴会（接待式）社会项目盖尔·墨菲不列颠哥伦比亚大学

10月27日星期五
显示的时区：蒂华纳，下加利福尼亚州改变

08:30 - 10:00	星期五的主题演讲主题演讲在摄政区C

08:30 1000万开放日		2018年SPLASH 主题演讲电话：扬·维泰克美国东北大学
08:40 500万其他		向前的！最著名论文奖主题演讲待定
08:45 1000万奖品		学生奖励主题演讲詹妮弗·萨托布鲁塞尔Vrije大学
08:55 6500万谈话		2017年主题演讲：我们所说的语言如何塑造我们的思维方式主题演讲主题演讲莱拉·博格迪特斯基加州大学圣地亚哥分校

	10:00 - 10:30	咖啡休息时间餐饮在摄政大厅

10:30 - 12:00	语言设计OOPSLA公司在摄政区A 主席：格雷戈·理查兹滑铁卢大学

10:30 2200万谈话		雪花计划：非阻塞安全手动内存管理。净值 OOPSLA公司马修·帕金森英国微软研究院,迪米特里厄斯病毒性肠炎剑桥微软研究院,卡皮尔·瓦斯瓦尼微软研究院,曼纽尔·科斯塔微软研究院,德利吉安人微软研究院,迪伦·麦克德莫特剑桥大学,乔纳森·巴尔金德美国普林斯顿,亚伦·布兰克斯坦美国普林斯顿内政部
10:52 2200万谈话		Alpaca：无检查点的间歇执行 OOPSLA公司 Kiwan Maeng先生美国卡内基梅隆大学,阿列克谢·科林卡内基梅隆大学,布兰登·露西亚卡内基梅隆大学内政部
11:15 2200万谈话		一种防止云中相关故障的审计语言 OOPSLA公司恩南斋美国耶鲁大学,鲁齐卡·皮斯卡耶鲁大学,顾荣辉美国哥伦比亚大学,荀老美国耶鲁大学,西王美国耶鲁大学内政部
11:37 2200万谈话		C语言扩展的可靠自动组合 OOPSLA公司特德·卡明斯基明尼苏达大学,卢卡斯·克莱默明尼苏达大学,特拉维斯·卡尔森美国明尼苏达大学,埃里克·范·怀克美国明尼苏达大学内政部预打印

10:30 - 12:00	可用性和性能向前的！论文在摄政区B 主席：萨姆·托宾-霍奇斯塔特印第安纳大学

10:30 30米谈话		错误消息是分类器：设计和评估错误消息的过程向前的！论文约翰·雷恩布朗大学,克里希纳穆西神社美国布朗大学
11:00 30米谈话		你可以拥有一切：抽象和良好的缓存性能向前的！论文朱莉安娜·佛朗哥伦敦帝国理工学院,马丁·哈格林（狄拉克）,托比亚斯·箭牌瑞典乌普萨拉大学,索菲亚·德罗索波卢 ,苏珊·艾森巴赫伦敦帝国理工学院
11:30 30米谈话		Garbology：Java对象如何消亡的研究向前的！论文拉乌尔·维罗伊塔夫茨大学,萨姆·盖尔塔夫茨大学

10:30 - 12:00	静态分析OOPSLA公司在摄政区C 主席：克里斯蒂安·哈默德国波茨坦大学

10:30 2200万谈话		IDEal：高效准确的Alias-Aware数据流分析 OOPSLA公司约翰·斯帕斯弗劳恩霍夫IEM,卡里姆·阿里阿尔伯塔大学,埃里克·博登Heinz Nixdorf Institute、Paderborn University和Fraunhofer IEM 内政部
10:52 2200万谈话		P/Taint：统一指向和Taint分析 OOPSLA公司内维尔·格雷奇 ,亚尼斯·斯马拉格达基斯雅典大学内政部
11:15 2200万谈话		针对指向分析的数据驱动上下文敏感性 OOPSLA公司 Sehun Jeong公司韩国高丽大学,Minseok Jeon公司韩国韩国大学,Sungdeok（史蒂夫）Cha韩国韩国大学,Hakjoo噢韩国大学内政部
11:37 2200万谈话		类C语言学习程序分析启发式的自动生成特征 OOPSLA公司 Kwonsoo Chae公司韩国大学,Hakjoo噢韩国大学,Kihong Heo先生美国宾夕法尼亚大学,杨红seok牛津大学内政部

10:30 - 12:00	编译器溅水-I在摄政区D 主席：内特·福斯特康奈尔大学

10:30 30米谈话		DYOL：设计语言，了解结果溅水-I 瓦迪姆·扎伊采夫Raincode实验室，比利时

12:00 - 13:30	午餐餐饮在广场宴会厅

12:00 9000万午餐		午餐餐饮

13:30 - 15:00	可用性和死锁OOPSLA公司在摄政区A 主席：乔纳森·奥尔德里奇卡内基梅隆大学

13:30 2200万谈话		具有未来的并行程序中避免死锁：为什么并行任务不应该等待陌生人 OOPSLA公司蒂亚戈·科古姆布雷罗莱斯大学,里希·苏伦德兰美国莱斯大学,弗朗西斯科·马丁斯里斯本大学拉西格,维维克·萨卡尔美国莱斯大学,Vasco T.Vasconcelos公司葡萄牙里斯本大学,马克斯·格罗斯曼美国莱斯大学内政部
13:52 2200万谈话		检测参数选择缺陷 OOPSLA公司安德鲁·赖斯英国剑桥大学,埃迪·阿夫坦迪利安谷歌,西埃拉·贾斯潘谷歌,艾米丽·约翰斯顿谷歌,迈克尔·普拉德尔达姆施塔特工业大学,尤利萨·阿罗约·帕雷德斯美国哥伦比亚大学内政部
14:15 2200万谈话		如何修复类型错误以及学生做了什么？ OOPSLA公司吴柏君美国路易斯安那大学拉斐特分校,盛晨（Sheng Chen）ULL拉斐特内政部
14:37 2200万谈话		学习用户友好型错误消息 OOPSLA公司吴柏君美国路易斯安那大学拉斐特分校,约翰·彼得·坎波拉ULL拉斐特,盛晨（Sheng Chen）ULL拉斐特内政部

13:30 - 15:00	新语言向前的！论文在摄政区B 主席：阿德里安·桑普森康奈尔大学

13:30 30米谈话		基础设施：结构一直向下-结构化数据作为可视化编程语言向前的！论文克里斯托弗·霍尔 ,特雷弗·斯坦德利斯坦福大学,托比亚斯·霍勒加州大学伯克希尔分校
14:00 30米谈话		自拍与基础向前的！论文克里斯托弗·基尔希萨尔茨堡大学
14:30 30米谈话		使用AnonSystem的系统级活力向前的！论文安德鲁·索伦森澳大利亚国立大学,亨利·加德纳澳大利亚国立大学

13:30 - 15:00	分布式系统OOPSLA公司在摄政区C 主席：沃尔夫冈·德梅特布鲁塞尔Vrije大学

13:30 2200万谈话		基于参与者的服务的地理分布 OOPSLA公司菲利普·A·伯恩斯坦微软研究院,塞巴斯蒂安·伯克哈特微软研究院,贝科夫微软，无编号。,Natacha Crooks公司美国德克萨斯大学奥斯汀分校,何塞·法莱罗美国耶鲁大学,加布里埃尔·科里奥谷歌，n。,阿洛克·昆布雷微软研究院，n.n。,蒙塔西尔·雷汉·拉赫曼微软,维维克·沙阿丹麦哥本哈根大学,阿德里亚娜·塞克雷斯美国华盛顿大学,乔根·泰林微软研究院，雷蒙德内政部
13:52 2200万谈话		Paxos制造EPR：分布式协议的可判定推理 OOPSLA公司奇怪的帕顿特拉维夫大学,朱利亚诺·洛萨美国加州大学洛杉矶分校,穆利·萨吉夫特拉维夫大学,沙伦·肖姆特拉维夫大学内政部
14:15 2200万谈话		分布式系统中强最终一致性的验证 OOPSLA公司维克托·戈麦斯英国剑桥大学,马丁·科勒普曼剑桥大学,多米尼克·P·穆利根剑桥大学,阿拉斯泰尔·贝雷斯福德英国剑桥大学内政部
14:37 2200万谈话		通过规范序列化验证分布式程序 OOPSLA公司亚历山大·巴克斯特 ,克劳斯诉格雷森霍尔美国加州大学圣地亚哥分校,兰吉特·贾拉美国加州大学圣地亚哥分校,拉米·戈汗美国加州大学圣地亚哥分校内政部

15:00 - 16:00	冰淇淋社交社会项目在摄政大厅

15:00 60米社交活动		冰淇淋社交社会项目盖尔·墨菲不列颠哥伦比亚大学