SPLASH 2022-主题演讲-SPLASH2022

SPLASH 2022以该领域公认专家的主题演讲为特色。今年我们很荣幸有以下四位亲自将前往奥克兰进行激动人心的演讲的主讲人：

主题演讲

	标题
	（我无法拒绝）验证主题演讲主题演讲克：Atsushi Igarashi先生内政部
	使用模式语言提高创造性实践的质量主题演讲主题演讲克：塔卡希·伊巴内政部
	神话和神话概念：作为一门编程语言意味着什么？主题演讲主题演讲克：玛丽·肖内政部
	2022年的调试状态主题演讲谷歌支持主题演讲克：罗伯特·奥卡拉汉内政部

时区

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

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

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

时间段

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

显示完整程序指定时间段

保存

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

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

09:00 - 10:00	SPLASH主题演讲主题演讲在AMRF礼堂主席：罗伯特·比德尔卡尔顿大学

09:00 6000万主题演讲		神话和神话概念：作为一门编程语言意味着什么？主题演讲主题演讲克：玛丽·肖卡内基梅隆大学内政部

10:00 - 10:30	咖啡休息时间餐饮和社交活动在餐饮区

10:00 3000万咖啡休息时间		咖啡休息时间餐饮和社交活动

10:30 - 12:00	运行时OOPSLA公司在AMRF礼堂主席：斯特凡·马尔肯特大学

10:30 3000万谈话		一种用于WebAssembly的快速就地解释器 OOPSLA公司本·L·蒂泽卡内基梅隆大学内政部
11:00 3000万谈话		减少浏览器内存使用的最佳堆限制 OOPSLA公司雾雨魔理沙犹他大学,普拉纳夫·谢诺伊犹他大学,帕维尔·潘切卡犹他大学内政部
11:30 3000万谈话		未走的路：探索编译器错过的基于别名分析的优化 OOPSLA公司 Khushboo Chitre公司IIIT德里,皮尤斯·凯迪亚IIIT德里,Rahul Purandare公司IIIT德里内政部

10:30 - 12:00	合成IOOPSLA公司在演讲厅2 主席：Hakjoo噢韩国大学

10:30 3000万研究论文		复杂度引导的容器替换合成 OOPSLA公司王承鹏香港科技大学,姚培森香港科技大学,文生堂香港科技大学,青凯石蚂蚁集团,查尔斯·张香港科技大学内政部
11:00 3000万谈话		Katara：通过验证提升合成CRDT OOPSLA公司沙达吉·拉达德加州大学伯克利分校,Conor Power公司加州大学伯克利分校,米兰梅加州大学伯克利分校,张爱文（Alvin Cheung）加州大学伯克利分校,约瑟夫·海勒斯坦加州大学伯克利分校内政部
11:30 3000万谈话		基于有效库的规范引导的组件合成 OOPSLA公司米沙拉普渡大学,苏雷什·贾甘纳森普渡大学内政部

10:30 - 12:00	保证OOPSLA公司在研讨会室G007 主席：阿迈勒美国东北大学

10:30 3000万研究论文		由3c检查C OOPSLA公司 Aravind机械普渡大学,约翰·卡斯特纳亚马逊,马特·麦库琴 ,亚伦·艾琳亚马逊,凯尔·海德利亚马逊,米查尔·希克斯亚马逊内政部
11:00 3000万谈话		Solo：差异隐私的轻量级静态分析 OOPSLA公司奇克·阿布哈佛蒙特大学,大卫·达赖加洛瓦,约瑟夫·P·奈尔佛蒙特大学内政部
11:30 3000万谈话		MLstruct：结构类型布尔代数中的主类型推理 OOPSLA公司莱昂内尔·帕罗香港科技大学,Chun Yin Chau村香港科技大学内政部预打印媒体已连接附加的文件

12:00 - 13:30	午餐餐饮和社交活动在餐饮区

12:00 9000万午餐		午餐餐饮和社交活动

14:00 - 15:00	SPLASH主题演讲主题演讲在AMRF礼堂主席：乔纳森·奥尔德里奇卡内基梅隆大学

14:00 6000万主题演讲		2022年的调试状态主题演讲谷歌支持主题演讲克：罗伯特·奥卡拉汉谷歌研究内政部

15:00 - 15:30	咖啡休息时间餐饮和社交活动在餐饮区

