工作室1-2018年GPCE

会议地点波士顿丽亭酒店

房间名称工作室1

地板1

房间信息无其他可用信息

程序

时区

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

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

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

时间段

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

显示完整程序指定时间段

保存

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

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

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

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

10:30 - 12:00	正在分析SLE公司在工作室1 主席：蒂杰斯·范德·斯托姆CWI&格罗宁根大学

10:30 30米谈话		缩进规则的声明性规范：解析和漂亮打印布局敏感语言的工具视角 SLE公司路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学,迈克尔·斯坦多夫代尔夫特理工大学,塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学链接到出版物内政部
11:00 30米谈话		使用灵活组合器的GLL解析 SLE公司托马斯·范·宾斯贝根皇家霍洛威大学,伊丽莎白·斯科特皇家霍洛威大学,阿德里安·约翰斯通附加的文件
11:30 30米谈话		Morbig:POSIX Shell的静态解析器 SLE公司亚恩·雷吉斯·贾纳斯IRIF、巴黎迪德罗大学和法国CNRS/INRIA PI。R2级,尼古拉斯·珍妮罗德巴黎大学IRIF,拉尔夫·特雷恩IRIF公司

13:30 - 15:00	解析/合成SLE公司在工作室1 主席：埃尔科·维瑟代尔夫特理工大学

13:30 2000万谈话		输入驱动正则表达式（Vision Paper）愿景/新想法 SLE公司亚历山大·萨哈罗夫Synstretch公司
13:50 30米谈话		面向大众的模块化语言构成 SLE公司曼努埃尔·勒杜克雷恩大学、Inria、CNRS、IRISA,托马斯·德格勒维斯昆德信息中心,Benoit Combemale公司法国雷恩第一大学内政部预打印
14:20 2000万谈话		Storm:用于交互和可扩展语言的语言平台（工具演示）工具演示 SLE公司菲利普·斯特伦巴克林雪平大学内政部
14:40 2000万谈话		作为一流公民的语言（愿景文件）愿景/新想法 SLE公司马泰奥·西米尼马萨诸塞大学洛厄尔分校

15:30 - 17:30	验证和验证SLE公司在工作室1 主席：玛莎·契契克多伦多大学

15:30 30米谈话		使用参考属性语法进行连续模型验证 SLE公司约翰·梅伊德累斯顿理工大学,雷内·舍内德累斯顿理工大学,戈雷尔·赫丁 ,艾玛·索德伯格隆德大学,托马斯·库恩德累斯顿理工大学,尼克拉斯·福斯隆德大学,Jesper Oqvist公司隆德大学,乌韦·Aß曼德国德累斯顿大学链接到出版物内政部预打印媒体已连接
16:00 30米谈话		将业务逻辑迁移到增量计算DSL：案例研究 SLE公司达科·哈克斯代尔夫特理工大学,埃尔默·范·查斯特莱代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学链接到出版物内政部预打印
16:30 2000万谈话		编译器测试中的工业案例研究（工具演示）工具演示 SLE公司瓦迪姆·扎伊采夫Raincode实验室
16:50 2000万谈话		Messir，UML需求工程的第一种基于DSL的文本方法（工具演示）工具演示 SLE公司贝诺·特里斯卢森堡大学,阿尔弗雷多·卡波祖卡卢森堡大学,尼古拉斯·盖尔菲卢森堡大学内政部

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

08:30 - 10:00	主旨：里纳德SLE公司在工作室1

08:30 1500万开放日		奖品 SLE公司弗里德里希·斯特曼费努尼弗西特,坦尼娅·梅耶霍弗维也纳工业大学,马修·罗伯特麦格理大学,罗米娜·埃拉莫来自意大利阿布鲁佐大学
08:45 75万谈话		一种新的软件正确性和可靠性方法主题演讲 SLE公司马丁·里纳德麻省理工学院

10:30 - 12:00	类型和限制SLE公司在工作室1 主席：拉尔夫·莱梅尔Facebook伦敦

