ECOOP 2023-研究论文-ECOOP 2023

时区

程序当前显示在（GMT-07:00）太平洋时间（美国和加拿大）.

使用会议时区：（GMT-07:00）太平洋时间（美国和加拿大）选择其他时区

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

时间段

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

显示完整程序指定时间段

保存

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

7月19日星期三
显示的时区：太平洋时间（美国和加拿大）改变

08:00 - 08:30	咖啡和清淡早餐ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

08:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

08:30 - 09:15	ISSTA影响力论文奖ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

08:30 4500万主题演讲		计算安卓应用程序源线级能量信息的影响思考 ECOOP和ISSTA主题演讲克：威廉·G.J.哈尔丰德南加州大学

09:15 - 10:00	AITO时间奖励测试ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

09:15 4500万主题演讲		AITO时间奖测试：编程语言为何重要：对语言设计45年的思考 ECOOP和ISSTA主题演讲克：安德鲁·布莱克预打印媒体已连接

10:00 - 10:30	咖啡休息时间ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

10:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

10:30 - 12:00	ECOOP 1：语义研究论文在亚马逊礼堂（盖茨G20）主席：索菲亚·德罗索波卢伦敦帝国理工学院

10:30 1500万谈话		交互树的无干扰语义研究论文卢卡斯·西尔弗宾夕法尼亚大学,保罗·何宾夕法尼亚大学,伊桑·切切蒂马里兰大学帕克分校,安德鲁·赫希水牛城大学,史蒂夫·兹丹塞维奇宾夕法尼亚大学内政部
10:45 1500万谈话		交互树规范：用于指定支持自动验证的递归有效计算的框架研究论文卢卡斯·西尔弗宾夕法尼亚大学,埃德温·韦斯特布鲁克加洛瓦,马修·亚卡冯Galois公司。,瑞恩·斯科特Galois公司。内政部
11:00 1500万谈话		多等级轻量级Java 研究论文里卡多·比安奇尼热那亚大学,弗朗西斯科·达尼诺热那亚大学,保拉·贾尼尼东皮埃蒙特大学,埃琳娜·祖卡热那亚大学内政部
11:15 1500万谈话		布线电路很容易{0，1，ω}，还是… 研究论文 Jan de Muijnck-Hughes公司格拉斯哥大学,维姆·范德鲍维德格拉斯哥大学内政部
11:30 1500万谈话		不完全教师的自动机学习研究论文马克·默勒康奈尔大学,托马斯·维纳康奈尔大学,阿莱亚·索尔科·布雷斯林宾夕法尼亚大学,卡勒布·科赫斯坦福大学,内特·福斯特康奈尔大学,亚历山德拉·席尔瓦康奈尔大学内政部
11:45 1500万谈话		顺序和并行程序的直接样式效果表示法研究论文戴维·里克特达姆施塔特工业大学,蒂蒙·伯勒达姆施塔特工业大学,帕斯卡·魏森伯格圣加仑大学,米拉·梅齐尼达姆施塔特工业大学内政部预打印媒体已连接

12:00 - 13:30	午餐ECOOP和ISSTA餐饮在Zillow Commons（Gates 4楼）

12:00 9000万午餐		午餐 ECOOP和ISSTA餐饮

13:30 - 15:00	ECOOP 2：复制研究论文在亚马逊礼堂（盖茨G20）主席：埃里克·朱尔奥斯陆大学

13:30 1500万谈话		本地第一个软件的行为类型研究论文罗兰·库恩Actyx股份公司,赫尔南·梅尔格拉蒂阿根廷布宜诺斯艾利斯大学,埃米利奥·托斯托意大利拉奎拉格兰萨索科学研究所内政部
13:45 1500万谈话		代数复制数据类型：安全的本地第一软件编程研究论文克里斯蒂安·库斯纳达姆施塔特科技大学,拉格纳尔·莫克达姆施塔特科技大学,安娜·凯萨琳娜·威克特德国达姆施塔特大学,米拉·梅齐尼达姆施塔特工业大学内政部预打印
14:00 1500万谈话		分离逻辑中基于状态的CRDT的模块化验证研究论文阿贝尔·尼托奥胡斯大学,Arnaud Daby-Seesaram公司ENS巴黎Saclay,莱昂·冈德尔曼奥胡斯大学,阿明·提曼尼奥胡斯大学,拉尔斯·比克达尔奥胡斯大学内政部
14:15 1500万谈话		VeriFx：纠正海量的复制数据类型研究论文凯文·德·波尔布鲁塞尔Vrije大学,卡拉·费雷拉里斯本诺瓦大学,伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学内政部
14:30 1500万谈话		嵌套的基于纯操作的CRDT 研究论文吉姆·鲍文斯布鲁塞尔Vrije大学,伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔Vrije大学内政部
14:45 1500万谈话		LoRe：可验证安全的本地首个软件的编程模型研究论文朱利安·哈斯达姆施塔特科技大学,拉格纳尔·莫克达姆施塔特科技大学,埃琳娜·亚纳基耶娃凯泽斯劳滕·兰道大学,安妮特·比纽萨凯泽斯劳滕,米拉·梅齐尼达姆施塔特工业大学内政部预打印