15:00 3000万咖啡休息时间		咖啡休息时间餐饮和社交活动

15:30 - 17:00	类型OOPSLA公司在AMRF礼堂主席：钟绍耶鲁大学

15:30 3000万谈话		一组会话：基于信道的并发中的一组蕴涵的命题-会话解释 OOPSLA公司丹尼尔·弗鲁明格罗宁根大学,伊曼纽尔·德奥斯瓦尔多MPI-SWS公司,巴斯·范登·胡维尔格罗宁根大学,豪尔赫·佩雷斯格罗宁根大学内政部预打印
16:00 3000万谈话		DOT案例：模式匹配和GADT-Style推理对象的理论基础 OOPSLA公司 Aleksander Boruch-Gruszecki公司EPFL公司,拉多斯·瓦希科华沙大学,徐宜晨北京邮电大学,莱昂内尔·帕罗香港科技大学内政部
16:30 3000万谈话		共享和突变的协同效应 OOPSLA公司里卡多·比安奇尼热那亚大学,弗朗西斯科·达尼诺热那亚大学,保拉·贾尼尼东皮埃蒙特大学,埃琳娜·祖卡热那亚大学,马可·塞韦托惠灵顿维多利亚大学内政部

15:30 - 17:00	编译OOPSLA公司在演讲厅2 主席：斯特凡·马尔肯特大学

15:30 3000万谈话		动态稀疏张量代数的编译 OOPSLA公司史提芬周麻省理工学院,萨曼·阿马拉辛格麻省理工学院内政部
16:00 3000万谈话		免费增量类型检查：使用范围图派生增量类型检查 OOPSLA公司 Aron Zwaan公司代尔夫特理工大学,亨德里克·范安特卫彭代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学内政部
16:30 3000万谈话		UniRec：一个用于嵌套递归和循环的类单模块框架 OOPSLA公司基尔沙丹·桑达拉哈赫普渡大学,Charitha Saumya公司普渡大学,米林·库尔卡尼普渡大学内政部

15:30 - 17:00	验证OOPSLA公司在研讨会室G007 主席：多米尼克·德弗里斯KU鲁汶

15:30 3000万谈话		检查非标准语言中的等价性 OOPSLA公司约翰·C·科勒萨尔耶鲁大学,鲁齐卡·皮斯卡耶鲁大学,威廉·哈拉汉耶鲁大学内政部
16:00 3000万谈话		稳健性必要规范 OOPSLA公司朱利安·麦凯惠灵顿维多利亚大学,苏珊·艾森巴赫伦敦帝国理工学院,詹姆斯·诺布尔研究与编程,索菲亚·德罗索波卢伦敦帝国理工学院内政部
16:30 3000万研究论文		定量最强帖子：关于定量信息流的推理演算 OOPSLA公司张林鹏伦敦大学学院,本杰明·卢西安·卡明斯基萨尔大学和伦敦大学学院内政部

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

09:00 - 10:00	SPLASH主题演讲主题演讲在AMRF礼堂主席：杰里米·辛格格拉斯哥大学

09:00 6000万主题演讲		使用模式语言提高创造性实践的质量主题演讲主题演讲克：塔卡希·伊巴庆应义塾大学内政部

10:00 - 10:30	咖啡休息时间餐饮和社交活动在餐饮区

10:00 3000万咖啡休息时间		咖啡休息时间餐饮和社交活动

10:30 - 12:00	块链OOPSLA公司在AMRF礼堂主席：钟绍耶鲁大学

10:30 3000万谈话		实体智能合约中的内联装配研究 OOPSLA公司斯特凡诺斯·查利亚索斯伦敦帝国理工学院,亚瑟·杰维斯伦敦帝国理工学院,本·利夫希茨伦敦帝国理工学院内政部
11:00 3000万研究论文		Elipmoc：以太坊智能合约的高级反编译 OOPSLA公司内维尔·格雷奇马耳他大学,西菲斯·拉古瓦尔多斯雅典大学,伊利亚斯·萨提利斯雅典大学,亚尼斯·斯马拉格达基斯雅典大学内政部
11:30 3000万谈话		SigVM：为真正分散的智能合约实现事件驱动执行 OOPSLA公司赵紫涵多伦多大学,西迪·穆罕默德·贝拉希多伦多大学,瑞安·宋多伦多大学,蔡玉玺多伦多大学,安德烈亚斯·维尼里斯多伦多大学,风扇长多伦多大学内政部