10:30 30米谈话		用于实时建模的基于约束的运行时状态迁移 SLE公司乌利亚纳·蒂霍诺娃CWI公司,Jouke Stoel公司CWI公司,蒂杰斯·范德·斯托姆CWI&格罗宁根大学,托马斯·德格勒维斯昆德信息中心
11:00 30米谈话		接下来的700个单元检查器 SLE公司奥斯卡·本尼希·比约克曼瑞典乌普萨拉大学,史蒂夫·麦基弗瑞典乌普萨拉大学
11:30 30米谈话		一种实用的安全混叠系统 SLE公司迪米·拉科尔顿日内瓦大学，瑞士日内瓦信息大学中心,迪迪埃·布克斯日内瓦大学，瑞士日内瓦信息大学中心

13:30 - 15:00	语法和元建模SLE公司在工作室1 主席：托马斯·德格勒维斯昆德信息中心

13:30 30米谈话		面向面建模：模型驱动工程的开放对象 SLE公司胡安·德拉拉马德里奥托诺马大学,埃丝特·格拉马德里奥托诺马大学,Jörg Kienzle公司加拿大麦吉尔大学,亚尼斯·哈塔布麦吉尔大学
14:00 30米谈话		分析元模型产品线 SLE公司埃丝特·格拉马德里奥托诺马大学,胡安·德拉拉马德里奥托诺马大学,玛莎·契契克多伦多大学,瑞克·萨莱多伦多大学
14:30 30米谈话		将语法翻译为准确的元模型 SLE公司 Arvid对接亚琛大学软件工程,尼科·詹森亚琛工业大学软件工程,伯恩哈德朗姆酒RWTH亚琛大学,安德烈亚斯·沃特曼RWTH亚琛大学

15:30 - 17:30	语法和元建模/工作台SLE公司在工作室1 主席：胡安·德拉拉马德里奥托诺马大学

15:30 30米谈话		从语法推导流利的内部领域特定语言 SLE公司 Arvid对接亚琛大学软件工程,曼努埃拉·达利博尔亚琛RWTH大学软件工程,杰里特·莱昂哈特亚琛RWTH大学软件工程,伯恩哈德朗姆酒RWTH亚琛大学,安德烈亚斯·沃特曼RWTH亚琛大学
16:00 2000万谈话		在HPC专用环境中培养元模型和语法：NabLab环境（工具演示）工具演示 SLE公司 Benoît Lelandais公司法国CEA/DAM/DIF,玛丽·皮埃尔·乌多特法国CEA/DAM/DIF,Benoit Combemale公司法国雷恩第一大学
16:20 2000万谈话		将自定义DSL实现迁移到语言工作台（工具演示）工具演示 SLE公司贾斯珀·丹克斯荷兰代尔夫特理工大学,路易斯·范古尔OcéTechnologies有限公司。,埃尔科·维瑟代尔夫特理工大学链接到出版物内政部
16:40 2000万谈话		Bacatá：语言参数化笔记本生成器（工具演示）工具演示 SLE公司毛里西奥·维拉诺·梅里诺埃因霍温工业大学,尤尔根·文朱（Jurgen Vinju）威斯康德信息技术中心/埃因霍温理工大学/SWAT.engineering BV,蒂杰斯·范德·斯托姆CWI&格罗宁根大学
17:00 2000万谈话		形状多样的DSL:无边界语言（愿景文件）愿景/新想法 SLE公司法比安·库隆图卢兹/奥博大学,托马斯·德格勒维斯昆德信息中心,蒂杰斯·范德·斯托姆CWI&格罗宁根大学,Benoit Combemale公司法国雷恩第一大学预打印

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

10:30 - 12:00	类型和效果飞溅OOPSLA在工作室1 主席：科林戈登德雷塞尔大学

