Virtual Airmeet Room

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 1SPLASH V-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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH V-OOPSLA Pritam Choudhury University of Pennsylvania DOI
05:00 30m Live Q&A		Q&A for Session 1 SPLASH V-OOPSLA

21:00 - 22:45	Session 2SPLASH V-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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH V-OOPSLA

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

01:00 - 02:30	Session 3SPLASH V-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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH 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 SPLASH 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	SPLASH V-OOPSLA Session 1																																																																																								SPLASH V-OOPSLA Session 2

Thu 1 Dec
Displayed time zone: Auckland, Wellington change


Room	1:00						30						2:00						30
Virtual Airmeet Room	SPLASH 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

SPLASH V-OOPSLA

SPLASH V-OOPSLA

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

SPLASH V-OOPSLA

Wed 30 Nov
Displayed time zone: Auckland, Wellington change

Thu 1 Dec
Displayed time zone: Auckland, Wellington change

Tracks

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

SPLASH V-OOPSLA

SPLASH V-OOPSLA

Thu 1 DecDisplayed time zone: Auckland, Wellington change

SPLASH 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