10:30 - 12:00	合成IIOOPSLA公司在演讲厅2 主席：洛里斯·德安东尼威斯康星大学麦迪逊分校

10:30 3000万谈话		基于属性引导综合的神经体系结构搜索 OOPSLA公司查尔斯·金麻省理工学院,Phitchaya Mangpo Phothilimthana公司谷歌研究,苏迪普·罗伊相干.ai 内政部
11:00 3000万谈话		利用逻辑学习综合公理化 OOPSLA公司保罗·克罗格迈尔伊利诺伊大学香槟分校,林正耀卡内基梅隆大学,阿迪蒂亚·穆拉利伊利诺伊大学香槟分校,P.马都苏丹伊利诺伊大学香槟分校内政部
11:30 3000万研究论文		为隐式监控器合成细粒度同步协议 OOPSLA公司科斯塔斯·费尔斯Veridise公司。,本杰明·塞潘斯基德克萨斯大学奥斯汀分校,拉胡尔·克里希南威斯康星大学麦迪逊分校,詹姆斯·博恩霍尔特德克萨斯大学奥斯汀分校,伊森·迪利格德克萨斯大学奥斯汀分校内政部

10:30 - 12:00	语义和安全OOPSLA公司在研讨会室G007 主席：德里克·德雷尔MPI-SWS公司

10:30 3000万研究论文		Le Temps des Cerise:使用定向功能的高性能机器上的高效临时堆栈安全 OOPSLA公司艾娜·林恩·乔治斯奥胡斯大学,Alix Trieu公司ANSSI公司,拉尔斯·比克达尔奥胡斯大学内政部
11:00 3000万研究论文		渐进参数的合理密封 OOPSLA公司伊丽莎白·拉布拉达智利大学,马蒂亚斯·托罗智利大学,埃里克·坦特智利大学,多米尼克·德弗里斯KU鲁汶内政部
11:30 3000万研究论文		ST单子体的纯度：通过语义类型的回译实现完全抽象 OOPSLA公司科恩·雅各布斯KU鲁汶,多米尼克·德弗里斯KU鲁汶,阿明·蒂曼尼奥胡斯大学内政部

13:30 - 15:00	逻辑与验证IOOPSLA公司在AMRF礼堂主席：本杰明·卢西安·卡明斯基萨尔大学和伦敦大学学院

13:30 3000万研究论文		在逻辑错误的大程序中发现真正的错误 OOPSLA公司广乐路伦敦大学学院,杜鹃花伦敦帝国理工学院,朱尔斯·维拉德元,乔什·贝丁元,德里克·德雷尔MPI-SWS公司,彼得·W·奥赫恩元；伦敦大学学院内政部
14:00 3000万谈话		无界分离逻辑中的分数资源 OOPSLA公司蒂鲍特·达迪尼尔苏黎世ETH,彼得·米勒苏黎世ETH,亚历山大·萨默斯不列颠哥伦比亚大学内政部
14:30 3000万谈话		组合证明超安全 OOPSLA公司伊曼纽尔·德奥斯瓦尔多MPI-SWS公司,阿扎德·法尔赞多伦多大学,德里克·德雷尔MPI-SWS公司内政部预打印

13:30 - 15:00	量子OOPSLA公司在演讲厅2 主席：扬·维泰克东北大学

13:30 3000万研究论文		量子计算平台中的缺陷：一项实证研究 OOPSLA公司马特奥·帕尔滕吉德国斯图加特大学,迈克尔·普拉德尔斯图加特大学内政部
14:00 3000万谈话		塔：量子叠加中的数据结构 OOPSLA公司查尔斯·袁麻省理工学院,迈克尔·卡宾麻省理工学院内政部
14:30 3000万谈话		量子预言的验证编译 OOPSLA公司李丽怡马里兰大学,芬兰·沃伊奇克马里兰大学,科莎·希塔拉马里兰大学,彭玉祥马里兰大学,吴晓迪马里兰大学,迈克尔·希克斯马里兰大学；亚马逊内政部

13:30 - 14:30	调试OOPSLA公司在研讨会室G007 主席：内维尔·格雷奇马耳他大学