10:30 2200万谈话		群众的效果处理者飞溅OOPSLA Jonathan Immanuel Brachthä用户德国图宾根大学,菲利普·舒斯特德国图宾根大学,克劳斯·奥斯特曼德国图宾根大学
10:52 2200万谈话		通过集成子类型赋予并集和交叉点类型权力飞溅物费比安·穆尔博克康奈尔大学,罗斯·泰特康奈尔大学链接到出版物内政部预打印
11:15 2200万谈话		茱莉亚亚型：理性重构飞溅OOPSLA 弗朗西斯科·扎帕·纳德利Inria公司,朱莉娅·贝尔亚科娃美国东北大学,阿特姆·佩莱尼琴东北大学,本杰明·钟东北大学,杰夫·贝赞森Julia计算机,扬·维泰克东北大学内政部媒体已连接
11:37 2200万谈话		作为类型的范围飞溅物亨德里克·范安特卫彭荷兰代尔夫特理工大学,卡斯珀·巴赫·鲍尔森代尔夫特理工大学,阿詹·鲁沃特（Arjen Rouvoet）代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学链接到出版物内政部附加的文件

13:30 - 15:00	安全飞溅OOPSLA在工作室1 主席：托比亚斯·箭牌瑞典乌普萨拉大学

13:30 2200万谈话		依赖安全标签推理的派生框架飞溅OOPSLA 李佩萱宾夕法尼亚州立大学,张丹凤宾夕法尼亚州立大学
13:52 2200万谈话		MadMax：在以太坊智能合约中生存飞溅OOPSLA 内维尔·格雷奇雅典大学,迈克尔·孔悉尼大学,安东·法利西维克悉尼大学,莱西·布伦特悉尼大学,伯恩哈德·舒尔茨澳大利亚悉尼大学,亚尼斯·斯马拉格达基斯雅典大学链接到出版物预打印附加的文件
14:15 2200万谈话		使用透明字节码转换加快变量执行飞溅OOPSLA Chu-Pan Wong先生卡内基梅隆大学,延斯·梅尼基马格德堡大学,卢卡斯·拉扎雷克 ,克里斯蒂安·卡斯特纳卡内基梅隆大学
14:37 2200万谈话		使用动态信息流控制的安全无服务器计算飞溅OOPSLA 卡列夫·阿尔佩纳斯特拉维夫大学,科马克·弗拉纳根加州大学圣克鲁斯分校,萨贾德·福拉迪斯坦福大学,列奥尼德·雷日克VMware研究,穆利·萨吉夫特拉维夫大学,托马斯·施密茨 ,基思·温斯坦斯坦福大学

15:30 - 17:00	语言设计2飞溅物在工作室1 主席：乔纳森·奥尔德里奇卡内基梅隆大学

15:30 2200万谈话		直接操作的双向评估飞溅OOPSLA 米卡·迈耶EPFL，瑞士,维克托·库恰克EPFL，瑞士,拉维·丘格芝加哥大学
15:52 2200万谈话		BioScript:在芯片实验室上编程安全化学飞溅OOPSLA 杰森·奥特加州大学河滨分校,泰森无爱加州大学河滨分校,克里斯柯蒂斯加州大学河滨分校,莫森·莱萨尼加州大学河滨分校,菲利普·布里斯克加州大学河滨分校
16:15 2200万谈话		使用ScalaLoci进行分布式系统开发飞溅OOPSLA 帕斯卡·维森伯格达姆施塔特科技大学,米尔科·科勒 ,吉多·萨尔瓦内奇达姆施塔特工业大学
16:37 2200万谈话		具有角色的并发软件面向对象编程飞溅OOPSLA 迈克尔·费斯苏黎世ETH,托马斯·格鲁斯苏黎世ETH 链接到出版物内政部

	17:05 - 18:00	奖项/SIGPLAN市政厅会议飞溅物在工作室1 主席：延斯·帕尔斯伯格加利福尼亚大学，洛杉矶,马努·斯里德哈兰优步

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

10:30 - 12:00	弱记忆和重构飞溅OOPSLA在工作室1 主席：理查德·琼斯肯特大学

