Virtual Airmeet Room - SPLASH 2022

VenueUniversity of Auckland

Room nameVirtual Airmeet Room

Floor0

Room Information

https://www.airmeet.com/

Program

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

04:00 - 05:30	Session 1V-OOPSLA at Virtual Airmeet Room Chair(s): Amal Ahmed Northeastern University, USA, Jan Vitek Northeastern University

04:00 15m Talk		Generic Go to Go: Dictionary-Passing, Monomorphisation, and HybridPre-recorded V-OOPSLA Stephen Ellis Imperial College London, Shuofei Zhu Pennsylvania State University, Nobuko Yoshida University of Oxford, Linhai Song Pennsylvania State University DOI
04:15 15m Research paper		Coverage-guided tensor compiler fuzzing with joint IR-pass mutationPre-recorded V-OOPSLA Jiawei Liu University of Illinois at Urbana-Champaign, Yuxiang Wei Tongji University, Sen Yang Fudan University, Yinlin Deng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign DOI
04:30 15m Talk		Modular Verification of Op-Based CRDTs in Separation Logic V-OOPSLA Abel Nieto Aarhus University, Léon Gondelman Aarhus University, Alban Reynaud ENS Lyon, Amin Timany Aarhus University, Lars Birkedal Aarhus University DOI
04:45 15m Talk		Monadic and Comonadic Aspects of Dependency Analysis V-OOPSLA Pritam Choudhury University of Pennsylvania DOI
05:00 30m Live Q&A		Q&A for Session 1 V-OOPSLA

21:00 - 22:45	Session 2V-OOPSLA at Virtual Airmeet Room Chair(s): Sophia Drossopoulou Meta and Imperial College London

21:00 15m Talk		Taming Transitive Redundancy for Context-Free Language ReachabilityPre-recorded V-OOPSLA Yuxiang Lei University of Technology Sydney, Yulei Sui University of New South Wales, Sydney, Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology DOI
21:15 15m Talk		Scalable Linear Invariant Generation with Farkas’ Lemma V-OOPSLA Hongming Liu Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, zhiyong yu Shanghai Jiao Tong University, Jiaxin Song Shanghai Jiao Tong University, Guoqiang Li Shanghai Jiao Tong University DOI
21:30 15m Talk		Consistency-Preserving Propagation for SMT Solving of Concurrent Program VerificationPre-recorded V-OOPSLA Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University, Fei He Tsinghua University DOI
21:45 15m Talk		Oracle-Free Repair Synthesis for Floating-Point ProgramsPre-recorded V-OOPSLA Daming Zou ETH Zurich, Yuchen Gu Peking University, Yuanfeng Shi Peking University, Mingzhe Wang Princeton University, Yingfei Xiong Peking University, Zhendong Su ETH Zurich DOI
22:00 15m Talk		Neurosymbolic Repair for Low-Code Formula Languages V-OOPSLA Rohan Bavishi University of California at Berkeley, Harshit Joshi Microsoft, José Pablo Cambronero Microsoft, Anna Fariha Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Ivan Radiček Microsoft, Ashish Tiwari Microsoft DOI
22:15 30m Live Q&A		Q&A for Session 2 V-OOPSLA

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

01:00 - 02:30	Session 3V-OOPSLA at Virtual Airmeet Room Chair(s): Atsushi Igarashi Kyoto University

01:00 15m Research paper		SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded V-OOPSLA Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University DOI
01:15 15m Talk		Reasoning about Distributed Reconfigurable Systems V-OOPSLA Emma Ahrens RWTH Aachen University, Marius Bozga CNRS; Université Grenoble Alpes, Radu Iosif CNRS; Université Grenoble Alpes, Joost-Pieter Katoen RWTH Aachen University DOI
01:30 15m Talk		Type-Directed Synthesis of Visualizations from Natural Language Queries V-OOPSLA Jocelyn (Qiaochu) Chen University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Celeste Barnaby University of Texas at Austin, Abby Criswell University of Texas at Austin, Chenglong Wang Microsoft Research, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin DOI
01:45 15m Talk		Model Checking for a Multi-Execution Memory Model V-OOPSLA Evgenii Moiseenko JetBrains Research, Michalis Kokologiannakis MPI-SWS, Viktor Vafeiadis MPI-SWS DOI
02:00 30m Live Q&A		Q&A for Session 3 V-OOPSLA

Wed 30 Nov
Displayed time zone: Auckland, Wellington change


Room	4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Virtual Airmeet Room	V-OOPSLA Session 1																																																																																								V-OOPSLA Session 2

Thu 1 Dec
Displayed time zone: Auckland, Wellington change


Room	1:00						30						2:00						30
Virtual Airmeet Room	V-OOPSLA Session 3

Wed 30 Nov
Displayed time zone: Auckland, Wellington change


Room	4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Virtual Airmeet Room	SPLASH V-OOPSLAPre-recorded Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid 04:00 - 04:15			SPLASH V-OOPSLAPre-recorded Coverage-guided tensor compiler fuzzing with joint IR-pass mutation 04:15 - 04:30			SPLASH V-OOPSLA Modular Verification of Op-Based CRDTs in Separation Logic 04:30 - 04:45			SPLASH V-OOPSLA Monadic and Comonadic Aspects of Dependency Analysis 04:45 - 05:00			SPLASH V-OOPSLA Q&A for Session 1 05:00 - 05:30																																																																												SPLASH V-OOPSLAPre-recorded Taming Transitive Redundancy for Context-Free Language Reachability 21:00 - 21:15			SPLASH V-OOPSLA Scalable Linear Invariant Generation with Farkas’ Lemma 21:15 - 21:30			SPLASH V-OOPSLAPre-recorded Consistency-Preserving Propagation for SMT Solving of Concurrent Progra ... 21:30 - 21:45			SPLASH V-OOPSLAPre-recorded Oracle-Free Repair Synthesis for Floating-Point Programs 21:45 - 22:00			SPLASH V-OOPSLA Neurosymbolic Repair for Low-Code Formula Languages 22:00 - 22:15			SPLASH V-OOPSLA Q&A for Session 2 22:15 - 22:45

Thu 1 Dec
Displayed time zone: Auckland, Wellington change


Room	1:00			15			30			45			2:00			15			30			45
Virtual Airmeet Room	SPLASH V-OOPSLAPre-recorded SHARP: fast incremental context-sensitive pointer analysis for Java 01:00 - 01:15			SPLASH V-OOPSLA Reasoning about Distributed Reconfigurable Systems 01:15 - 01:30			SPLASH V-OOPSLA Type-Directed Synthesis of Visualizations from Natural Language Queries 01:30 - 01:45			SPLASH V-OOPSLA Model Checking for a Multi-Execution Memory Model 01:45 - 02:00			SPLASH V-OOPSLA Q&A for Session 3 02:00 - 02:30

Room information: Virtual Airmeet Room

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

V-OOPSLA

V-OOPSLA

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

V-OOPSLA

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

Tracks

Co-hosted Conferences

Workshops

Room information: Virtual Airmeet Room

Program Display Configuration

Wed 30 NovDisplayed time zone: Auckland, Wellington change

Thu 1 DecDisplayed time zone: Auckland, Wellington change

Wed 30 NovDisplayed time zone: Auckland, Wellington change

V-OOPSLA

V-OOPSLA

Thu 1 DecDisplayed time zone: Auckland, Wellington change

V-OOPSLA

Wed 30 NovDisplayed time zone: Auckland, Wellington change

Thu 1 DecDisplayed time zone: Auckland, Wellington change

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change