2018年第32届ECOOP:荷兰阿姆斯特丹
托德·D·米尔斯坦 :
第32届欧洲面向对象编程会议,2018年7月16日至21日,ECOOP,荷兰阿姆斯特丹。 LIPIcs公司 109, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-079-8 -
前言、目录、前言、会议组织。 0:i-0:xx 拉格纳尔·莫克 , 拉尔斯·鲍姆加尔特纳 , 吉多·萨尔瓦内奇 , 伯恩德·弗雷斯勒本 , 米拉·梅齐尼 :
容错分布式反应式编程。 1:1-1:26 井上博明 , 青谷俊彦(Tomoyuki Aotani) , Atsushi Igarashi先生 :
上下文工作流:用于可补偿和可中断执行的一元DSL。 2:1-2:33 亚历山大·普罗科佩克 , 刘凤云 :
带快照的Coroutines理论与实践。 3:1-3:32 吉安·恩茨克 , 佩德罗·达罗查·平托 , 朱利安·萨瑟兰 , 菲利普·加德纳 :
POSIX文件系统的并发规范。 4:1-4:28 林师父 , Siwakorn Srisakaokul公司 , 布莱克·巴塞特 , 佩曼·马赫迪安 , 陶雪 , 普拉塔普·拉克希曼 , 乔纳森·德哈勒克斯 :
中参数化单元测试的特性研究。 NET开源项目。 5:1-5:27 陈俊杰 , 胡文祥 , 张玲明 , 丹昊(Dan Hao) , 萨尔夫拉兹·库希德 , 陆章 :
学习通过代码转换加速符号执行。 6:1-6:27 吉安卢卡·梅泽蒂 , 安德斯·默勒 , 马丁·托尔达姆·托普 :
类型回归测试以检测Node.js库中的突破性更改。 7:1-7:24 李思翰(Sihan Li) , 法拉·哈里里 , 古尔·阿加 :
演员系统的目标测试生成。 8:1-8:31 玄壁 , 布鲁诺·C·d·S·奥利维拉 :
键入一级特征。 9点9分28秒 斯特凡·克鲁格 , 约翰·斯帕斯 , 卡里姆·阿里 , 埃里克·博登 , 米拉·梅齐尼 :
CrySL:验证加密API正确使用的可扩展方法。 10:1-10:27 戈瑟姆·卡基 , G.拉马林加姆 :
安全可转移区域。 11:1-11:31 本杰明·钟 , 佩利·李 , 弗朗切斯科·扎帕·纳尔德利 , 扬·维泰克 :
KafKa:对象的渐进式键入。 12:1-12:24 乔安娜·坎波斯 , 瓦斯科T.瓦斯康塞洛斯 :
基于类的可变对象的依赖类型。 13:1-13:28 Nathalie Oostvogels公司 , 乔里·德科斯特 , 沃尔夫冈·德梅特 :
接口中复杂存在约束的静态类型。 14:1-14:27 乌戈·德利古罗 , 卢卡·帕多瓦尼 :
无序交互的邮箱类型。 15:1-15:28 穆罕默德·库奈比特 , 斯特凡·布伦塔勒 , 耶乌尔·纳 , 斯蒂恩·沃尔卡特 , 主任弗朗兹 :
使用保护优化在异构平台上加速动态类型语言。 16:1-16:29 乔纳森·贝尔 , 路易斯·皮纳 :
CROCHET:通过股票JVM上的轻量级堆遍历检查点和回滚。 17:1-17:31 朱利安·加斯康·萨姆森 , 郑锦熙(Kumseok Jung) , 什万舒·戈亚尔 , 阿明·雷扎伊安·阿塞尔 , 卡提克·帕塔比拉曼 :
ThingsMigrate:状态JavaScript物联网应用程序的平台无关迁移。 18:1-18:33 天骄顾 , 马晓星 , 张旭 , 姜燕燕 , 春操 , 陆健 :
通过在线执行合成实现动态软件更新的对象转换自动化。 19:1-19:28 王燕林(Yanlin Wang) , 张浩源 , 布鲁诺·C·d·S·奥利维拉 , 马可·塞韦托 :
FHJ:分层调度和覆盖的形式化模型。 20:1-20:30 戴维德·安科纳 , 弗朗西斯科·达尼诺 , 埃琳娜·祖卡 :
用Corules建模无限行为。 21:1-21:31 玄壁 , 布鲁诺·C·d·S·奥利维拉 , 汤姆·施里杰弗斯 :
嵌套构图的本质。 22:1-22:33 亚尼斯·斯马拉格达基斯 , 乔治·卡斯特林斯 :
防御要点——分析:通过懒惰实现有效健康。 23:1-23:28 约翰·托曼 , 丹·格罗斯曼 :
Legato:对动态配置更新应用程序的最多一次分析。 24:1-24:32 安娜·L·米兰诺娃 :
确定参考突变。 25:1-25:30 内维尔·格雷奇 , 乔治·卡斯特林斯 , 亚尼斯·斯马拉格达基斯 :
通过图着色进行有效的反射字符串分析。 26:1-26:25