2018年SPLASH——主题演讲—

SPLASH将由著名研究人员进行一系列主题演讲。

扬声器

	标题
	程序设计和语言设计50年KEYNOTE公司主题演讲盖伊·斯蒂尔（Guy L.Steele Jr.）。附加的文件
	一种新的软件模块化KEYNOTE公司主题演讲丹尼尔·杰克逊博士
	美丽是幸福的承诺KEYNOTE公司主题演讲珍妮·奎利恩
	分布式抽象KEYNOTE公司主题演讲芭芭拉·利斯科夫
	程序设计教育中的显性直接教学KEYNOTE公司主题演讲猫咪赫尔曼斯
	为“小代码”辩护KEYNOTE公司主题演讲凯西·菲斯勒
	关于Amazon Web服务安全性的推理KEYNOTE公司主题演讲拜伦·库克

时区

程序当前显示在（GMT-05:00）瓜达拉哈拉，墨西哥城，蒙特雷。

使用会议时区：（GMT-05:00）瓜达拉哈拉，墨西哥城，蒙特雷选择其他时区

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

时间段

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

显示完整程序指定时间段

保存

您在不同于设备时区的时区中观看节目更改时区

11月5日周一
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

08:45 - 10:00	赫尔曼斯主题演讲在工作室2

08:45 75万谈话		程序设计教育中的显性直接教学KEYNOTE公司主题演讲猫咪赫尔曼斯

10:30 - 12:00	早晨飞溅-E在纽伯里

10:30 3000万谈话		在课堂上自拍飞溅-E 克里斯托夫·基尔希萨尔茨堡大学
11:00 3000万谈话		基于地图的算法可视化的代码级跟踪框架飞溅-E 吉姆·特雷斯科，迈克尔·达戈斯蒂诺，萨马德美国锡耶纳学院，埃里克·索尔美国锡耶纳学院附加的文件
11:30 3000万谈话		早期经验：使用语言类型检查器教授功能语言设计基础飞溅-E 马泰奥·西米尼马萨诸塞大学洛厄尔分校附加的文件

13:30 - 15:00	下午飞溅-E在纽伯里

13:30 3000万谈话		弥合高危人群的差距：英语学习者的实验飞溅-E 席琳娜·伯格UBC，计算机科学，法蒂玛·马哈茂德不列颠哥伦比亚大学附加的文件
14:00 3000万谈话		LambdaLab：用于学习的交互式Lambda-Calculus缩减器飞溅-E 丹尼尔·塞那提康奈尔大学，阿德里安·桑普森康奈尔大学附加的文件
14:30 3000万会议		讨论飞溅-E

13:30 - 14:30	Chlipala公司溅水-I在白山

13:30 6000万谈话		生产中系统正确性的机械化证明：密码学及其他溅水-I 亚当·克利帕拉麻省理工学院

13:30 - 14:30	马龙溅水-I在惠蒂尔

13:30 6000万谈话		时间旅行调试和可操作诊断见解溅水-I 马克·马龙微软研究院

15:30至16:30	白色溅水-I在白山

15:30 6000万谈话		软件正在吞噬世界，但ML将吞噬软件溅水-I 约翰·迈尔斯·怀特脸谱网

15:30 - 16:30	斯托德利溅水-I在惠蒂尔

15:30 6000万谈话		哦，你要构建的编译器！溅水-I 马克·斯托德利IBM加拿大链接到出版物

16:30 - 17:30	拉马纳坦溅水-I在白山

16:30 6000万谈话		优步规模的可靠部署溅水-I 穆拉利·克里希纳·拉马纳坦优步

16:30 - 17:30	吉本斯溅水-I在惠蒂尔

16:30 6000万谈话		可组合参考和Yoneda引理溅水-I 杰里米·吉本斯牛津大学链接到出版物预打印

11月6日星期二
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

07:30 - 08:45	指导早餐PLMW公司在特雷蒙

07:30 75万		指导早餐 PLMW公司

08:45 - 10:00	主题演讲：斯蒂尔主题演讲/PLMW公司在剑桥主席：芭芭拉·莱德弗吉尼亚理工大学

08:45 1500万		欢迎和介绍 PLMW公司芭芭拉·莱德弗吉尼亚理工大学附加的文件
09:00 6000万谈话		程序设计和语言设计50年KEYNOTE公司主题演讲盖伊·斯蒂尔（Guy L.Steele Jr.）。Oracle实验室附加的文件

10:30 - 12:00	指导研讨会PLMW公司在剑桥主席：莎拉·纳迪阿尔伯塔大学

