SPLASH 2022-V-OOPSLA-SPLASH2022

今年，我们将有一个虚拟的OOPSLA跟踪，为作者提供一个机会，让他们不用去新西兰就可以展示自己的作品。虚拟活动将于11月29日和30日（大多数时区）举行。

时区

程序当前显示在（GMT+13:00）奥克兰，惠灵顿.

使用会议时区：（GMT+13:00）奥克兰，惠灵顿选择其他时区

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

时间段

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

显示完整程序指定时间段

保存

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

11月30日星期三
显示的时区：威灵顿奥克兰改变

04:00 - 05:30	第1部分V-OOPSLA公司在虚拟空中会议室主席：阿迈勒美国东北大学,扬·维泰克东北大学

04:00 1500万谈话		通用Go to Go：字典分类、单形化和混合预先录制 V-OOPSLA公司史蒂芬·埃利斯伦敦帝国理工学院,朱硕飞宾夕法尼亚州立大学,吉田信子牛津大学,林海松宾夕法尼亚州立大学内政部
04:15 1500万研究论文		基于联合IR-pass变异的覆盖导引张量编译模糊预先录制 V-OOPSLA公司刘佳伟伊利诺伊大学香槟分校,魏玉祥同济大学,杨森复旦大学,邓银林伊利诺伊大学香槟分校,张玲明伊利诺伊大学香槟分校内政部
04:30 1500万谈话		分离逻辑中基于运算的CRDT的模块化验证 V-OOPSLA公司阿贝尔·尼托奥胡斯大学,莱昂·冈德尔曼奥胡斯大学,阿尔班·雷纳德里昂高等师范学院,阿明·蒂曼尼奥胡斯大学,拉尔斯·比克达尔奥胡斯大学内政部
04:45 1500万谈话		依赖分析的单声道和共声道方面 V-OOPSLA公司普里塔姆·乔杜里宾夕法尼亚大学内政部
05:00 3000万现场问答		第1课时问答 V-OOPSLA公司

21:00 - 22:45	第2部分V-OOPSLA公司在虚拟空中会议室主席：索菲亚·德罗索波卢伦敦帝国理工学院

21:00 1500万谈话		缓和传递冗余以实现无上下文语言的可达性预先录制 V-OOPSLA公司雷玉祥悉尼理工大学,隋玉雷悉尼新南威尔士大学,朔丁乔治亚理工学院,张启润乔治亚理工学院内政部
21:15 1500万谈话		基于Farkas引理的可伸缩线性不变量生成 V-OOPSLA公司刘洪明上海交通大学,傅鸿飞上海交通大学,智勇余上海交通大学,宋嘉欣上海交通大学,李国强上海交通大学内政部
21:30 1500万谈话		并发程序验证SMT求解的一致性保持传播预先录制 V-OOPSLA公司孙志航清华大学,洪宇凡清华大学,飞鹤清华大学内政部
21:45 1500万谈话		浮点程序的无口腔修复合成预先录制 V-OOPSLA公司邹大明苏黎世ETH,顾宇晨北京大学,石元丰北京大学,王明哲普林斯顿大学,熊英飞北京大学,苏振东苏黎世ETH 内政部
22:00 1500万谈话		低代码公式语言的神经符号修复 V-OOPSLA公司罗汉·巴维什加州大学伯克利分校,哈拉希·乔希微软,何塞·巴勃罗·坎布罗内罗微软,安娜·法里哈微软,苏米特·古尔瓦尼微软,武乐微软,伊万·拉迪切克微软,阿什什·蒂瓦里微软内政部
22:15 3000万现场问答		第2课时问答 V-OOPSLA公司

12月1日星期四
显示的时区：威灵顿奥克兰改变

01:00 - 02:30	第3部分V-OOPSLA公司在虚拟空中会议室主席：Atsushi Igarashi先生京都大学

01:00 1500万研究论文		SHARP：Java快速增量上下文敏感指针分析预先录制 V-OOPSLA公司刘伯珍美国德克萨斯农工大学,黄立成德克萨斯农工大学内政部
01:15 1500万谈话		关于分布式可重构系统的推理 V-OOPSLA公司艾玛·阿伦斯RWTH亚琛大学,马吕斯·博兹加CNRS；格勒诺布尔阿尔卑斯大学,半径IosifCNRS；格勒诺布尔阿尔卑斯大学,Joost-Pieter Katoen公司RWTH亚琛大学内政部
01:30 1500万谈话		基于自然语言查询的可视化类型定向合成 V-OOPSLA公司 Jocelyn（乔楚）Chen德克萨斯大学奥斯汀分校,Shankra Pailoor公司德克萨斯大学奥斯汀分校,塞莱斯特·巴纳比德克萨斯大学奥斯汀分校,艾比·克里斯维尔德克萨斯大学奥斯汀分校,王成龙微软研究院,格雷格·杜雷特德克萨斯大学奥斯汀分校,伊森·迪利格德克萨斯大学奥斯汀分校内政部
01:45 1500万谈话		多执行内存模型的模型检查 V-OOPSLA公司叶夫根尼·莫申科JetBrains研究,米查利斯·科科洛吉安纳基斯MPI-SWS公司,维克托·瓦菲亚迪斯MPI-SWS公司内政部
02:00 3000万现场问答		第3课时问答 V-OOPSLA公司