10:30 2200万谈话		发布获取语义下的最优无状态模型检查飞溅OOPSLA 帕罗什·阿齐兹·阿卜杜拉瑞典乌普萨拉大学,穆罕默德·法乌齐·阿提格瑞典乌普萨拉大学,本特·琼森瑞典乌普萨拉大学,Tuan Phong Ngo公司瑞典乌普萨拉大学
10:52 2200万谈话		了解避免空中意外结果的成本飞溅OOPSLA 裴兆欧加州大学欧文分校,布莱恩·德姆斯基加州大学欧文分校
11:15 2200万谈话		弱记忆的持久语义飞溅OOPSLA 杜鹃花MPI-SWS，德国,维克托·瓦菲亚迪斯MPI-SWS，德国
11:37 2200万谈话		确定用子类和状态替换类型代码的重构机会飞溅OOPSLA Jyothi Vedurada公司马德拉斯分校,V克里斯纳·南迪瓦达马德拉斯分校

13:30 - 15:00	平行性和正确性飞溅OOPSLA在工作室1 主席：沃纳·迪特尔加拿大滑铁卢大学

13:30 2200万谈话		线程安全的反应式编程飞溅OOPSLA 乔沙·德雷克斯勒达姆施塔特科技大学,拉格纳尔·莫克达姆施塔特科技大学,吉多·萨尔瓦内奇达姆施塔特工业大学,米拉·梅齐尼达姆施塔特工业大学内政部预打印附加的文件
13:52 2200万谈话		RacerD：合成静态种族检测飞溅OOPSLA 萨姆·布莱克希尔脸谱网,Nikos Gorogannis公司 ,彼得·W·奥赫恩脸书和伦敦大学学院,伊利亚·谢尔盖Yale-NUS学院预打印
14:15 2200万谈话		第一场比赛后会发生什么？增强基于Happens-Before的动态种族检测的预测能力飞溅OOPSLA 乌芒·马图尔伊利诺伊大学香槟分校,迪利普·基尼伊利诺伊大学香槟分校,马赫什·维斯瓦纳坦伊利诺伊大学香槟分校内政部授权者链接预打印
14:37 2200万谈话		声音死锁预测飞溅OOPSLA 克里斯蒂安·格拉姆·卡尔豪格（Christian Gram Kalhauge）加利福尼亚大学，洛杉矶,延斯·帕尔斯伯格加利福尼亚大学，洛杉矶

15:30 - 17:00	性能飞溅OOPSLA在工作室1 主席：亚当·韦尔克优步科技

15:30 2200万谈话		跨组件垃圾收集飞溅物乌兰·德根巴耶夫谷歌,约钦·艾辛格谷歌,肯塔罗·哈拉谷歌,马塞尔·赫洛普科谷歌,迈克尔·利普茨（Michael Lippautz）谷歌,汉内斯·佩耶谷歌内政部媒体已连接
15:52 2200万谈话		组合服务的反应式缓存飞溅OOPSLA 塞巴斯蒂安·伯克哈特微软研究院,蒂姆·科皮特斯比利时布鲁塞尔Vrije大学
16:15 2200万谈话		非易失性内存的面向对象恢复飞溅OOPSLA 纳克肖恩·科恩EPFL，瑞士,大卫·T·阿克森EPFL公司,詹姆斯拉诺斯EPFL公司
16:37 2200万谈话		软件复用：共享库并静态链接它们飞溅OOPSLA 威尔·迪茨伊利诺伊大学香槟分校,维克拉姆·S·阿德伊利诺伊大学香槟分校链接到出版物内政部预打印

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

10:30 - 12:00	测试飞溅OOPSLA在工作室1 主席：金·布鲁斯波莫纳学院