10:30 3000万谈话		Arjun Guha的故事，或：研究项目的弧线 PLMW公司克里希纳穆西神社美国布朗大学
11:00 3000万谈话		从学术界到工业界再回来 PLMW公司朱莉娅·鲁宾不列颠哥伦比亚大学附加的文件
11:30 3000万谈话		工作/生活平衡 PLMW公司凯瑟琳·费舍尔美国塔夫茨大学附加的文件

11:00 - 12:00	金尼尔溅水-I在惠蒂尔

11:00 6000万谈话		Valhalla：使用价值类型增强JVM 溅水-I 凯伦·金尼尔甲骨文公司

13:00 - 14:00	专题小组：工业和学术界PLMW公司在剑桥主席：莎拉·娜迪阿尔伯塔大学

13:00 6000万		专题小组：工业和学术研究 PLMW公司凯瑟琳·费舍尔美国塔夫茨大学，马约尔·奈克宾夕法尼亚大学，朱莉娅·鲁宾不列颠哥伦比亚大学，弗兰克·蒂普东北大学

13:30 - 14:30	萨博奥溅水-I在白山

13:30 6000万谈话		通过增量更好地生活：即时静态分析反馈而不损失精度溅水-I 塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学，塔马斯·萨博itemis/TU代尔夫特链接到出版物

13:30 - 14:30	里多溅水-I在惠蒂尔

13:30 6000万谈话		验证区块链上的dApp计算溅水-I 弗朗索瓦·雷内·里多LegiCash公司

14:00 - 15:30	指导研讨会PLMW公司在剑桥主席：乔纳森·贝尔乔治·梅森大学

14:00 3000万谈话		探索获得博士学位的过程。 PLMW公司马约尔·奈克宾夕法尼亚大学
14:30 3000万谈话		互动：加入研究社区的关键 PLMW公司凯西·菲斯勒布朗大学附加的文件
15:00 3000万谈话		对顾问的建议 PLMW公司玛莎·契契克多伦多大学附加的文件

15:30 - 16:30	戈特施利希溅水-I在白山

15:30 6000万谈话		人工智能的未来：机器程序员及其必要的自我意识溅水-I 贾斯汀·戈奇利奇英特尔研究院

15:30 - 16:30	米勒溅水-I在惠蒂尔

15:30 6000万谈话		分布式编程语言发生了什么？溅水-I 希瑟·米勒卡内基梅隆大学

16:00至21:00	指导研讨会PLMW公司在剑桥主席：乔纳森·贝尔乔治·梅森大学

16:00 3000万谈话		如何选择好的研究课题？ PLMW公司弗兰克·蒂普东北大学附加的文件
16:30 6000万		近期博士小组 PLMW公司迈克尔·卡宾麻省理工学院，本杰明·勒纳东北大学，莎拉·纳迪阿尔伯塔大学，Shiyi Wei公司德克萨斯大学达拉斯分校
17:30 1500万		讨论和总结 PLMW公司附加的文件
18:00 3小时		Brahmin American研讨会晚宴结束（邀请所有PLMW与会者、演讲者、小组成员和导师） PLMW公司

16:30 - 17:30	威尔金森溅水-I在白山

16:30 6000万谈话		自动可视化溅水-I 利兰·威尔金森硫酸铝

16:30 - 17:30	曼辛加溅水-I在惠蒂尔

16:30 6000万谈话		概率规划范式溅水-I 维卡什·曼辛加麻省理工学院

17时30分至18时30分	费希尔溅水-I在白山

17:30 6000万谈话		显著消除可利用漏洞溅水-I 凯瑟琳·费舍尔美国塔夫茨大学

17:30 - 18:30	艾哈迈德溅水-I在惠蒂尔

17:30 6000万谈话		所有语言放在一起溅水-I 阿迈勒东北大学

11月7日星期三
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

08:30 - 10:00	杰克逊主题演讲在34号大街

08:30 9000万谈话		一种新的软件模块化KEYNOTE公司主题演讲丹尼尔·杰克逊博士麻省理工学院

11:00 - 12:00	拉鲁斯溅水-I在白山

11:00 6000万谈话		NVM编程溅水-I 詹姆斯拉诺斯EPFL公司

11:00 - 12:00	加布里埃尔溅水-I在惠蒂尔

11:00 6000万谈话		电脑如何写诗，让它听起来像一个愤怒的理论家或证明定理和看猫溅水-I 理查德·加布里埃尔梦之歌公司和HPI

13:30 - 14:30	亨德伦溅水-I在白山

13:30 6000万谈话		作为计算机科学家和癌症患者开发Opal应用程序溅水-I 劳丽·亨德伦加拿大麦吉尔大学

13:30 - 14:30	亚历山德雷斯库溅水-I在惠蒂尔