13:30 3000万谈话		AnICA：分析微体系结构代码分析器中的不一致性 OOPSLA公司费比安·里特德国萨尔大学,塞巴斯蒂安·哈克德国萨尔大学内政部
14:00 3000万谈话		Seq2Parse：神经符号分析错误修复 OOPSLA公司乔治奥斯·萨克斯加州大学圣地亚哥分校,梅德琳·恩德斯密歇根大学,菲利普·郭加州大学圣地亚哥分校,维斯特利·威默尔密歇根大学,兰吉特·贾拉加州大学圣地亚哥分校内政部

15:30 - 17:00	系统和验证OOPSLA公司在AMRF礼堂主席：苏雷什·贾甘纳森普渡大学

15:30 3000万谈话		BFF：位场操作程序的基础和自动验证 OOPSLA公司朱凤敏MPI-SWS公司,迈克尔·桑姆勒MPI-SWS公司,鲁道夫·勒皮格雷MPI-SWS公司,德里克·德雷尔MPI-SWS公司,Deepak Garg公司MPI-SWS公司内政部
16:00 3000万谈话		合成虚拟时间线：用算法时间隔离验证动态优先级分区 OOPSLA公司刘梦琪耶鲁大学,钟绍耶鲁大学,郝晨耶鲁大学,Man-Ki-Yoon先生耶鲁大学,金正恩耶鲁大学内政部
16:30 3000万研究论文		大型系统验证的线性类型 OOPSLA公司李嘉林 ,安德烈亚·拉图阿达苏黎世ETH,一周卡内基梅隆大学,乔纳森·卡梅隆卡内基梅隆大学,乔恩·豪厄尔VMWare研究,布莱恩·帕诺美国卡内基梅隆大学,克里斯·霍布利泽尔微软研究院内政部

15:30 - 17:00	影响OOPSLA公司在演讲厅2 主席：彼得·蒂曼德国弗莱堡大学

15:30 3000万研究论文		效果、能力和框：从基于范围的推理到基于类型的推理再到基于范围的逻辑 OOPSLA公司 Jonathan Immanuel Brachthä用户杜宾根大学,菲利普·舒斯特杜宾根大学,李果正滑铁卢大学,Aleksander Boruch-Gruszecki公司EPFL公司内政部
16:00 3000万谈话		效果处理程序的一级名称 OOPSLA公司谢宁宁多伦多大学,Youyou丛东京理工大学,池本一木（Kazuki Ikemori）东京理工大学,Daan Leijen公司微软研究院内政部
16:30 3000万谈话		C语言中的高级效果处理程序++ OOPSLA公司丹·吉卡华为,萨姆·林德利爱丁堡大学,马科斯·马罗纳斯·布拉沃华为,马西耶·皮罗格华为内政部

15:30 - 17:00	概率OOPSLA公司在研讨会室G007 主席：本杰明·卢西安·卡明斯基萨尔大学和伦敦大学学院

15:30 3000万谈话		高效流概率规划的半符号推理 OOPSLA公司埃里克·阿特金森麻省理工学院,查尔斯·袁麻省理工学院,纪尧姆·鲍达特Inria公司,路易斯·曼德尔IBM研究,迈克尔·卡宾麻省理工学院内政部
16:00 3000万谈话		随机程序的符号执行 OOPSLA公司扎卡里·苏萨格康奈尔大学,苏米特·拉希里年薪抢堪坡分校,徐宇春（Justin Hsu）康奈尔大学,苏巴吉特·罗伊年薪抢堪坡分校内政部
16:30 3000万谈话		这是概率循环的时刻 OOPSLA公司马塞尔·穆斯布鲁克维也纳工业大学,米罗斯拉夫·斯坦科维奇维也纳工业大学,埃齐奥·巴托奇维也纳工业大学,劳拉·科瓦茨维也纳工业大学内政部

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

09:00 - 10:00	SPLASH主题演讲主题演讲在AMRF礼堂主席：扬·维泰克东北大学

09:00 6000万主题演讲		（我无法拒绝）验证主题演讲主题演讲克：Atsushi Igarashi先生京都大学内政部

10:00 - 10:30	咖啡休息时间餐饮和社交活动在餐饮区

10:00 3000万咖啡休息时间		咖啡休息时间餐饮和社交活动

10:30 - 12:00	逻辑和并发OOPSLA公司在AMRF礼堂主席：莫森·莱萨尼加州大学河滨分校