10:30 2200万谈话		动态分布式系统的组合编程与测试飞溅OOPSLA Ankush Desai公司加州大学伯克利分校,阿玛尔·法尼沙耶微软研究院,沙兹·卡迪尔微软研究院,桑吉特·塞希亚加州大学伯克利分校
10:52 2200万谈话		具有概率保证的分布式系统的随机测试飞溅物 Burcu Kulahcioglu Ozkan先生MPI-SWS，德国,鲁帕克·马朱姆达尔MPI-SWS，德国,菲利普·尼基奇MPI-SWS公司,Mitra Tabaei Befrouei公司维也纳科技大学,乔治·魏森巴赫维也纳理工大学
11:15 2200万谈话		动态语言中高阶函数的测试生成飞溅OOPSLA 玛丽亚·塞拉科维奇德国达姆施塔特大学,迈克尔·普拉德尔达姆施塔特工业大学,雷兹瓦娜·卡里姆·纳林三星研究美国,弗兰克·蒂普东北大学
11:37 2200万谈话		在异步JavaScript程序中发现失信的承诺飞溅OOPSLA 萨巴·阿利马达迪东北大学,狄忠美国东北大学,马格努斯·马德森奥胡斯大学,弗兰克·蒂普东北大学

13:30 - 14:15	验证飞溅OOPSLA在工作室1 主席：托尼·霍斯金澳大利亚国立大学/Data61

13:30 2200万谈话		Leto：通过参数化执行模型验证特定于应用程序的容错性飞溅OOPSLA 布雷特·波士顿麻省理工学院,佐伊·贡麻省理工学院,迈克尔·卡宾麻省理工学院
13:52 2200万谈话		通过有界并发验证实现安全复制飞溅OOPSLA 戈瑟姆·卡基普渡大学,卡皮尔·厄兰基普渡大学,KC Sivaramakrishnan公司剑桥大学,苏雷什·贾甘纳森普渡大学

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


房间	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
工作室1							2018年GPCE 主题演讲：Amarasinghe																								SLE公司正在分析																																				SLE公司解析/合成																								SLE公司验证和验证

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


房间	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
工作室1							SLE公司主旨：里纳德																								SLE公司类型和限制																																				SLE公司 Grammars和元建模																								SLE公司 Grammars和Metamodeling/工作台

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


房间	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
工作室1							飞溅OOPSLA 类型和效果																																				飞溅OOPSLA 安全																								飞溅OOPSLA 语言设计2																			飞溅OOPSLA 奖项/SIGPLAN市政厅会议

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


房间	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
工作室1							飞溅OOPSLA 弱记忆和重构																																				飞溅OOPSLA 平行性和正确性																								飞溅OOPSLA 性能

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


房间	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
工作室1							飞溅OOPSLA 测试																																				飞溅OOPSLA 验证

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


房间	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
工作室1							GPCE公司正在打开 08:30 - 08:45			GPCE公司主题演讲如何快速稀疏 08:45 - 10:00																					SLE公司压痕规则的声明性规范：一个工具视角。。。 10:30 - 11:00						SLE公司使用灵活组合器的GLL解析 11:00 - 11:30						SLE公司 Morbig:POSIX Shell的静态解析器 11:30 - 12:00																								SLE公司愿景/新想法输入驱动正则表达式（Vision Paper） 13:30 - 13:50				SLE公司面向大众的模块化语言构成 13:50 - 14:20						SLE公司工具演示 Storm:一个用于交互和可扩展语言的语言平台（To。。。 14:20 - 14:40				SLE公司愿景/新想法作为一流公民的语言（愿景文件） 14:40 - 15:00										SLE公司使用参考属性语法进行连续模型验证 15:30 - 16:00						SLE公司将业务逻辑迁移到增量计算DSL：案例研究 16:00 - 16:30						SLE公司工具演示编译器测试中的工业案例研究（工具演示） 16:30 - 16:50				SLE公司工具演示 Messir，一种基于文本优先DSL的UML需求工程师方法。。。 16:50 - 17:10

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


房间	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
工作室1							SLE公司奖品 08:30 - 08:45			SLE公司主题演讲一种新的软件正确性和可靠性方法 08:45 - 10:00																					SLE公司用于实时建模的基于约束的运行时状态迁移 10:30 - 11:00						SLE公司接下来的700个单元检查器 11:00 - 11:30						SLE公司一种实用的安全混叠系统 11:30 - 12:00																								SLE公司面向面建模：模型驱动工程的开放对象 13:30 - 14:00						SLE公司分析元模型产品线 14:00 - 14:30						SLE公司将语法翻译为准确的元模型 14:30 - 15:00												SLE公司从语法推导流利的内部领域特定语言 15:30 - 16:00						SLE公司工具演示在HP专用环境中培养元模型和语法。。。 16:00 - 16:20				SLE公司工具演示将自定义DSL实现迁移到语言工作台（工具演示） 16:20 - 16:40				SLE公司工具演示 Bacatá：语言参数化笔记本生成器（工具演示） 16:40 - 17:00				SLE公司愿景/新想法形状多样的DSL：无边界语言（视觉纸） 17:00 - 17:20

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


