第37届ECOOP 2023: 西雅图,华盛顿州,美国
卡里姆·阿里 , 吉多·萨尔瓦内奇 :
第37届欧洲面向对象编程会议,ECOOP 2023,2023年7月17日至21日,美国华盛顿州西雅图。 LIPIcs公司 263, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2023 ,国际标准图书编号 978-3-95977-281-5 -
前言、目录、前言、会议组织。 0:1-0:20 亚当·巴威尔 , 侯萍(Ping Hou) , 吉田信子 , 周芳怡 :
设计具有紧急停止故障的异步多方协议。 1:1-1:30 吉姆·鲍文斯 , 伊丽莎·冈萨雷斯-博伊克斯 :
嵌套的基于纯操作的CRDT。 2:1-2:26 里卡多·比安奇尼 , 弗朗西斯科·达尼诺 , 保拉·贾尼尼 , 埃琳娜·祖卡 :
多级羽量级Java。 3:1-3:27 亨利克·博特尔霍·格拉(Henrique Botelho Guerra) , 乔·费雷拉 , 乔·科斯塔·塞科 :
Hoogle⋆:使用符号执行的基于Petri网的合成中的常数和λ-抽象。 4:1-4:28 凯萨琳娜·布兰德 , 塞巴斯蒂安·埃尔德维格 , 斯文·凯德尔 , 尼尔斯·汉森 :
WebAssembly的模块化抽象定义解释器。 5:1-5:28 大卫·卡斯特罗·佩雷斯 , 吉田信子 :
动态可更新多方会话协议:从无边界协议生成并发Go代码。 6:1-6:30 路易斯·克鲁斯·菲利佩 , 伊娃·格雷弗森 , 洛夫罗·卢戈维奇 , 法布里奇奥·蒙泰西 , 马可·佩雷索蒂 :
高阶功能编排的模块化编译。 7:1-7:37 Jan de Muijnck-Hughes公司 , 维姆·范德鲍维德 :
接线电路很简单,比如{0,1,ω},或者它是。。。 8:1-8:28 凯文·德·波尔 , 卡拉·费雷拉 , 伊丽莎·冈萨雷斯-博伊克斯 :
VeriFx:更正Mass的复制数据类型。 9:1-9:45 延斯·迪特里希 , 大卫·J·皮尔斯 , 马欣·昌德拉莫汉 :
关于利用测试推断可空注释。 10:1-10:25 安东范 , 莱昂内尔·帕罗 :
通过开放递归的精确类型化实现面向对象的超收费编程。 11:1-11:28 朱利安·哈斯 , 拉格纳尔·莫克 , 埃琳娜·亚纳基耶娃 , 安妮特·比纽萨 , 米拉·梅齐尼 :
LoRe:可验证安全的本地首个软件的编程模型(扩展抽象)。 12:1-12:15 金飞扬 , 于乐晨 , 蒂亚戈·科古姆布雷罗 , Jun Shirako先生 , 维维克·萨卡尔 :
具有承诺的任务并行程序的动态确定性竞争检测。 13:1-13:30 克里斯蒂安·库斯纳 , 拉格纳尔·莫克 , 安娜·凯萨琳娜·威克特 , 米拉·梅齐尼 :
代数复制数据类型:编程安全的本地第一软件。 14:1-14:33 罗兰·库恩 , 埃尔南·梅尔格拉蒂 , 埃米利奥·托斯托 :
本地第一软件的行为类型。 15:1-15:28 李延南 , 王超(Chao Wang) :
用于能量采集应用程序的基于约束的编译器优化。 16:1-16:29 马格努斯·马德森 , 乔纳森·林德加德·斯塔鲁 , 马修·卢茨 :
限制变量:可扩展变量的简单实用替代方案。 17:1-17:27 马格努斯·马德森 , 雅各·范德波尔 :
纯粹反思的编程:效果、懒惰和并行的和平共存。 18:1-18:27 彼得·马克西莫维奇 , 卡罗琳·克朗贾格 , 安德烈亚斯·洛夫 , 朱利安·萨瑟兰 , 菲利普·加德纳 :
精确分离逻辑:缩小验证和缺陷发现之间的差距。 19:1-19:27 米沙拉 , 苏雷什·贾甘纳森 :
语素:数据相关分析器组合程序的自动安全验证。 20:1-20:27 马克·默勒 , 托马斯·维纳 , 阿莱亚·索尔科·布雷斯林 , 卡勒布·科赫 , 内特·福斯特 , 亚历山德拉·席尔瓦 :
自动学习与不完整的老师。 21:1-21:30 阿贝尔·尼托 , Arnaud Daby-Seesaram公司 , 莱昂·冈德尔曼 , 阿明·蒂曼尼 , 拉尔斯·比克达尔 :
分离逻辑中基于状态的CRDT的模块化验证。 22:1-22:27 卢卡·奥利维耶里 , 卢卡·内格里尼 , 文森佐·阿塞里 , 法比奥·塔利亚费罗 , 彼得罗·费拉拉 , 阿戈斯蒂诺·科尔特斯 , 福斯托·斯波托 :
用于检测区块链中不确定性的信息流分析。 23:1-23:25 弗雷德里科·拉莫斯 , 努诺·萨比诺 , 佩德罗·阿多 , 大卫·A·诺曼 , 何塞·弗拉戈索·桑托斯 :
面向符号执行的工具无关摘要。 24:1-24:29 戴维·里克特 , 蒂蒙·伯勒 , 帕斯卡·魏森伯格 , 米拉·梅齐尼 :
顺序和并行程序的直接样式效果符号。 25:1-25:22 Ugnius Rumsevicius公司 , 悉登斯·文卡特什瓦兰(Siddhanth Venkateshwaran) , 埃伦·基丹 , 路易斯·皮纳 :
Sinatra:通过多版本执行为商业浏览器提供状态即时更新。 26:1-26:29 赫萨姆·沙罗基 , 阿米尔·谢赫哈 :
一种用于批量计算的高效矢量化哈希表。 27:1-27:27 阿米尔·谢赫哈 , 马赫迪·戈尔巴尼 , 赫萨姆·沙罗基 :
提示词典:有效的函数有序集和映射。 28:1-28:30 卢卡斯·西尔弗 , 保罗·何 , 伊桑·切切蒂 , 安德鲁·赫希 , 史蒂夫·兹丹塞维奇 :
交互树的非干扰语义。 29:1-29:29 卢卡斯·西尔弗 , 埃迪·韦斯特布鲁克 , 马修·亚卡冯 , 瑞恩·斯科特 :
交互树规范:用于指定支持自动活动验证的递归有效计算的框架。 30:1-30:26 乔纳森·林德加德·斯塔鲁 , 马格努斯·马德森 , Ondrej Lhoták :
打破负面循环:探索一级数据日志约束的分层设计空间。 31:1-31:28 费利克斯·斯图兹 :
异步多方会话类型的可实现性是可决定的-从消息序列图中吸取的教训。 32:1-32:31 费利克斯·苏切特 , 丽莎·泽德勒 , 杰罗尼莫·卡斯特里隆 , 塞巴斯蒂安·埃特尔 :
ConDRust:可验证Rust程序的可扩展确定性并发。 33:1-33:39 金昊滩 , 布鲁诺·C·d·S·奥利维拉 :
相关合并和一流环境。 34:1-34:32 雅各布·范·格芬 , Xi Wang(王希) , 埃米娜·托拉克 , 詹姆斯·博恩霍尔特 :
存储系统的综合辅助崩溃一致性。 35:1-35:26 王承鹏 , 姚培森 , 文生堂 , 帮派(Gang Fan) , 查尔斯·张 :
为代码搜索合成连接查询。 36:1-36:30 明浩义 , 阿琼·古哈 :
机器学习模型是否生成类型检查的TypeScript类型? 37:1-37:28 萨希尔·巴蒂亚 , 苏梅尔·科利 , 桑吉特·塞希亚 , 张爱文(Alvin Cheung) :
使用程序合成为特定领域语言构建代码转发器(经验论文)。 38:1-38:30 莎拉·哈里斯 , 西蒙·库克西 , 迈克尔·沃尔默 , 马克·巴蒂 :
《莫雷洛的锈:永远是关于记忆安全的,即使是在不安全的代码中(经验论文)》。 39:1-39:27 若昂·莫塔 , 马可·朱蒂 , 安东尼奥·拉瓦拉 :
关于使用VeriFast、VerCors、Plural和KeY检查对象使用情况(经验文件)。 40:1-40:29 西蒙·海尼格尔 , 纳达·阿明 :
Dolorem模式:通过编译时函数执行发展语言(Pearl/Brave New Idea)。 41:1-41:27 宋世宗 , 费雷拉 :
合成行为类型:通过隐含的局部类型(珍珠/勇敢的新想法)进行声音、定期多方会话。 42:1-42:30 马尔科·拉格里安蒂 , Csaba Nagy公司 , 罗伯托·米内利 , 林斌(Bin Lin) , 米歇尔·兰扎 :
现代软件文档的兴起(Pearl/Brave New Idea)。 43:1-43:24 奥里·罗斯 :
Python类型提示正在图灵完成(Pearl/Brave New Idea)。 44:1-44:15