15:00 - 15:30	咖啡休息时间ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

15:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

15:30 - 17:00	ECOOP 3：分销研究论文在亚马逊礼堂（Gates G20）主席：伊丽莎·冈萨雷斯-博伊克斯布鲁塞尔大学

15:30 1500万谈话		合成行为类型化：通过隐式局部类型的声音、常规多方会话研究论文宋世宗荷兰开放大学；CWI公司,费雷拉伦敦大学皇家霍洛韦分校内政部
15:45 1500万谈话		异步多方会话类型的可实现性是决定性的——从消息序列图中吸取的经验教训研究论文费利克斯·斯图兹MPI-SWS公司内政部
16:00 1500万谈话		可动态更新的多方会话协议研究论文大卫·卡斯特罗·佩雷斯肯特大学,吉田信子牛津大学内政部
16:15 1500万谈话		设计具有紧急停止故障的异步多方协议研究论文亚当·D·巴维尔圣安德鲁斯大学和牛津大学,侯萍（Ping Hou）牛津大学,吉田信子牛津大学,周方一伦敦帝国理工学院内政部预打印
16:30 1500万谈话		ConDRust:可验证Rust程序的可扩展确定性并发研究论文费利克斯·苏切特德累斯顿工业大学德累斯顿先进电子中心,丽莎·泽德勒德累斯顿巴克豪森研究所复合操作系统集团,杰罗尼莫·卡斯特里隆德国德累斯顿大学,塞巴斯蒂安·埃特尔德累斯顿巴克豪森研究所复合操作系统集团内政部
16:45 1500万谈话		用于检测区块链中不确定性的信息流分析研究论文卢卡·奥利维耶里威尼斯Ca’Foscari大学,文森佐·阿塞里意大利帕尔马大学,卢卡·内格里尼卡福斯卡里威尼斯大学，科瓦利斯S.r.l。,法比奥·塔利亚费罗CYS4高级,彼得罗·费拉拉意大利威尼斯卡福斯卡里大学,阿戈斯蒂诺·科尔特斯威尼斯卡福斯卡里大学,福斯托·斯波托U.维罗纳内政部

	17:30 - 20:30	宴会ECOOP和ISSTA餐饮在HUB宴会厅

7月20日星期四
显示的时区：太平洋时间（美国和加拿大）改变

08:00 - 08:30	咖啡和清淡早餐ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

08:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

08:30 - 09:00	Dahl-Nygaard颁奖典礼和奖项ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

08:30 30米奖品		ECOOP：达尔·尼加德奖颁奖典礼和奖项 ECOOP和ISSTA主题演讲

09:00 - 10:00	主题演讲ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

09:00 6000万主题演讲		Dahl-Nygaard高级奖：进入未知领域的安全之旅-目标能力 ECOOP和ISSTA主题演讲克：索菲亚·德罗索波卢伦敦帝国理工学院媒体已连接

10:00 - 10:30	咖啡休息时间ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

10:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

10:30 - 12:00	ECOOP 4：类型研究论文在Habib教室（Gates G01）主席：乔治·奥德里托都灵大学

10:30 1500万谈话		Python类型提示正在图灵完成研究论文奥里·罗斯以色列理工学院内政部
10:45 1500万谈话		可限制变量：可扩展变量的简单实用替代方案研究论文马格努斯·马德森奥胡斯大学,乔纳森·林德加德·斯塔鲁奥胡斯大学,马修·卢茨奥胡斯大学内政部
11:00 1500万谈话		高阶函数编排的模块化编译研究论文路易斯·克鲁斯·菲利佩南丹麦大学,伊娃·格雷弗森南丹麦大学,洛夫罗·卢戈维奇南丹麦大学,法布里齐奥·蒙特西南丹麦大学,马可·佩雷索蒂南丹麦大学内政部
11:15 1500万谈话		纯粹反思的编程：效果、懒惰和并行的和平共存研究论文马格努斯·马德森奥胡斯大学,雅各·范德波尔奥胡斯大学内政部
11:30 1500万谈话		相关合并和一流环境研究论文金昊滩香港大学,布鲁诺·C·d·S·奥利维拉香港大学内政部
11:45 1500万谈话		通过开放递归的精确类型化实现面向对象的超收费编程研究论文安东范香港科技大学,莱昂内尔·帕罗香港科技大学内政部

12:00 - 13:30	午餐ECOOP和ISSTA餐饮在Zillow Commons（Gates 4楼）

12:00 9000万午餐		午餐 ECOOP和ISSTA餐饮

13:30 - 15:00	ECOOP 5：合成研究论文在Habib教室（Gates G01）主席：卡琳·埃文·蒙多萨伦敦国王学院