房间	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
工作室1							飞溅OOPSLA 群众的效果处理者 10:30 - 10:52				飞溅OOPSLA 使用集成子类型增强并集和交集类型 10:52 - 11:15					飞溅OOPSLA Julia亚型：理性重构 11:15 - 11:37				飞溅OOPSLA 作为类型的范围 11:37 - 12:00																							飞溅OOPSLA 依赖安全标签推理的派生框架 13:30 - 13:52				飞溅OOPSLA MadMax：在以太坊智能合约中生存 13:52 - 14:15					飞溅OOPSLA 使用透明字节码转换加快变量执行 14:15 - 14:37				飞溅OOPSLA 使用动态信息流控制的安全无服务器计算 14:37 - 15:00											飞溅OOPSLA 直接操作的双向评估 15:30 - 15:52				飞溅OOPSLA BioScript:在芯片实验室上编程安全化学 15:52 - 16:15					飞溅物使用ScalaLoci进行分布式系统开发 16:15 - 16:37				飞溅OOPSLA 具有角色的并发软件面向对象编程 16:37 - 17:00

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


房间	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
工作室1							飞溅OOPSLA 发布获取语义下的最优无状态模型检查 10:30 - 10:52				飞溅OOPSLA 了解避免空中意外结果的成本 10:52 - 11:15					飞溅OOPSLA 弱记忆的持久语义 11:15 - 11:37				飞溅OOPSLA 识别重构机会，用子代码替换类型代码。。。 11:37 - 12:00																							飞溅OOPSLA 线程安全的反应式编程 13:30 - 13:52				飞溅OOPSLA RacerD：合成静态种族检测 13:52 - 14:15					飞溅OOPSLA 第一场比赛后发生了什么？增强Ha的预测能力。。。 14:15 - 14:37				飞溅OOPSLA 声音死锁预测 14:37 - 15:00											飞溅OOPSLA 跨组件垃圾收集 15:30 - 15:52				飞溅物组合服务的反应式缓存 15:52 - 16:15					飞溅OOPSLA 非易失性内存的面向对象恢复 16:15 - 16:37				飞溅OOPSLA 软件复用：共享库并静态链接它们 16:37 - 17:00

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


房间	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
工作室1							飞溅物动态分布式系统的组合编程与测试 10:30 - 10:52				飞溅OOPSLA 具有概率保证的分布式系统的随机测试 10:52 - 11:15					飞溅OOPSLA 动态语言中高阶函数的测试生成 11:15 - 11:37				飞溅OOPSLA 在异步JavaScript程序中发现失信的承诺 11:37 - 12:00																							飞溅OOPSLA Leto：通过参数验证特定于应用程序的容错性。。。 13:30 - 13:52				飞溅OOPSLA 通过有界并发验证实现安全复制 13:52 - 14:15

房间信息：1号工作室

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

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

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

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

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

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

2018年GPCE

SLE公司

SLE公司

SLE公司

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

SLE公司

SLE公司

SLE公司

SLE公司

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

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

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

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

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

飞溅OOPSLA

飞溅OOPSLA

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

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

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

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

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

曲目

房间信息：1号工作室

程序显示配置

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

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

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

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

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

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

2018年GPCE

SLE公司

SLE公司

SLE公司

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

SLE公司

SLE公司

SLE公司

SLE公司

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

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

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

飞溅OOPSLA

飞溅OOPSLA

飞溅OOPSLA

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

飞溅OOPSLA

飞溅OOPSLA

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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