AMRF Auditorium - LIVE 2022

Room nameAMRF Auditorium

Room number505-011

Capacity300

Room Information

Front building is M&HS Building 505: https://maps.auckland.ac.nz/auckland/39a7034bd4e04f49b06c6762/details/356dd77d1c694521aee267af

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

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	Keynote 1SAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure \| Université PSL

09:00 60m Keynote		Commercial-Grade Static Analyzers in DatalogIn PersonKeynote SAS Bernhard Scholz University of Sydney

10:30 - 12:00	Model Checking and VerificationSAS at AMRF Auditorium Chair(s): Arlen Cox IDA

10:30 30m Talk		Parameterized Recursive Refinement Types for Automated Program Verification SAS Ryoya Mukai The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ryosuke Sato University of Tokyo, Japan
11:00 30m Talk		Efficient Modular SMT-Based Model Checking of Pointer ProgramsVirtual SAS Isabel Garcia-Contreras University of Waterloo, Arie Gurfinkel University of Waterloo, Jorge A. Navas Certora, inc.
11:30 30m Talk		Case Study on Verification-Witness Validators: Where We Are and Where We Go SAS Dirk Beyer LMU Munich, Jan Strejcek Masaryk University Link to publication DOI Media Attached

13:30 - 15:00	Numerical Static AnalysesSAS at AMRF Auditorium Chair(s): Isabella Mastroeni University of Verona, Italy

13:30 30m Talk		CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial AttacksVirtual SAS Zhe Zhao ShanghaiTech University, Yedi Zhang ShanghaiTech University, Guangke Chen ShanghaiTech University, Fu Song ShanghaiTech University, Taolue Chen Birkbeck University of London, Jiaxiang Liu Shenzhen University
14:00 30m Talk		Boosting Robustness Verification of Semantic Feature Neighborhoods SAS Anan Kabaha Technion, Israel Institute of Technology, Dana Drachsler Cohen Technion
14:30 30m Talk		Lifting Numeric Relational Domains to Algebraic Data Types SAS Santiago Bautista Univ Rennes, Inria, CNRS, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria Pre-print File Attached

15:30 - 17:00	Keynote 2, Radhia Cousot Award, PC Chairs ReportSAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure \| Université PSL

15:30 60m Keynote		Logical Reasoning in Reinforcement Learning: A Boon or Bane? KeynoteVirtual SAS Suguman Bansal Rice University, USA
16:30 10m Awards		Radhia Cousot Award SAS Caterina Urban Inria & École Normale Supérieure \| Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign
16:40 20m Day closing		PC Chairs Report SAS Caterina Urban Inria & École Normale Supérieure \| Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	Keynote 3SAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure \| Université PSL

09:00 60m Keynote		Towards Efficient Reasoning of Quantum ProgramsKeynote SAS Nengkun Yu Stony Brook University, USA

10:30 - 12:00	SecuritySAS at AMRF Auditorium Chair(s): Emanuele D’Osualdo MPI-SWS

10:30 30m Talk		SecWasm: Information Flow Control for WebAssemblyVirtual SAS Iulia Bastys Chalmers University of Technology, Maximilian Algehed Chalmers University of Technology, Sweden, Alexander Sjösten TU Wien, Andrei Sabelfeld Chalmers University of Technology
11:00 30m Talk		Adversarial Logic SAS Julien Vanegue Bloomberg
11:30 30m Talk		Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation SAS Roberto Giacobazzi University of Verona, Isabella Mastroeni University of Verona, Italy

13:30 - 15:00	Logic and CompletenessSAS at AMRF Auditorium Chair(s): Roberto Giacobazzi University of Verona

13:30 30m Talk		Invariant Inference With Provable Complexity From the Monotone Theory SAS Yotam M. Y. Feldman Tel Aviv University, Sharon Shoham Tel Aviv University
14:00 30m Talk		Local Completeness Logic on Kleene Algebra with Tests SAS Marco Milanese Dipartimento di Matematica, University of Padova, Italy, Francesco Ranzato University of Padova
14:30 30m Talk		Deciding program properties via complete abstractions on bounded domains SAS Roberto Bruni University of Pisa, Roberta Gori University of Pisa, Nicolas Manini IMDEA Software Institute