13:30 1500万谈话		存储系统的综合辅助崩溃一致性研究论文雅各布·范·格芬Veridise公司。,詹姆斯·博恩霍尔特德克萨斯大学奥斯汀分校,埃米娜·托拉克亚马逊网络服务和华盛顿大学,西王华盛顿大学内政部
13:45 1500万谈话		为代码搜索合成连接查询研究论文王承鹏香港科技大学,姚培森浙江大学,文生堂香港科技大学,帮派（Gang Fan）蚂蚁集团,查尔斯·张香港科技大学内政部
14:00 1500万谈话		Hoogle⋆：使用符号执行的基于Petri网的合成中的常数和λ-抽象研究论文亨利克·博特尔霍·格拉（Henrique Botelho Guerra）里斯本大学INESC-ID和IST,乔·费雷拉里斯本大学INESC-ID和IST,乔·科斯塔·塞科NOVA-LINCS；里斯本诺瓦大学内政部
14:15 1500万谈话		使用程序合成为领域特定语言构建代码转发器研究论文萨希尔·巴蒂亚加州大学伯克利分校,苏梅尔·科利加州大学伯克利分校,桑吉特·塞希亚加州大学伯克利分校,张爱文（Alvin Cheung）加州大学伯克利分校内政部
14:30 1500万谈话		机器学习模型是否生成类型检查的TypeScript类型？研究论文明浩义东北大学,阿琼·古哈东北大学和罗布洛研究所内政部媒体已连接附加的文件
14:45 1500万谈话		符号执行的工具无关摘要研究论文弗雷德里科·拉莫斯高等教育学院,努诺·萨比诺卡内基梅隆大学高等教育学院,佩德罗·阿德诺IST-U里斯本和电信研究所,大卫·诺曼史蒂文斯理工学院,何塞·弗拉戈索·桑托斯INESC-ID/葡萄牙高等教育学院内政部

15:00 - 15:30	咖啡休息时间ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

15:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

15:30 - 17:00	主题演讲–ISSTA’24预览–闭幕ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

15:30 6000万主题演讲		软件工程中的机器学习 ECOOP和ISSTA主题演讲克：萨蒂什·钱德拉元平台
16:30 1500万当日收盘		ISSTA’24预览 ECOOP和ISSTA主题演讲
16:45 1500万当日收盘		ISSTA结束 ECOOP和ISSTA主题演讲

15:30 - 17:00	ECOOP 6：设计研究论文在Habib教室（Gates G01）主席：Shigeru千叶东京大学

15:30 1500万谈话		现代软件文档的兴起研究论文马可·拉格利安蒂卢加诺USI软件研究所,Csaba Nagy公司卢加诺USI软件研究所,罗伯托·米内利卢加诺USI软件研究所,林斌Radboud大学,米歇尔·兰扎卢加诺USI软件研究所内政部
15:45 1500万谈话		莫雷洛之锈：记忆安全，即使是在不安全的代码中研究论文莎拉·哈里斯肯特大学,西蒙·库克西肯特大学,迈克尔·沃尔默肯特大学,马克·巴蒂肯特大学内政部
16:00 1500万谈话		WebAssembly的模块化抽象定义解释器研究论文凯萨琳娜·布兰德JGU美因茨,塞巴斯蒂安·埃德韦格美因茨JGU,斯文·凯德尔德国达姆施塔特大学,尼尔斯·汉森JGU美因茨内政部预打印
16:15 1500万谈话		Sinatra：通过多版本执行为商业浏览器提供状态即时更新研究论文 Ugnius Rumsevicius公司伊利诺大学芝加哥分校,悉登斯·文卡特什瓦兰（Siddhanth Venkateshwaran）伊利诺大学芝加哥分校,埃伦·基丹伊利诺大学芝加哥分校,路易斯·皮纳伊利诺大学芝加哥分校内政部预打印
16:30 1500万谈话		Dolorem模式：通过编译时函数执行增长语言研究论文西蒙·海尼格尔慕尼黑技术大学,纳达·阿明哈佛大学内政部
16:45 1500万谈话		打破负面循环：探索一级数据日志约束的分层设计空间研究论文乔纳森·林德加德·斯塔鲁奥胡斯大学,马格努斯·马德森奥胡斯大学,Ondřej Lhoták滑铁卢大学内政部

	17:30 - 18:30	前台ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

7月21日星期五
显示的时区：太平洋时间（美国和加拿大）改变

08:00 - 08:30	咖啡和清淡早餐ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

08:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

08:30 - 09:00	展望与告别ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

08:30 30米当日收盘		ECOOP：展望与告别 ECOOP和ISSTA主题演讲

09:00 - 10:00	主题演讲ECOOP和ISSTA主题演讲在亚马逊礼堂（盖茨G20）