13:30 6000万谈话		D中的内省设计溅水-I 安德烈·亚历山大斯库D语言基础

15:30 - 16:30	陈溅水-I在White Hill公司

15:30 6000万谈话		在嘈杂的环境中对Julia进行强有力的基准测试溅水-I 陈嘉豪第一资本预打印

15:30 - 16:30	区域溅水-I在惠蒂尔

15:30 6000万谈话		用高级语言进行低级系统编程溅水-I Molham Aref公司关系.ai

16:30 - 17:30	贝赞森溅水-I在白山

16时30分 6000万谈话		编译的兴起溅水-I 杰夫·贝赞森Julia计算机

16:30 - 17:30	海丝特溅水-I在惠蒂尔

16:30 6000万谈话		在包空间中扩展R语法溅水-I 吉姆·海斯特R工作室

17:30 - 18:30	贵族溅水-I在白山

17:30 6000万谈话		二十年的所有权类型溅水-I 詹姆斯·诺布尔惠灵顿维多利亚大学

17时30分至18时30分	洪水溅水-I在惠蒂尔

17:30 6000万谈话		关于OpenJDK Java虚拟机，您可能不知道的十件很酷的事情溅水-I Christine H.Flood女士红帽

11月8日星期四
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

08:30 - 10:00	奎伦主题演讲在34号大街

08:30 9000万谈话		美丽是幸福的承诺KEYNOTE公司主题演讲珍妮·奎利恩具体制定机构

11:00 - 12:00	全身罩袍溅水-I在白山

11:00 6000万谈话		建立代码审查文化溅水-I 彼得·布尔卡两西格玛

13:30 - 14:30	Matsakis公司溅水-I在白山

13:30 6000万谈话		锈蚀：延伸溅水-I 尼古拉斯·马萨基斯Mozilla公司

13:30 - 14:30	麦克迪米德溅水-I在惠蒂尔

13:30 6000万谈话		有形抽象溅水-I 肖恩·麦克迪米德

15:30 - 16:30	塔夫脱溅水-I在白山

15:30 6000万谈话		平行世界的安全指针溅水-I 塔克塔夫特AdaCore公司

15:30 - 16:30	滴定器溅水-I在惠蒂尔

15:30 6000万谈话		凝视图灵镜后面溅水-I 本·L·蒂泽谷歌

16:30 - 17:30	皮兹洛溅水-I在白山

16:30 6000万谈话		关于JavaScriptCore的许多编译器溅水-I 菲利普·皮兹洛苹果

16:30 - 17:30	匙形花洒溅水-I在惠蒂尔

16:30 6000万谈话		衡量微服务绩效：形状而非数字溅水-I 丹尼尔·斯波恩豪威尔Lightstep公司

17:30 - 18:30	菲斯勒主题演讲在34号大街

17:30 6000万谈话		为“小代码”辩护KEYNOTE公司主题演讲凯西·菲斯勒布朗大学

11月9日星期五
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

08:30 - 10:00	利斯科夫主题演讲在34号大街

08:30 9000万谈话		分布式抽象KEYNOTE公司主题演讲芭芭拉·利斯科夫麻省理工学院

14:45 - 15:45	库克主题演讲在34号大道

14:45 6000万谈话		关于Amazon Web服务安全性的推理KEYNOTE公司主题演讲拜伦·库克亚马逊

	标题
	程序设计和语言设计50年KEYNOTE公司主题演讲盖伊·斯蒂尔（Guy L.Steele Jr.）。附加的文件
	一种新的软件模块化KEYNOTE公司主题演讲丹尼尔·杰克逊博士
	美丽是幸福的承诺KEYNOTE公司主题演讲珍妮·奎利恩
	分布式抽象KEYNOTE公司主题演讲芭芭拉·利斯科夫
	程序设计教育中的显性直接教学KEYNOTE公司主题演讲猫咪赫尔曼斯
	为“小代码”辩护KEYNOTE公司主题演讲凯西·菲斯勒
	关于Amazon Web服务安全性的推理KEYNOTE公司主题演讲拜伦·库克

主题演讲2018年SPLASH

扬声器

11月5日周一
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月6日星期二
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月7日星期三
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月8日星期四
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月9日星期五
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

曲目

联合主办的会议

研讨会

联合举办的座谈会

主题演讲2018年SPLASH

扬声器

程序显示配置

11月5日周一显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷 改变

11月6日星期二显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷 改变

11月7日星期三显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷 改变

11月8日星期四显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷 改变

11月9日星期五显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷 改变

11月5日周一
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月6日星期二
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月7日星期三
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月8日星期四
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变

11月9日星期五
显示的时区：瓜达拉哈拉，墨西哥城，蒙特雷改变