15:30 - 17:00	Invariant and Program SynthesisSAS at AMRF Auditorium Chair(s): Subhajit Roy IIT Kanpur

15:30 30m Talk		Bootstrapping Library-Based Synthesis SAS Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA
16:00 30m Talk		Automated Synthesis of Asynchronizations SAS Sidi Mohamed Beillahi University of Toronto, Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea Ecole Polytechnique / LIX / CNRS, Shuvendu K. Lahiri Microsoft Research
16:30 30m Talk		Solving Invariant Generation for Unsolvable Loops SAS Daneshvar Amrollahi Stanford University, Ezio Bartocci TU Wien, George Kenison TU Wien, Laura Kovács TU Wien, Marcel Moosbrugger TU Wien, Miroslav Stankovič TU Wien

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:00	Compilers and OptimizationsSAS at AMRF Auditorium

10:30 30m Talk		Semantic Foundations for Cost Analysis of Pipeline-Optimized ProgramsVirtual SAS Solène Mirliaz ENS Rennes / IRISA / Inria, David Pichardie Meta, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Adrien Koutsos INRIA Paris, Peter Schwabe Max Planck Institute for Security and Privacy
11:00 30m Talk		Principles of Staged Static+Dynamic Partial Analysis SAS Aditya Anand IIT Mandi, Manas Thakur IIT Bombay
11:30 30m Talk		Fast and incremental computation of weak control closure SAS Abu Naser Masud Malardalen University

13:30 - 15:00	DLS Talks 1DLS at AMRF Auditorium Chair(s): Stefan Marr University of Kent

13:30 10m Talk		Chair's Welcome and Most Notable Paper Award DLS
13:40 40m Talk		Invited Talk: A decade of Self-Optimizing Interpreters in GraalVMVirtual DLS Christian Wimmer Oracle Labs
14:20 40m Talk		Invited Talk: Live Programming over TCP? Bringing Squeak/Smalltalk Liveness to Godot via React/SVirtual DLS Tom Beckmann University of Potsdam; Hasso Plattner Institute, Leonard Geier University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute

15:30 - 17:00	DLS Talks 2DLS at AMRF Auditorium Chair(s): James Noble Research & Programming

15:30 30m Talk		Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages DLS Stefan Marr University of Kent, Humphrey Burchell University of Kent, Fabio Niephaus Oracle Labs, Potsdam DOI Pre-print
16:00 30m Talk		Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby Applications DLS Sophie Kaleba University of Kent, Octave Larose University of Kent, Richard Jones University of Kent, Stefan Marr University of Kent DOI Pre-print
16:30 30m Talk		Dynamic Pattern Matching with Python DLS Tobias Kohn University of Cambridge, UK, Guido van Rossum Python Software Foundation, Brandt Bucher Research Affiliates, LLC, Talin , Ivan Levkivskyi Dropbox Ireland DOI Pre-print

17:30 - 19:30	SRC TalksSPLASH Student Research Competition at AMRF Auditorium

17:30 15m Poster		Termination of Recursive Functions by Lexicographic Orders of Linear Combinations SPLASH Student Research Competition Raphael Douglas Giles UNSW DOI
17:45 15m Poster		Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm SPLASH Student Research Competition Yahui Song National University of Singapore, Wei-Ngan Chin National University of Singapore DOI
18:00 15m Poster		CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis SPLASH Student Research Competition Chengpeng Wang Hong Kong University of Science and Technology DOI
18:15 15m Poster		LoRe: Local-First Reactive Programming with Verified Safety Guarantees SPLASH Student Research Competition Julian Haas TU Darmstadt DOI
18:30 15m Poster		Foundationally Sound Annotation Verifier via Control Flow Splitting SPLASH Student Research Competition Litao Zhou Shanghai Jiao Tong University DOI
18:45 15m Poster		Using Mutations to Analyze Formal Specifications SPLASH Student Research Competition Siraphob Phipathananunth Vanderbilt University DOI
19:00 15m Poster		ARENA: Enhancing Abstract Refinement for Neural Network Verification SPLASH Student Research Competition Yuyi Zhong National University of Singapore, Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore DOI
19:15 15m Poster		Qiwi: A Beginner Friendly Quantum Language SPLASH Student Research Competition Abhinandan Pal IIIT Kalyani, Anubhab Ghosh IIIT Kalyani DOI

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

	08:45 - 09:00	Opening and WelcomeSPLASH Opening and Welcome at AMRF Auditorium Chair(s): Kelly Blincoe University of Auckland, Alex Potanin Australian National University