09:00 6000万主题演讲		Dahl-Nygaard初级奖：我在Scala故事中的角色，以及其他！ ECOOP和ISSTA主题演讲克：希瑟·米勒卡内基梅隆大学和双西格玛媒体已连接

10:00 - 10:30	咖啡休息时间ECOOP和ISSTA餐饮在Microsoft Atrium（艾伦中心）

10:00 30米咖啡休息时间		休息 ECOOP和ISSTA餐饮

10:30 - 12:00	ECOOP 7：验证和测试研究论文在亚马逊礼堂（Gates G20）主席：王文喜德克萨斯大学奥斯汀分校

10:30 1500万谈话		使用VeriFast、VerCors、Plural和KeY检查对象使用情况研究论文乔·莫塔NOVA科技学院,安托尼奥·拉瓦拉NOVA LINCS&FCT，里斯本NOVA大学,马可·朱蒂NOVA-LINCS，FCT NOVA/新里斯本大学内政部
10:45 1500万谈话		精确分离逻辑研究论文彼得·马克西莫维奇英国伦敦帝国理工学院,卡罗琳·克朗贾格波鸿大学,安德烈亚斯·洛夫伦敦帝国理工学院,朱利安·萨瑟兰伦敦帝国理工学院,菲利普·加德纳伦敦帝国理工学院内政部预打印
11:00 1500万谈话		Morpheus：数据相关分析器组合程序的自动安全验证研究论文米沙拉普渡大学,苏雷什·贾甘纳森普渡大学内政部
11:15 1500万谈话		能量采集应用中基于约束的编译器优化研究论文李延南南加州大学,王超（Chao Wang）南加州大学内政部
11:30 1500万谈话		有承诺任务并行程序的动态确定性竞争检测研究论文金飞扬乔治亚理工学院,于乐晨乔治亚理工学院,蒂亚戈·科古姆布雷罗马萨诸塞大学波士顿分校,维维克·萨卡尔乔治亚理工学院,Jun Shirako先生乔治亚理工学院内政部
11:45 1500万谈话		利用测试推断可空注释研究论文延斯·迪特里希惠灵顿维多利亚大学,大卫·J·皮尔斯ConsenSys公司,马欣·昌德拉莫汉Oracle实验室内政部

12:00 - 13:30	午餐ECOOP和ISSTA餐饮在Zillow Commons（Gates 4楼）

12:00 9000万午餐		午餐 ECOOP和ISSTA餐饮

尚未安排

	尚未安排谈话		提示词典：有效的函数序集和映射研究论文阿米尔·谢赫哈爱丁堡大学,马赫迪·戈尔巴尼爱丁堡大学,赫萨姆·沙罗基爱丁堡大学内政部
	尚未安排谈话		一种用于批量计算的高效矢量化哈希表研究论文赫萨姆·沙罗基爱丁堡大学,阿米尔·谢赫哈爱丁堡大学内政部