10:30 3000万谈话		具有未来和历史的并发程序逻辑 OOPSLA公司罗兰·梅耶不伦瑞克工业大学,托马斯·维斯纽约大学,塞巴斯蒂安·沃尔夫纽约大学内政部
11:00 3000万谈话		CAAT：作为理论的一致性 OOPSLA公司托马斯·哈斯不伦瑞克工业大学,罗兰·梅耶不伦瑞克工业大学,埃尔南·蓬斯·德莱昂华为德累斯顿研究中心内政部
11:30 3000万谈话		C11中Release-Acquire事务内存的实现与验证 OOPSLA公司萨代赫·达尔瓦迪萨里大学,布里杰什·多戈尔萨里大学内政部

10:30 - 12:00	校样OOPSLA公司在演讲厅2 主席：Atsushi Igarashi先生京都大学

10:30 3000万谈话		交互式证明的数据驱动引理合成 OOPSLA公司艾什瓦亚·西瓦拉曼加州大学洛杉矶分校,亚历克斯·桑切斯·斯特恩马萨诸塞大学阿默斯特分校,布雷顿银行加州大学洛杉矶分校,索林·勒纳加州大学圣地亚哥分校,托德·米尔斯坦加州大学洛杉矶分校内政部
11:00 3000万谈话		本质型定义口译员 OOPSLA公司卡斯·范德雷斯特代尔夫特理工大学,卡斯珀·巴赫·鲍尔森代尔夫特理工大学,阿詹·鲁沃特（Arjen Rouvoet）代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学,彼得·D·摩斯斯斯旺西大学和代尔夫特科技大学内政部
11:30 3000万研究论文		多近似神经网络快速证明的证明传递 OOPSLA公司 Shubham Ugare公司伊利诺伊大学香槟分校,加甘迪普·辛格伊利诺伊大学香槟分校,萨萨·米塞洛维奇伊利诺伊大学香槟分校内政部

10:30 - 12:00	DSL（数字用户线）OOPSLA公司在G007研讨会室主席：罗伯特·布鲁斯·芬德勒西北大学

10:30 3000万谈话		引导分解可以帮助最终用户编写更大的基于块的程序吗？移动机器人实验 OOPSLA公司尼科·里切尔不列颠哥伦比亚大学,菲利佩·弗朗切蒂弗吉尼亚联邦大学,里德·霍姆斯不列颠哥伦比亚大学,罗纳德·加西亚不列颠哥伦比亚大学,大卫·C·谢泼德弗吉尼亚联邦大学内政部
11:00 3000万谈话		领域特定语言的组合嵌入 OOPSLA公司孙耀珠香港大学,乌特卡什·丹哈尼亚香港大学,布鲁诺·C·d·S·奥利维拉香港大学内政部预打印
11:30 3000万研究论文		语言参数静态语义代码完成 OOPSLA公司丹尼尔·佩尔斯梅克荷兰代尔夫特理工大学,亨德里克·范安特卫彭代尔夫特理工大学,卡斯珀·巴赫·鲍尔森代尔夫特理工大学,埃尔科·维瑟代尔夫特理工大学内政部

13:30 - 15:00	测试和维护OOPSLA公司在AMRF礼堂主席：伊森·迪利格德克萨斯大学奥斯汀分校

13:30 3000万谈话		监视：代码编辑序列中的学习模式 OOPSLA公司张玉浩威斯康星大学麦迪逊分校,亚沙特·巴杰帕伊微软,普里扬舒·古普塔微软,阿米亚·凯特卡优步,米尔蒂亚迪斯·阿拉马尼斯微软研究院,提图斯·巴里克微软,苏米特·古尔瓦尼微软,阿琼·拉德哈克里什纳微软,穆罕默德·拉扎微软,古斯塔沃·索亚雷斯微软,阿什什·蒂瓦里微软内政部
14:00 3000万谈话		满意模模糊：SMT求解与模糊的协同组合 OOPSLA公司苏吉特·库马尔·穆杜利年薪抢堪坡分校,苏巴吉特·罗伊年薪抢堪坡分校内政部
14:30 3000万谈话		从示例合成代码质量规则 OOPSLA公司普拉纳夫·加格美国焊接学会,斯里尼瓦桑·森加梅杜亚马逊内政部

13:30 - 15:00	并发OOPSLA公司在演讲厅2 主席：苏雷什·贾甘纳森普渡大学