09:00 - 10:00	SPLASH KeynoteSPLASH Keynotes at AMRF Auditorium Chair(s): Robert Biddle Carleton University

09:00 60m Keynote		Myths and Mythconceptions: What does it mean to be a programming language, anyhow?Keynote SPLASH Keynotes K: Mary Shaw Carnegie Mellon University DOI

10:30 - 12:00	RuntimeSPLASH OOPSLA at AMRF Auditorium Chair(s): Stefan Marr University of Kent

10:30 30m Talk		A Fast In-Place Interpreter for WebAssembly SPLASH OOPSLA Ben L. Titzer Carnegie Mellon University DOI
11:00 30m Talk		Optimal Heap Limits for Reducing Browser Memory Use SPLASH OOPSLA Marisa Kirisame University of Utah, Pranav Shenoy University of Utah, Pavel Panchekha University of Utah DOI
11:30 30m Talk		The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler SPLASH OOPSLA Khushboo Chitre IIIT Delhi, Piyus Kedia IIIT Delhi, Rahul Purandare IIIT Delhi DOI

13:45 - 14:00	SPLASH AwardsSPLASH Awards at AMRF Auditorium

13:45 15m Awards		SPLASH AwardsAwards SPLASH Awards

14:00 - 15:00	SPLASH KeynoteSPLASH Keynotes at AMRF Auditorium Chair(s): Jonathan Aldrich Carnegie Mellon University

14:00 60m Keynote		The State Of Debugging in 2022KeynoteSupported by Google SPLASH Keynotes K: Robert O'Callahan Google Research DOI

15:30 - 17:00	TypesSPLASH OOPSLA at AMRF Auditorium Chair(s): Zhong Shao Yale University

15:30 30m Talk		A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency SPLASH OOPSLA Daniel Frumin University of Groningen, Emanuele D’Osualdo MPI-SWS, Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen DOI Pre-print
16:00 30m Talk		A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning SPLASH OOPSLA Aleksander Boruch-Gruszecki EPFL, Radosław Waśko University of Warsaw, Yichen Xu Beijing University of Posts and Telecommunications, Lionel Parreaux Hong Kong University of Science and Technology DOI
16:30 30m Talk		Coeffects for Sharing and Mutation SPLASH OOPSLA Riccardo Bianchini University of Genoa, Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa, Marco Servetto Victoria University of Wellington DOI

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	SPLASH KeynoteSPLASH Keynotes at AMRF Auditorium Chair(s): Jeremy Singer University of Glasgow

09:00 60m Keynote		Improving the Quality of Creative Practices with Pattern LanguagesKeynote SPLASH Keynotes K: Takashi Iba Keio University DOI

10:30 - 12:00	BlockchainSPLASH OOPSLA at AMRF Auditorium Chair(s): Zhong Shao Yale University

10:30 30m Talk		A Study of Inline Assembly in Solidity Smart Contracts SPLASH OOPSLA Stefanos Chaliasos Imperial College London, Arthur Gervais Imperial College London, Ben Livshits Imperial College London DOI
11:00 30m Research paper		Elipmoc: advanced decompilation of Ethereum smart contracts SPLASH OOPSLA Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Ilias Tsatiris University of Athens, Yannis Smaragdakis University of Athens DOI
11:30 30m Talk		SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts SPLASH OOPSLA Zihan Zhao University of Toronto, Sidi Mohamed Beillahi University of Toronto, Ryan Song University of Toronto, Yuxi Cai University of Toronto, Andreas Veneris University of Toronto, Fan Long University of Toronto DOI

