第34届ECOOP 2020：德国柏林（虚拟会议）
罗伯特·赫施菲尔德 
， 托拜厄斯·佩普 :
第34届欧洲面向对象编程会议，ECOOP 2020，2020年11月15-17日，德国柏林（虚拟会议）。 LIPIcs公司 166, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2020 ，国际标准图书编号 978-3-95977-154-2 前言、目录、前言、会议组织。 0:1-0:28 戴维德·安科纳 ， 彼得罗·巴比里 ， 弗朗西斯科·达尼诺 ， 埃琳娜·祖卡 :
coFJ中健全的定期担保。 1:1-1:28 希拉·佩莱 ， 纳迪娅·波里卡波娃 :
完美是善的敌人：全力以赴的计划合成。 2:1-2:30 阿贝尔·尼托 ， 玛丽安娜·拉波波特 ， 格雷戈·理查兹 ， Ondrej Lhoták公司 :
对Null负责。 3:1-3:28 朱莉娅·加贝 ， 吉田信子 :
围棋程序的静态比赛检测和互斥安全与活力。 4:1-4:30 叶夫根尼·莫申科 ， 安东·波德科帕耶夫 ， 奥里·拉哈夫 ， 奥雷斯蒂斯·梅尔科尼安 ， 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器。 5:1-5:26 卢卡斯·迪克曼 ， 劳伦斯·特拉特 :
不要惊慌！ LR解析器的语法错误更好、更少。 6:1-6:32 李毅（Liyi Li） ， 埃尔萨·甘特 :
K-LLVM:LLVM-IR的一个相对完整的语义。 7:1-7:29 Yuya Tsuda先生 ， Atsushi Igarashi先生 ， 田口友也 :
强制传球风格的空间效率渐进式打字。 8:1-8:29 Keigo Imai公司 ， 鲁米亚纳·内科娃 ， 吉田信子 ， 袁绍基（Shoji Yuen） :
使用全局协议组合器的多方会话编程。 9:1-9:30 科林·S·戈登 :
利用静态能力和效果进行设计：使用、提及和不变量（珍珠）。 10:1-10:25 萨代赫·达尔瓦迪 ， 西蒙·多尔蒂 ， 布里耶什·东戈尔 ， 海克·韦尔海姆 :
C11 RAR的Owicki-Gries推理。 11:1-11:26 马格努斯·马德森 ， Ondrej Lhoták ， 弗兰克·蒂普 :
反应本质的语义学。 12:1-12:26 大卫·马西弗 ， 阿拉斯泰尔·唐纳森 :
通过测试用例生成减少测试用例：来自假设减少器的见解（工具见解论文）。 13:1-13:27 西蒙·福勒 :
模型-视图-更新-通信：会话类型符合Elm体系结构。 14:1-14:28 西菲斯·拉古瓦尔多斯 ， 朱利安·杜比 ， 内维尔·格雷奇 ， 安娜斯塔西奥斯·安东尼亚迪斯 ， 亚尼斯·斯马拉格达基斯 :
TensorFlow程序中的形状静态分析。 15:1-15:29 本杰明·巴斯列夫·尼尔森 ， 安德斯·默勒 :
值划分：一种轻量级的JavaScript关系静态分析方法。 16:1-16:28 拉斐尔·莫纳特 ， 阿卜杜勒拉夫·乌阿贾奥特 ， 安托万·米内 :
通过Python程序的抽象解释进行静态类型分析。 17:1-17:29 弗拉斯蒂米尔·多特 ， Ondrej Lhoták :
DOT的参考变异性。 18:1-18:28 萨姆·范登·冯德 ， 蒂埃里·雷诺 ， Bjarno Oeyen公司 ， 乔里·德科斯特 ， 沃尔夫冈·德梅特 :
应对反应式编程的尴尬团队：行动者-反应者模型。 19:1-19:29 Jan de Muijnck-Hughes公司 ， 埃德温·C·布雷迪 ， 维姆·范德鲍维德 :
依赖类型语言中的资源依赖EDSL框架（Pearl）。 20:1-20:31 Shale Xiong公司 ， 安德烈亚·塞隆 ， 杜鹃花 ， 菲利普·加德纳 :
事务存储系统中的数据一致性：集中语义。 21:1-21:31 阿拉斯泰尔·唐纳森 ， 雨果斯·埃夫拉德 ， 保罗·汤姆森 :
将随机编译器测试投入生产（经验报告）。 22:1-22:29 科林·S·戈登 :
起重顺序对控制操作员的影响。 23:1-23:30 穆罕默德·巴巴拉 ， 隋玉雷 ， 陈世平 :
基于流敏感类型的堆克隆。 24:1-24:26 阿贝尔·尼托 ， 赵耀宇 ， Ondrej Lhoták ， 安吉拉·张 ， 贾斯汀·普 :
带显式Null的Scala。 25:1-25:26 黄雪晶 ， 布鲁诺·C·d·S·奥利维拉 :
带有合并运算符的微积分的类型定向操作语义。 26分26秒32 谢宁宁 ， 布鲁诺·C·d·S·奥利维拉 ， 玄壁 ， 汤姆·施里弗斯 :
通过不相交多态的行和有界多态。 27:1-27:30 加布里埃拉·桑帕约 ， 何塞·弗拉戈索·桑托斯 ， 彼得·马克西莫维奇 ， 菲利普·加德纳 :
事件驱动Web应用程序符号分析的可信基础结构。 28:1-28:29 布鲁诺·C·d·S·奥利维拉 ， 崔绍波 ， 巴伯·雷赫曼 :
分型的双重性。 29:1-29:29 克里斯·法林 :
使用延期借款进行安全、灵活的重叠。 30:1-30:26 亚历山大·塔索斯 ， 朱莉安娜·佛朗哥 ， 索菲亚·德罗索普洛 ， 托比亚斯·箭牌 ， 苏珊·艾森巴赫 :
重塑你的布局，而不是你的程序：更好的缓存位置的安全语言扩展（SCICO Journal-first）。 31:1-31:3 戴维德·安科纳 ， 弗朗西斯科·达尼诺 ， 尤里安腐烂 ， 埃琳娜·祖卡 :
从有限计算到无限计算迈出了一大步（SCICO期刊首期）。 32:1-32:2 马蒂亚斯·托罗 ， 埃里克·坦特 :
抽象渐进参考文献（SCICO Journal-first）。 33:1-33:4