接受的论文

	标题
	序列和并行程序的一种直接样式效果表示法研究论文戴维·里克特,蒂蒙·伯勒,帕斯卡·魏森伯格,米拉·梅齐尼内政部预打印媒体已连接
	代数复制数据类型：安全的本地第一软件编程研究论文克里斯蒂安·库斯纳,拉格纳尔·莫克,安娜·凯萨琳娜·威克特,米拉·梅齐尼内政部预打印
	一种用于批量计算的高效矢量化哈希表研究论文赫萨姆·沙罗基,阿米尔·谢赫哈内政部
	异步多方会话类型的可实现性是可决定的–从消息序列图中吸取的教训研究论文费利克斯·斯图兹内政部
	不完整教师的自动学习研究论文马克·默勒,托马斯·维纳,阿莱亚·索尔科·布雷斯林,卡勒布·科赫,内特·福斯特,亚历山德拉·席尔瓦内政部
	本地第一个软件的行为类型研究论文罗兰·库恩,赫尔南·梅尔格拉蒂,埃米利奥·托斯托内政部
	打破负面循环：探索一级数据日志约束的分层设计空间研究论文乔纳森·林德加德·斯塔鲁,马格努斯·马德森,Ondřej Lhoták 内政部
	使用程序合成为领域特定语言构建代码转发器研究论文萨希尔·巴蒂亚,苏梅尔·科利,桑吉特·塞希亚,张爱文（Alvin Cheung）内政部
	ConDRust:可验证Rust程序的可扩展确定性并发研究论文费利克斯·苏切特,丽莎·泽德勒,杰罗尼莫·卡斯特里隆,塞巴斯蒂安·埃特尔内政部
	能量采集应用中基于约束的编译器优化研究论文李延南,王超（Chao Wang）内政部
	相关合并和一流环境研究论文金昊滩,布鲁诺·C·d·S·奥利维拉内政部
	设计具有崩溃停止故障的异步多方协议研究论文亚当·D·巴维尔,侯萍（Ping Hou）,吉田信子,周方一内政部预打印
	机器学习模型是否生成类型检查的TypeScript类型？研究论文明浩义,阿琼·古哈内政部媒体已连接附加的文件
	可动态更新的多方会话协议研究论文大卫·卡斯特罗·佩雷斯,吉田信子内政部
	有承诺任务并行程序的动态确定性竞争检测研究论文金飞扬,于乐晨,蒂亚戈·科古姆布雷罗,维维克·萨卡尔,Jun Shirako先生内政部
	精确分离逻辑研究论文彼得·马克西莫维奇,卡罗琳·克朗贾格,安德烈亚斯·洛夫,朱利安·萨瑟兰,菲利帕·加德纳内政部预打印
	提示词典：有效的函数序集和映射研究论文阿米尔·谢赫哈,马赫迪·古尔巴尼,赫萨姆·沙罗基内政部
	Hoogle⋆：使用符号执行的基于Petri网的合成中的常数和λ-抽象研究论文亨利克·博特尔霍·格拉（Henrique Botelho Guerra）,乔·费雷拉,乔·科斯塔·塞科内政部
	用于检测区块链中非确定性的信息流分析研究论文卢卡·奥利维耶里,文森佐·阿塞里,卢卡·内格里尼,法比奥·塔利亚费罗,彼得罗·费拉拉,阿戈斯蒂诺·科尔特斯,福斯托·斯波托内政部
	交互树规范：用于指定支持自动验证的递归有效计算的框架研究论文卢卡斯·西尔弗,埃德温·韦斯特布鲁克,马修·亚卡冯,瑞恩·斯科特内政部
	LoRe：可验证安全的本地首个软件的编程模型研究论文朱利安·哈斯,拉格纳尔·莫克,埃琳娜·亚纳基耶娃,安妮特·比纽萨,米拉·梅齐尼内政部预打印
	WebAssembly的模块化抽象定义解释器研究论文凯萨琳娜·布兰德,塞巴斯蒂安·埃德韦格,斯文·凯德尔,尼尔斯·汉森内政部预打印
	高阶函数编排的模块化编译研究论文路易斯·克鲁斯·菲利佩,伊娃·格雷弗森,洛夫罗·卢戈维奇,法布里奇奥·蒙泰西,马可·佩雷索蒂内政部
	分离逻辑中基于状态的CRDT的模块化验证研究论文阿贝尔·尼托,Arnaud Daby-Seesaram公司,莱昂·冈德尔曼,阿明·提曼尼,拉尔斯·比克达尔内政部
	Morpheus：数据相关分析器组合程序的自动安全验证研究论文米沙拉,苏雷什·贾甘纳森内政部
	多等级轻量级Java 研究论文里卡多·比安奇尼,弗朗西斯科·达尼诺,保拉·贾尼尼,埃琳娜·祖卡内政部
	嵌套的基于纯操作的CRDT 研究论文吉姆·鲍文斯,伊丽莎·冈萨雷斯-博伊克斯内政部
	利用测试推断可空注释研究论文延斯·迪特里希,大卫·J·皮尔斯,马欣·昌德拉莫汉内政部
	现代软件文档的兴起研究论文马可·拉格利安蒂,Csaba Nagy公司,罗伯托·米内利,林斌,米歇尔·兰扎内政部
	使用VeriFast、VerCors、Plural和KeY检查对象使用情况研究论文乔·莫塔,安托尼奥·拉瓦拉,马尔科·朱恩蒂内政部
	纯粹反思的编程：效果、懒惰和并行的和平共存研究论文马格努斯·马德森,雅各布·范德波尔内政部
	Python类型提示正在图灵完成研究论文奥里·罗斯内政部
	可限制变量：可扩展变量的简单实用替代方案研究论文马格努斯·马德森,乔纳森·林德加德·斯塔鲁,马修·卢茨内政部
	Rust for Morello：永远关注内存安全，即使是在不安全的代码中研究论文莎拉·哈里斯,西蒙·库克西,迈克尔·沃尔默,马克·巴蒂内政部
	交互树的无干扰语义研究论文卢卡斯·西尔弗,保罗·何,伊桑·切切蒂,安德鲁·赫希,史蒂夫·兹丹塞维奇内政部
	Sinatra：通过多版本执行为商业浏览器提供状态即时更新研究论文 Ugnius Rumsevicius公司,悉登斯·文卡特什瓦兰（Siddhanth Venkateshwaran）,埃伦·基丹,路易斯·皮纳内政部预打印
	通过开放递归的精确类型化实现面向对象的超收费编程研究论文安东范,莱昂内尔·帕罗内政部
	存储系统的综合辅助崩溃一致性研究论文雅各布·范·格芬,詹姆斯·博恩霍尔特,埃米娜·托拉克,西王内政部
	为代码搜索合成连接查询研究论文王承鹏,姚培森,文生堂,帮派（Gang Fan）,查尔斯·张内政部
	合成行为类型：通过隐式局部类型的声音、常规多方会话研究论文宋世宗,费雷拉内政部
	Dolorem模式：通过编译时函数执行增长语言研究论文西蒙·海尼格尔,纳达·阿明内政部
	符号执行的工具无关摘要研究论文弗雷德里科·拉莫斯,努诺·萨比诺,佩德罗·阿德诺,戴维·诺曼,何塞·弗拉戈索·桑托斯内政部
	VeriFx：纠正海量的复制数据类型研究论文凯文·德·波尔,卡拉·费雷拉,伊丽莎·冈萨雷斯-博伊克斯内政部
	布线电路很容易{0，1，ω}，还是… 研究论文 Jan de Muijnck-Hughes公司,维姆·范德鲍维德内政部

