课程-2018年GPCE

2018年11月5日星期一至6日星期二美国马萨诸塞州波士顿

与位于同一位置2018年SPLASH

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

获取日历（iCal）

时区

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

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

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

时间段

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

显示完整程序指定时间段

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

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

	08:30 - 10:00	主题演讲：Amarasinghe2018年GPCE在工作室1

	08:30 1500万谈话		正在打开 2018年GPCE 埃里克·范·威克美国明尼苏达大学，蒂亚克·隆普夫普渡大学，大卫·J·皮尔斯惠灵顿维多利亚大学，坦尼娅·梅耶霍弗维也纳工业大学，弗里德里希·斯特曼费努尼弗西特
	08:45 75万谈话		如何快速稀疏主题演讲 2018年GPCE 萨曼·阿马拉辛格麻省理工学院

	10:30 - 12:00	我2018年GPCE在工作室2 主席：Shoaib Kamil公司土砖

	10:30 3000万谈话		一种用于探索性数据可视化的领域专用语言 2018年GPCE 卡尔·斯莫策俄勒冈州立大学，马丁·埃尔维格俄勒冈州立大学
	11:00 3000万谈话		多阶段编程与宏的实用统一 2018年GPCE 尼古拉斯·斯塔基EPFL，瑞士，阿格洛斯·比布迪斯EPFL，瑞士，马丁·奥德斯基EPFL，瑞士
	11:30 3000万谈话		鲁莽：从鲁莽的交互到可靠的程序 2018年GPCE 威廉·G·哈奇犹他大学，马修·弗拉特犹他大学

	13:30 - 15:00	二2018年GPCE在工作室2 主席：阿格洛斯·比布迪斯EPFL，瑞士

	13:30 3000万谈话		探索无规范的特性交互：一项受控实验 2018年GPCE 拉里萨·索尔斯巴伊亚联邦大学，延斯·梅尼基马格德堡大学，莎拉·纳迪阿尔伯塔大学，克里斯蒂安·卡斯特纳卡内基梅隆大学，爱德华多·桑塔纳（Eduardo Santana de Almeida）巴伊亚联邦大学
	14:00 3000万谈话		从细化推断所有权域 2018年GPCE 易卜拉欣·哈拉吉韦恩州立大学，马尔万·阿比·安托万韦恩州立大学
	14:30 3000万谈话		在二进制传感器上实现用于上下文检测的半因果领域特定语言 2018年GPCE 尼克·沃兰斯基Inria波尔多，伯纳德·塞尔佩特Inria公司，查尔斯·康塞尔波尔多大学

	15:30 - 17:00	三2018年GPCE在工作室2 主席：莎拉·纳迪阿尔伯塔大学

	15:30 3000万谈话		跨域张量优化的元程序设计 2018年GPCE 阿迪拉·苏松吉法国MINES ParisTech，诺曼·A·林克德国德累斯顿大学，阿尔伯特·柯恩谷歌，杰罗尼莫·卡斯特里隆德国德累斯顿大学，克劳德·塔顿基法国MINES ParisTech
	16:00 3000万谈话		基于模型的面向特征的软件产品线安全性分析 2018年GPCE 斯文·佩尔德苏斯科布伦兹·兰道大学，丹尼尔·斯特吕贝尔德国科布伦兹·兰道大学，扬·朱尔扬（Jan Jürjens）科布伦兹·兰道大学 DOI程序预打印
	16:30 3000万谈话		为全堆栈JavaScript程序编排分布式进程的动态分析 2018年GPCE 劳伦特·克里斯托夫VUB公司，科恩·德鲁弗布鲁塞尔Vrije大学，伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学，沃尔夫冈·德梅特布鲁塞尔Vrije大学

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

	10:30 - 12:00	四、2018年GPCE在工作室2 主席：塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学

	10:30 3000万谈话		测量基于样品的产品线测试的有效性 2018年GPCE 塞巴斯蒂安·鲁兰，拉尔斯·鲁特曼TU Darmstadt，实时系统实验室，约翰内斯·比尔德克达姆施塔特大学，实时系统实验室，萨沙·利蒂布伦瑞克理工大学，托马斯·图姆德国乌尔姆大学，马尔特·洛肖，马西奥·里贝罗巴西阿拉戈斯联邦大学
	11:00 3000万谈话		开放世界中的模式匹配 2018年GPCE 张伟新香港大学，布鲁诺·C·d·S·奥利维拉香港大学
	11:30 3000万谈话		用归纳精化类型验证高层变换 2018年GPCE 艾哈迈德·萨利姆·西巴希哥本哈根大学计算机科学系（DIKU）和BilagScan，托马斯·詹森INRIA雷恩，阿列克桑达尔·迪莫夫斯基丹麦哥本哈根IT大学，安德烈·索夫斯基丹麦哥本哈根IT大学

	13:30 - 15:00	V（V）2018年GPCE在工作室2 主席：蒂杰斯·范德·斯托姆CWI&格罗宁根大学

	13:30 6000万谈话		TensorFlow AutoGraph：基于图形性能的强制式编码邀请的谈话 2018年GPCE 我：亚历山大·威尔奇科谷歌大脑
	14:30 1500万谈话		HGMP的功能部件-同构生成元程序的基本结构（短文） 2018年GPCE 托马斯·范·宾斯贝根皇家霍洛威大学
	14:45 1500万谈话		用电子表格解释电子表格（短文） 2018年GPCE 贾科姆·库尼亚葡萄牙米尼奥大学，米海丹俄勒冈州立大学，马丁·埃尔维格俄勒冈州立大学，丹妮拉·费多林俄勒冈州立大学，亚历克斯·格雷朱克俄勒冈州立大学

	15:30 - 17:00	六2018年GPCE在工作室2 主席：斯特凡·马尔肯特大学

	15:30 3000万谈话		特征模型演化的异常分析 2018年GPCE 迈克尔·尼克德国布伦瑞克大学，雅各布·毛罗南丹麦大学，克里斯托夫·塞德尔布伦瑞克理工大学，托马斯·图姆德国乌尔姆大学，英格丽德·钱玉（Ingrid Chieh Yu）奥斯陆大学，费利克斯·弗兰兹克不伦瑞克工业大学
	16:00 3000万谈话		重新生成：扩展正则表达式的语言生成器 2018年GPCE 加布里埃尔·拉丹弗莱堡大学，彼得·蒂曼弗莱堡大学 DOI程序预打印
	16:30 3000万谈话		RT-Trust：实时约束下可信执行的自动重构 2018年GPCE 尹柳（音）弗吉尼亚理工大学，Kijin An公司弗吉尼亚理工大学，埃利·蒂列维奇弗吉尼亚理工大学