接受的论文

	标题
	并发程序验证SMT求解的一致性保持传播预先录制 V-OOPSLA公司孙志航,洪宇凡,飞鹤内政部
	基于联合IR-pass变异的覆盖导引张量编译模糊预先录制 V-OOPSLA公司刘佳伟,魏玉祥,杨森（Sen Yang）,邓银林,张玲明内政部
	通用Go to Go：字典分类、单形化和混合预先录制 V-OOPSLA公司史蒂芬·埃利斯,朱硕飞,吉田信子,林海松内政部
	多执行内存模型的模型检查 V-OOPSLA公司叶夫根尼·莫申科,米查利斯·科科洛吉安纳基斯,维克托·瓦菲亚迪斯内政部
	分离逻辑中基于运算的CRDT的模块化验证 V-OOPSLA公司阿贝尔·尼托,莱昂·贡德尔曼,阿尔班·雷纳德,阿明·蒂曼尼,拉尔斯·比克达尔内政部
	依赖性分析的单声道和共鸣道方面 V-OOPSLA公司普里塔姆·乔杜里内政部
	低代码公式语言的神经符号修复 V-OOPSLA公司罗汉·巴维什,哈拉希·乔希,何塞·巴勃罗·坎布罗内罗,安娜·法里哈,苏米特·古尔瓦尼,武乐,伊万·拉迪切克,阿什什·蒂瓦里内政部
	浮点程序的无口腔修复合成预先录制 V-OOPSLA公司邹大明,顾宇晨,石元丰,王明哲,熊英飞,苏振东内政部
	分布式可重构系统的推理 V-OOPSLA公司艾玛·阿伦斯,马吕斯·博兹加,半径Iosif,Joost-Pieter Katoen公司内政部
	基于Farkas引理的可伸缩线性不变量生成 V-OOPSLA公司刘洪明,傅鸿飞,智勇余,宋嘉欣,李国强内政部
	SHARP：Java快速增量上下文敏感指针分析预先录制 V-OOPSLA公司刘伯珍,黄立成内政部
	缓和传递冗余以实现无上下文语言的可达性预先录制 V-OOPSLA公司雷玉祥,隋玉雷,朔丁,张启润内政部
	基于自然语言查询的可视化类型定向合成 V-OOPSLA公司 Jocelyn（乔楚）Chen,Shankra Pailoor公司,塞莱斯特·巴纳比,艾比·克里斯维尔,王成龙,格雷格·杜雷特,伊森·迪利格内政部

	标题
	并发程序验证SMT求解的一致性保持传播预先录制 V-OOPSLA公司孙志航,洪宇凡,飞鹤内政部
	基于联合IR-pass变异的覆盖导引张量编译模糊预先录制 V-OOPSLA公司刘佳伟,魏玉祥,杨森（Sen Yang）,邓银林,张玲明内政部
	通用Go to Go：字典分类、单形化和混合预先录制 V-OOPSLA公司史蒂芬·埃利斯,朱硕飞,吉田信子,林海松内政部
	多执行内存模型的模型检查 V-OOPSLA公司叶夫根尼·莫申科,米查利斯·科科洛吉安纳基斯,维克托·瓦菲亚迪斯内政部
	分离逻辑中基于运算的CRDT的模块化验证 V-OOPSLA公司阿贝尔·尼托,莱昂·贡德尔曼,阿尔班·雷纳德,阿明·蒂曼尼,拉尔斯·比克达尔内政部
	依赖性分析的单声道和共鸣道方面 V-OOPSLA公司普里塔姆·乔杜里内政部
	低代码公式语言的神经符号修复 V-OOPSLA公司罗汉·巴维什,哈拉希·乔希,何塞·巴勃罗·坎布罗内罗,安娜·法里哈,苏米特·古尔瓦尼,武乐,伊万·拉迪切克,阿什什·蒂瓦里内政部
	浮点程序的无口腔修复合成预先录制 V-OOPSLA公司邹大明,顾宇晨,石元丰,王明哲,熊英飞,苏振东内政部
	分布式可重构系统的推理 V-OOPSLA公司艾玛·阿伦斯,马吕斯·博兹加,半径Iosif,Joost-Pieter Katoen公司内政部
	基于Farkas引理的可伸缩线性不变量生成 V-OOPSLA公司刘洪明,傅鸿飞,智勇余,宋嘉欣,李国强内政部
	SHARP：Java快速增量上下文敏感指针分析预先录制 V-OOPSLA公司刘伯珍,黄立成内政部
	缓和传递冗余以实现无上下文语言的可达性预先录制 V-OOPSLA公司雷玉祥,隋玉雷,朔丁,张启润内政部
	基于自然语言查询的可视化类型定向合成 V-OOPSLA公司 Jocelyn（乔楚）Chen,Shankra Pailoor公司,塞莱斯特·巴纳比,艾比·克里斯维尔,王成龙,格雷格·杜雷特,伊森·迪利格内政部

V-OOPSLA公司飞溅2022

11月30日星期三
显示的时区：威灵顿奥克兰改变

12月1日星期四
显示的时区：威灵顿奥克兰改变

接受的论文

曲目

联合主办的会议

研讨会

V-OOPSLA公司飞溅2022

程序显示配置

11月30日星期三显示的时区：威灵顿奥克兰 改变

12月1日星期四显示的时区：威灵顿奥克兰 改变

接受的论文

11月30日星期三
显示的时区：威灵顿奥克兰改变

12月1日星期四
显示的时区：威灵顿奥克兰改变