文件征集

ECOOP公司是一个关于编程的会议，最初专注于面向对象，但现在包括了对编程语言、系统和环境的所有实践和理论研究。ECOOP寻求对实际问题的创新解决方案以及对现有解决方案的评估。

要求作者选择以下类别之一：

研究。这是最传统的一类论文，可以提高技术水平。
复制。一种实证评估，在不同的背景下重新构建已发表的实验，以验证早期工作的结果。
经验。已知PL技术在实践中的应用以及工具。行业论文将由从业者审查。我们欢迎可能为未来研究提供灵感的负面结果。
珍珠/勇敢的新想法。以优雅的方式解释已知想法的文章，或介绍可能需要一些时间来证实的想法的非传统论文。这些文件可能很短。

提交文件

提交的文件不得发表，或与之前的工作有重大重叠。如有疑问，请联系主席。论文集由Dagstuhl LIPIcs在Dagstuhl LIPIcs LaTeX风格模板。为了减少重新提交时的摩擦，ACM的PACMPL和TOPLAS格式的论文可以这样提交（如果接受，将重新格式化）。

ECOOP使用双重匿名审查。只有当论文被接受时，作者的身份才会被披露。论文必须省略作者姓名和机构，并在引用作者自己的作品时使用第三人称。任何事情都不应以匿名的名义进行，以免削弱提交；请参阅常见问题解答。如果有疑问，请联系椅子。

提交没有页数限制，但作者必须明白，审稿人对每篇论文都有固定的时间预算，因此反馈的长度可能不受长度的影响。简洁是一种美德。作者还必须考虑到，相机读取版本必须是25页LIPIcs格式（不包括参考）。

在项目委员会会议之前，作者将有三天的时间阅读并回复他们的论文评论。响应没有长度限制。

ECOOP将继续有两个提交截止日期。每轮提交的论文可以（a）接受，（b）拒绝，或（c）要求修改。提交给下一轮会议的被拒论文，如果与上一次提交的文件没有足够的差异，则可能被桌面拒绝。修订可以在以后的任何一轮提交。论文在修订期间保留审稿人。

工件评估和意图

为了支持实验的复制，研究论文的作者可以向人工制品评估委员会提交人工制品。他们将被问及是否打算在提交时提交工件。据了解，有些纸张没有人工制品。AEC成员将在扩展审查委员会任职。

日记帐在前，日记帐在后

我们与ACM的《编程语言与系统汇刊》（TOPLAS）、爱思唯尔的《计算机编程科学》（SCP）和AITO的《对象技术杂志》（JOT）签订了期刊优先/优先安排。

只有新的研究论文才有资格成为Journal First（JF）。JF文件将在ECOOP程序中有一个扩展摘要。截止日期与第一轮提交相同，通知与第二轮通知一致。应根据本公告提交TOPLAS JF论文。SCP JF论文应遵循此论文征集要求。JF论文在会议上提交，有资格获得奖项。