13:30 - 15:00	Logic and Verification ISPLASH OOPSLA at AMRF Auditorium Chair(s): Benjamin Lucien Kaminski Saarland University and University College London

13:30 30m Research paper		Finding real bugs in big programs with incorrectness logic SPLASH OOPSLA Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Meta, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London DOI
14:00 30m Talk		Fractional Resources in Unbounded Separation Logic SPLASH OOPSLA Thibault Dardinier ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia DOI
14:30 30m Talk		Proving Hypersafety Compositionally SPLASH OOPSLA Emanuele D’Osualdo MPI-SWS, Azadeh Farzan University of Toronto, Derek Dreyer MPI-SWS DOI Pre-print

15:30 - 17:00	Systems and VerificationSPLASH OOPSLA at AMRF Auditorium Chair(s): Suresh Jagannathan Purdue University

15:30 30m Talk		BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs SPLASH OOPSLA Fengmin Zhu MPI-SWS, Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI
16:00 30m Talk		Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation SPLASH OOPSLA Mengqi Liu Yale University, Zhong Shao Yale University, Hao Chen Yale University, Man-Ki Yoon Yale University, Jung-Eun Kim Yale University DOI
16:30 30m Research paper		Linear types for large-scale systems verification SPLASH OOPSLA Jialin Li , Andrea Lattuada ETH Zurich, Yi Zhou Carnegie Mellon University, Jonathan Cameron Carnegie Mellon University, Jon Howell VMWare Research, Bryan Parno Carnegie Mellon University, USA, Chris Hawblitzel Microsoft Research DOI

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	SPLASH KeynoteSPLASH Keynotes at AMRF Auditorium Chair(s): Jan Vitek Northeastern University