13:30 3000万研究论文		C4：验证的事务对象 OOPSLA公司莫森·莱萨尼加州大学河滨分校,李耀霞宾夕法尼亚大学,安德斯·卡瑟格麻省理工学院,克里斯蒂安·贝尔麻省理工学院CSAIL,亚当·克利帕拉麻省理工学院,本杰明·皮尔斯宾夕法尼亚大学,史蒂夫·兹丹塞维奇宾夕法尼亚大学内政部
14:00 3000万谈话		并发大小 OOPSLA公司加尔·塞拉以色列理工学院,埃雷斯·彼得兰克以色列理工学院内政部
14:30 3000万谈话		准确性：具有交换性的声明性多核编程 OOPSLA公司詹金泉史蒂文斯理工学院,Fathololumi巴黎史蒂文斯理工学院,埃里克·科斯基宁史蒂文斯理工学院,贾里德·平卡斯史蒂文斯理工学院内政部

13:30 - 15:00	逻辑与验证IIOOPSLA公司在研讨会室G007 主席：Atsushi Igarashi先生京都大学

13:30 3000万研究论文		量子程序的不正确逻辑 OOPSLA公司彭燕悉尼理工大学,蒋汉儒中国北京雁栖湖数学科学与应用研究所,俞能坤美国石溪大学内政部
14:00 3000万研究论文		加权编程：用于指定数学模型的编程范例 OOPSLA公司凯文·巴茨RWTH亚琛大学,阿德里安·加卢斯RWTH亚琛大学,本杰明·卢西安·卡明斯基萨尔大学和伦敦大学学院,Joost-Pieter Katoen公司RWTH亚琛大学,托比亚斯·温克勒RWTH亚琛大学内政部
14:30 3000万谈话		通配符需要证人保护 OOPSLA公司凯文·比尔霍夫谷歌内政部

15:30 - 17:00	合成IIIOOPSLA公司在演讲厅2 主席：伊利亚·谢尔盖新加坡国立大学

15:30 3000万研究论文		使用神经引导程序合成自动翻译命令到功能代码 OOPSLA公司本杰明·马里亚诺德克萨斯大学奥斯汀分校,陈燕菊加州大学圣巴巴拉分校,于峰加州大学圣巴巴拉分校,格雷格·杜雷特德克萨斯大学奥斯汀分校,伊森·迪利格德克萨斯大学奥斯汀分校内政部
16:00 3000万谈话		基于数据类型重构的智能合约综合优化 OOPSLA公司陈燕菊加州大学圣巴巴拉分校,王月鹏西蒙·弗雷泽大学,马鲁思·戈亚尔得克萨斯大学奥斯汀分校,詹姆斯·东斯坦福大学,于峰加州大学圣巴巴拉分校,伊森·迪利格德克萨斯大学奥斯汀分校内政部
16:30 3000万谈话		合成抽象变压器 OOPSLA公司潘卡杰·库马尔·卡利塔年薪抢堪坡分校,苏吉特·库马尔·穆杜利年薪抢堪坡分校,洛里斯·德安东尼威斯康星大学麦迪逊分校,托马斯代表威斯康星大学麦迪逊分校,苏巴吉特·罗伊年薪抢堪坡分校内政部

16:00 - 17:00	数据OOPSLA公司在AMRF礼堂主席：阿迈勒美国东北大学

16:00 3000万谈话		上下文敏感程序分析的扩展Dyck CFL可达性索引事实上的 OOPSLA公司青凯石蚂蚁集团,王永超香港科技大学,姚培森香港科技大学,查尔斯·张香港科技大学内政部
16:30 3000万谈话		在线数据处理的本质 OOPSLA公司菲利普·德克斯特SUNY宾厄姆顿,刘大伟（Yu David Liu）SUNY宾厄姆顿,Kenneth Chiu先生SUNY宾厄姆顿内政部

	标题
	（我无法拒绝）验证主题演讲主题演讲克：Atsushi Igarashi先生内政部
	使用模式语言提高创造性实践的质量主题演讲主题演讲克：塔卡希·伊巴内政部
	神话和神话概念：作为一门编程语言意味着什么？主题演讲主题演讲克：玛丽·肖内政部
	2022年的调试状态主题演讲谷歌支持主题演讲克：罗伯特·奥卡拉汉内政部

主题演讲飞溅2022

主题演讲

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

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

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

曲目

联合主办的会议

研讨会

主题演讲飞溅2022

主题演讲

程序显示配置

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

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

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

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

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

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