Journal After（JA）论文是作者要求考虑在会后发表的论文。一旦被ECOOP PC接受，这些论文将转发给期刊编辑。评论和审稿人将由编辑酌情转发和使用。JA论文将在会议记录中有一个扩展摘要（最多12页）。

	尚未安排谈话		提示词典：有效的函数序集和映射研究论文阿米尔·谢赫哈爱丁堡大学,马赫迪·戈尔巴尼爱丁堡大学,赫萨姆·沙罗基爱丁堡大学内政部
	尚未安排谈话		一种用于批量计算的高效矢量化哈希表研究论文赫萨姆·沙罗基爱丁堡大学,阿米尔·谢赫哈爱丁堡大学内政部

	标题
	序列和并行程序的一种直接样式效果表示法研究论文戴维·里克特,蒂蒙·伯勒,帕斯卡·魏森伯格,米拉·梅齐尼内政部预打印媒体已连接
	代数复制数据类型：安全的本地第一软件编程研究论文克里斯蒂安·库斯纳,拉格纳尔·莫克,安娜·凯萨琳娜·威克特,米拉·梅齐尼内政部预打印
	一种用于批量计算的高效矢量化哈希表研究论文赫萨姆·沙罗基,阿米尔·谢赫哈内政部
	异步多方会话类型的可实现性是可决定的–从消息序列图中吸取的教训研究论文费利克斯·斯图兹内政部
	不完整教师的自动学习研究论文马克·默勒,托马斯·维纳,阿莱亚·索尔科·布雷斯林,卡勒布·科赫,内特·福斯特,亚历山德拉·席尔瓦内政部
	本地第一个软件的行为类型研究论文罗兰·库恩,赫尔南·梅尔格拉蒂,埃米利奥·托斯托内政部
	打破负面循环：探索一级数据日志约束的分层设计空间研究论文乔纳森·林德加德·斯塔鲁,马格努斯·马德森,Ondřej Lhoták 内政部
	使用程序合成为领域特定语言构建代码转发器研究论文萨希尔·巴蒂亚,苏梅尔·科利,桑吉特·塞希亚,张爱文（Alvin Cheung）内政部
	ConDRust:可验证Rust程序的可扩展确定性并发研究论文费利克斯·苏切特,丽莎·泽德勒,杰罗尼莫·卡斯特里隆,塞巴斯蒂安·埃特尔内政部
	能量采集应用中基于约束的编译器优化研究论文李延南,王超（Chao Wang）内政部
	相关合并和一流环境研究论文金昊滩,布鲁诺·C·d·S·奥利维拉内政部
	设计具有崩溃停止故障的异步多方协议研究论文亚当·D·巴维尔,侯萍（Ping Hou）,吉田信子,周方一内政部预打印
	机器学习模型是否生成类型检查的TypeScript类型？研究论文明浩义,阿琼·古哈内政部媒体已连接附加的文件
	可动态更新的多方会话协议研究论文大卫·卡斯特罗·佩雷斯,吉田信子内政部
	有承诺任务并行程序的动态确定性竞争检测研究论文金飞扬,于乐晨,蒂亚戈·科古姆布雷罗,维维克·萨卡尔,Jun Shirako先生内政部
	精确分离逻辑研究论文彼得·马克西莫维奇,卡罗琳·克朗贾格,安德烈亚斯·洛夫,朱利安·萨瑟兰,菲利帕·加德纳内政部预打印
	提示词典：有效的函数序集和映射研究论文阿米尔·谢赫哈,马赫迪·古尔巴尼,赫萨姆·沙罗基内政部
	Hoogle⋆：使用符号执行的基于Petri网的合成中的常数和λ-抽象研究论文亨利克·博特尔霍·格拉（Henrique Botelho Guerra）,乔·费雷拉,乔·科斯塔·塞科内政部
	用于检测区块链中非确定性的信息流分析研究论文卢卡·奥利维耶里,文森佐·阿塞里,卢卡·内格里尼,法比奥·塔利亚费罗,彼得罗·费拉拉,阿戈斯蒂诺·科尔特斯,福斯托·斯波托内政部
	交互树规范：用于指定支持自动验证的递归有效计算的框架研究论文卢卡斯·西尔弗,埃德温·韦斯特布鲁克,马修·亚卡冯,瑞恩·斯科特内政部
	LoRe：可验证安全的本地首个软件的编程模型研究论文朱利安·哈斯,拉格纳尔·莫克,埃琳娜·亚纳基耶娃,安妮特·比纽萨,米拉·梅齐尼内政部预打印
	WebAssembly的模块化抽象定义解释器研究论文凯萨琳娜·布兰德,塞巴斯蒂安·埃德韦格,斯文·凯德尔,尼尔斯·汉森内政部预打印
	高阶函数编排的模块化编译研究论文路易斯·克鲁斯·菲利佩,伊娃·格雷弗森,洛夫罗·卢戈维奇,法布里奇奥·蒙泰西,马可·佩雷索蒂内政部
	分离逻辑中基于状态的CRDT的模块化验证研究论文阿贝尔·尼托,Arnaud Daby-Seesaram公司,莱昂·冈德尔曼,阿明·提曼尼,拉尔斯·比克达尔内政部
	Morpheus：数据相关分析器组合程序的自动安全验证研究论文米沙拉,苏雷什·贾甘纳森内政部
	多等级轻量级Java 研究论文里卡多·比安奇尼,弗朗西斯科·达尼诺,保拉·贾尼尼,埃琳娜·祖卡内政部
	嵌套的基于纯操作的CRDT 研究论文吉姆·鲍文斯,伊丽莎·冈萨雷斯-博伊克斯内政部
	利用测试推断可空注释研究论文延斯·迪特里希,大卫·J·皮尔斯,马欣·昌德拉莫汉内政部
	现代软件文档的兴起研究论文马可·拉格利安蒂,Csaba Nagy公司,罗伯托·米内利,林斌,米歇尔·兰扎内政部
	使用VeriFast、VerCors、Plural和KeY检查对象使用情况研究论文乔·莫塔,安托尼奥·拉瓦拉,马尔科·朱恩蒂内政部
	纯粹反思的编程：效果、懒惰和并行的和平共存研究论文马格努斯·马德森,雅各布·范德波尔内政部
	Python类型提示正在图灵完成研究论文奥里·罗斯内政部
	可限制变量：可扩展变量的简单实用替代方案研究论文马格努斯·马德森,乔纳森·林德加德·斯塔鲁,马修·卢茨内政部
	Rust for Morello：永远关注内存安全，即使是在不安全的代码中研究论文莎拉·哈里斯,西蒙·库克西,迈克尔·沃尔默,马克·巴蒂内政部
	交互树的无干扰语义研究论文卢卡斯·西尔弗,保罗·何,伊桑·切切蒂,安德鲁·赫希,史蒂夫·兹丹塞维奇内政部
	Sinatra：通过多版本执行为商业浏览器提供状态即时更新研究论文 Ugnius Rumsevicius公司,悉登斯·文卡特什瓦兰（Siddhanth Venkateshwaran）,埃伦·基丹,路易斯·皮纳内政部预打印
	通过开放递归的精确类型化实现面向对象的超收费编程研究论文安东范,莱昂内尔·帕罗内政部
	存储系统的综合辅助崩溃一致性研究论文雅各布·范·格芬,詹姆斯·博恩霍尔特,埃米娜·托拉克,西王内政部
	为代码搜索合成连接查询研究论文王承鹏,姚培森,文生堂,帮派（Gang Fan）,查尔斯·张内政部
	合成行为类型：通过隐式局部类型的声音、常规多方会话研究论文宋世宗,费雷拉内政部
	Dolorem模式：通过编译时函数执行增长语言研究论文西蒙·海尼格尔,纳达·阿明内政部
	符号执行的工具无关摘要研究论文弗雷德里科·拉莫斯,努诺·萨比诺,佩德罗·阿德诺,戴维·诺曼,何塞·弗拉戈索·桑托斯内政部
	VeriFx：纠正海量的复制数据类型研究论文凯文·德·波尔,卡拉·费雷拉,伊丽莎·冈萨雷斯-博伊克斯内政部
	布线电路很容易{0，1，ω}，还是… 研究论文 Jan de Muijnck-Hughes公司,维姆·范德鲍维德内政部