09:00 60m Keynote		(I Can't Get No) VerificationKeynote SPLASH Keynotes K: Atsushi Igarashi Kyoto University DOI

10:30 - 12:00	Logic and ConcurrencySPLASH OOPSLA at AMRF Auditorium Chair(s): Mohsen Lesani University of California at Riverside

10:30 30m Talk		A Concurrent Program Logic with a Future and History SPLASH OOPSLA Roland Meyer TU Braunschweig, Thomas Wies New York University, Sebastian Wolff New York University DOI
11:00 30m Talk		CAAT: Consistency as a Theory SPLASH OOPSLA Thomas Haas TU Braunschweig, Roland Meyer TU Braunschweig, Hernán Ponce de León Huawei Dresden Research Center DOI
11:30 30m Talk		Implementing and Verifying Release-Acquire Transactional Memory in C11 SPLASH OOPSLA Sadegh Dalvandi University of Surrey, Brijesh Dongol University of Surrey DOI

13:30 - 15:00	Testing and MaintenanceSPLASH OOPSLA at AMRF Auditorium Chair(s): Işıl Dillig University of Texas at Austin

13:30 30m Talk		Overwatch: Learning Patterns in Code Edit Sequences SPLASH OOPSLA Yuhao Zhang University of Wisconsin-Madison, Yasharth Bajpai Microsoft, Priyanshu Gupta Microsoft, Ameya Ketkar Uber, Miltiadis Allamanis Microsoft Research, Titus Barik Microsoft, Sumit Gulwani Microsoft, Arjun Radhakrishna Microsoft, Mohammad Raza Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft DOI
14:00 30m Talk		Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing SPLASH OOPSLA Sujit Kumar Muduli IIT Kanpur, Subhajit Roy IIT Kanpur DOI
14:30 30m Talk		Synthesizing Code Quality Rules from Examples SPLASH OOPSLA Pranav Garg AWS, Srinivasan H. Sengamedu Amazon DOI

16:00 - 17:00	DataSPLASH OOPSLA at AMRF Auditorium Chair(s): Amal Ahmed Northeastern University, USA

16:00 30m Talk		Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program AnalysisVirtual SPLASH OOPSLA Qingkai Shi Ant Group, Yongchao WANG Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI
16:30 30m Talk		The Essence of Online Data Processing SPLASH OOPSLA Philip Dexter SUNY Binghamton, Yu David Liu SUNY Binghamton, Kenneth Chiu SUNY Binghamton DOI

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SAS Keynote 1																		SAS Model Checking and Verification																																				SAS Numerical Static Analyses																								SAS Keynote 2, Radhia Cousot Award, PC Chairs Report

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SAS Keynote 3																		SAS Security																																				SAS Logic and Completeness																								SAS Invariant and Program Synthesis

Wed 7 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SAS																		SAS Compilers and Optimizations																																				DLS DLS Talks 1																								DLS DLS Talks 2																								SPLASH Student Research Competition SRC Talks

Thu 8 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium										SPLASH Opening and Welcome Opening and Welcome			SPLASH Keynotes SPLASH Keynote																		SPLASH OOPSLA Runtime																																							SPLASH Awards SPLASH Awards			SPLASH Keynotes SPLASH Keynote																		SPLASH OOPSLA Types

Fri 9 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SPLASH Keynotes SPLASH Keynote																		SPLASH OOPSLA Blockchain																																				SPLASH OOPSLA Logic and Verification I																								SPLASH OOPSLA Systems and Verification

Sat 10 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SPLASH Keynotes SPLASH Keynote																		SPLASH OOPSLA Logic and Concurrency																																				SPLASH OOPSLA Testing and Maintenance																														SPLASH OOPSLA Data

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SAS In PersonKeynote Commercial-Grade Static Analyzers in Datalog 09:00 - 10:00																		SAS Parameterized Recursive Refinement Types for Automated Program Verification 10:30 - 11:00						SAS Virtual Efficient Modular SMT-Based Model Checking of Pointer Programs 11:00 - 11:30						SAS Case Study on Verification-Witness Validators: Where We Are and Where We Go 11:30 - 12:00																								SAS Virtual CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adv ... 13:30 - 14:00						SAS Boosting Robustness Verification of Semantic Feature Neighborhoods 14:00 - 14:30						SAS Lifting Numeric Relational Domains to Algebraic Data Types 14:30 - 15:00												SAS KeynoteVirtual Logical Reasoning in Reinforcement Learning: A Boon or Bane? 15:30 - 16:30												SAS Radhia Cousot Award 16:30 - 16:40		SAS PC Chairs Report 16:40 - 17:00

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SAS Keynote Towards Efficient Reasoning of Quantum Programs 09:00 - 10:00																		SAS Virtual SecWasm: Information Flow Control for WebAssembly 10:30 - 11:00						SAS Adversarial Logic 11:00 - 11:30						SAS Property-driven code obfuscations - Reinterpreting Jones-optimality in ... 11:30 - 12:00																								SAS Invariant Inference With Provable Complexity From the Monotone Theory 13:30 - 14:00						SAS Local Completeness Logic on Kleene Algebra with Tests 14:00 - 14:30						SAS Deciding program properties via complete abstractions on bounded domains 14:30 - 15:00												SAS Bootstrapping Library-Based Synthesis 15:30 - 16:00						SAS Automated Synthesis of Asynchronizations 16:00 - 16:30						SAS Solving Invariant Generation for Unsolvable Loops 16:30 - 17:00

Wed 7 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium							SAS Virtual Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs 10:30 - 11:00						SAS Principles of Staged Static+Dynamic Partial Analysis 11:00 - 11:30						SAS Fast and incremental computation of weak control closure 11:30 - 12:00																								DLS Chair's Welcome and Most Notable Paper Award 13:30 - 13:40		DLSVirtual Invited Talk: A decade of Self-Optimizing Interpreters in GraalVM 13:40 - 14:20								DLSVirtual Invited Talk: Live Programming over TCP? Bringing Squeak/Smalltalk Live ... 14:20 - 15:00														DLS Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities ... 15:30 - 16:00						DLS Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby A ... 16:00 - 16:30						DLS Dynamic Pattern Matching with Python 16:30 - 17:00												SPLASH Student Research Competition Termination of Recursive Functions by Lexicographic Orders of Linear Co ... 17:30 - 17:45			SPLASH Student Research Competition Automated Verification for Real-Time Systems using Implicit Clocks and ... 17:45 - 18:00			SPLASH Student Research Competition CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query ... 18:00 - 18:15			SPLASH Student Research Competition LoRe: Local-First Reactive Programming with Verified Safety Guarantees 18:15 - 18:30			SPLASH Student Research Competition Foundationally Sound Annotation Verifier via Control Flow Splitting 18:30 - 18:45			SPLASH Student Research Competition Using Mutations to Analyze Formal Specifications 18:45 - 19:00			SPLASH Student Research Competition ARENA: Enhancing Abstract Refinement for Neural Network Verification 19:00 - 19:15			SPLASH Student Research Competition Qiwi: A Beginner Friendly Quantum Language 19:15 - 19:30

Thu 8 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SPLASH KeynotesKeynote Myths and Mythconceptions: What does it mean to be a programming langua ... 09:00 - 10:00																		SPLASH OOPSLA A Fast In-Place Interpreter for WebAssembly 10:30 - 11:00						SPLASH OOPSLA Optimal Heap Limits for Reducing Browser Memory Use 11:00 - 11:30						SPLASH OOPSLA The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed ... 11:30 - 12:00																											SPLASH AwardsAwards SPLASH Awards 13:45 - 14:00			SPLASH KeynotesKeynoteSupported by Google The State Of Debugging in 2022 14:00 - 15:00																		SPLASH OOPSLA A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunch ... 15:30 - 16:00						SPLASH OOPSLA A case for DOT: Theoretical Foundations for Objects with Pattern Matchi ... 16:00 - 16:30						SPLASH OOPSLA Coeffects for Sharing and Mutation 16:30 - 17:00

Fri 9 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SPLASH KeynotesKeynote Improving the Quality of Creative Practices with Pattern Languages 09:00 - 10:00																		SPLASH OOPSLA A Study of Inline Assembly in Solidity Smart Contracts 10:30 - 11:00						SPLASH OOPSLA Elipmoc: advanced decompilation of Ethereum smart contracts 11:00 - 11:30						SPLASH OOPSLA SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Co ... 11:30 - 12:00																								SPLASH OOPSLA Finding real bugs in big programs with incorrectness logic 13:30 - 14:00						SPLASH OOPSLA Fractional Resources in Unbounded Separation Logic 14:00 - 14:30						SPLASH OOPSLA Proving Hypersafety Compositionally 14:30 - 15:00												SPLASH OOPSLA BFF: Foundational and Automated Verification of Bitfield-Manipulating P ... 15:30 - 16:00						SPLASH OOPSLA Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions ... 16:00 - 16:30						SPLASH OOPSLA Linear types for large-scale systems verification 16:30 - 17:00

Sat 10 Dec
Displayed time zone: Auckland, Wellington change


Room	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
AMRF Auditorium	SPLASH KeynotesKeynote (I Can't Get No) Verification 09:00 - 10:00																		SPLASH OOPSLA A Concurrent Program Logic with a Future and History 10:30 - 11:00						SPLASH OOPSLA CAAT: Consistency as a Theory 11:00 - 11:30						SPLASH OOPSLA Implementing and Verifying Release-Acquire Transactional Memory in C11 11:30 - 12:00																								SPLASH OOPSLA Overwatch: Learning Patterns in Code Edit Sequences 13:30 - 14:00						SPLASH OOPSLA Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving ... 14:00 - 14:30						SPLASH OOPSLA Synthesizing Code Quality Rules from Examples 14:30 - 15:00																		SPLASH OOPSLAVirtual Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Progr ... 16:00 - 16:30						SPLASH OOPSLA The Essence of Online Data Processing 16:30 - 17:00

Room information: AMRF Auditorium

Program Display Configuration

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Tue 6 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Wed 7 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

DLS

DLS

SPLASH Student Research Competition

Thu 8 DecDisplayed time zone: Auckland, Wellington change

SPLASH Opening and Welcome

SPLASH Keynotes

SPLASH OOPSLA

SPLASH Awards

SPLASH Keynotes

SPLASH OOPSLA

Fri 9 DecDisplayed time zone: Auckland, Wellington change

SPLASH Keynotes

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Sat 10 DecDisplayed time zone: Auckland, Wellington change

SPLASH Keynotes

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change