研究论文ECOOP 2023年

程序显示配置

7月19日星期三显示的时区：太平洋时间（美国和加拿大） 改变

7月20日星期四显示的时区：太平洋时间（美国和加拿大） 改变

7月21日星期五显示的时区：太平洋时间（美国和加拿大） 改变

尚未安排

接受的论文

文件征集

提交文件

工件评估和意图

日记帐在前，日记帐在后

卡里姆·阿里程序Co-Chair

阿尔伯塔大学

吉多·萨尔瓦内奇程序Co-Chair

圣加仑大学

瑞士

本·赫尔曼复制区椅子

多特蒙德工业大学

德国

赛勒斯·奥马尔Pearls/Brave New Ideas专区主席

密歇根大学

美国

艾玛·索德伯格体验区主席

隆德大学

瑞典

古尔·阿加PC成员

美国伊利诺伊大学香槟分校

利雅得-巴格达迪PC成员

大学阿布扎比

阿拉伯联合酋长国

千叶茂PC成员

东京大学

日本

安德鲁·克莱克PC成员

Chronosoft公司

澳大利亚

沃尔夫冈·德梅特PC成员

布鲁塞尔Vrije大学

比利时

阿拉斯泰尔·唐纳森PC成员

伦敦帝国理工学院

大不列颠联合王国

西蒙·盖伊PC成员

英国格拉斯哥大学

大不列颠联合王国

杰里米·吉本斯PC成员

牛津大学计算机科学系

大不列颠联合王国

托尼·霍斯金PC成员

澳大利亚国立大学

澳大利亚

Atsushi Igarashi先生PC成员

京都大学

日本

米凯尔·卢扬PC成员

曼彻斯特大学

大不列颠联合王国

安娜·米拉诺娃PC成员

伦斯勒理工学院

安德斯·默勒PC成员

奥胡斯大学

丹麦

克劳斯·奥斯特曼PC成员

杜宾根大学

德国

托马斯·彼得里切克PC成员

查尔斯大学

捷克

亚历克斯·波塔宁PC成员

澳大利亚国立大学

澳大利亚

汤姆·施里杰弗斯PC成员

KU鲁汶

比利时

曼纽尔·塞拉诺PC成员

Inria；科特迪瓦大学

法国

Sotiropoulos臭鼬PC成员

苏黎世联邦理工大学

瑞士

7月19日星期三
显示的时区：太平洋时间（美国和加拿大）改变

7月20日星期四
显示的时区：太平洋时间（美国和加拿大）改变

7月21日星期五
显示的时区：太平洋时间（美国和加拿大）改变