Orchid Small - SPLASH 2025

VenueMarina Bay Sands Convention Centre

Room nameOrchid Small

Floor4

Room number4201A-4201B

Capacity80

Room Information

Venue floor plan

app-screen

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Fri 17 Oct
Displayed time zone: Perth change

	10:30 - 12:15	SRC PresentationsStudent Research Competition at Orchid Small

13:45 - 15:30	SemanticsOOPSLA at Orchid Small

13:45 15m Talk		A complete formal semantics of eBPF instruction set architecture for Solana OOPSLA Shenghao Yuan Zhejiang University, Zhuoruo Zhang Zhejiang University, Jiayi Lu Zhejiang University, David Sanan Singapore Institute of Technology, Rui Chang Zhejiang University, Yongwang Zhao Zhejiang University
14:00 15m Talk		Adequacy for Algebraic Effects Revisited OOPSLA Alex Kavvos University of Bristol
14:15 15m Talk		A Mechanized Semantics for Dataflow Circuits OOPSLA Tony Law Univ Rennes, Inria, CNRS, IRISA, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Sandrine Blazy University of Rennes
14:30 15m Talk		Dynamic Wind for Effect Handlers OOPSLA David Voigt University of Tübingen, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen
14:45 15m Talk		React-tRace: A Semantics for Understanding React Hooks OOPSLA Jay Lee Seoul National University, Joongwon Ahn Seoul National University, Kwangkeun Yi Seoul National University Pre-print
15:00 15m Talk		Semantics of Sets of Programs OOPSLA Jinwoo Kim University of Wisconsin-Madison; Seoul National University, Shaan Nagy University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of California at San Diego
15:15 15m Talk		Zero-Overhead Lexical Effect Handlers OOPSLA Cong Ma University of Waterloo, Zhaoyi Ge University of Waterloo, Max Jung University of Waterloo, Yizhou Zhang University of Waterloo

16:00 - 17:30	Debugging and ValidationOOPSLA at Orchid Small

16:00 15m Talk		Debugging WebAssembly? Put some Whamm on it! OOPSLA Elizabeth Gilbert Carnegie Mellon University, Matthew Schneider Carnegie Mellon University, Zixi Liu Nanjing University, Suhas Thalanki Carnegie Mellon University, Wavid Bowman University of Florida, Alexander Bai New York University, Ben L. Titzer Carnegie Mellon University, Heather Miller Carnegie Mellon University and Two Sigma
16:15 15m Talk		MIO: Multiverse Debugging in the face of Input/Output OOPSLA Tom Lauwaerts Universiteit Gent, Belgium, Maarten Steevens Ghent University, Belgium, Christophe Scholliers Universiteit Gent, Belgium
16:30 15m Talk		PReMM: LLM-Based Program Repair for Multi-Method Bugs via Divide and Conquer OOPSLA Linna Xie Nanjing University, Zhong Li Nanjing University, Yu Pei Hong Kong Polytechnic University, Zhongzhen Wen Nanjing University, Kui Liu Huawei, Tian Zhang Nanjing University, Xuandong Li Nanjing University
16:45 15m Talk		Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison OOPSLA Ruixin Wang Purdue University, Zhongkai Zhao National University of Singapore, Le Fang Purdue University, Nan Jiang Purdue University, Yiling Lou Fudan University, Lin Tan Purdue University, Tianyi Zhang Purdue University
17:00 15m Talk		Translation Validation for LLVM's AArch64 Backend OOPSLA Ryan Berger Nvidia, Mitch Briles University of Utah, Nader Boushehrinejad Moradi University of Utah, Nicholas Coughlin Defence Science and Technology Group, Australia, Kait Lam Defence Science and Technology Group / School of EECS, University of Queensland, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon, Stefan Mada University of Utah, Tanmay Tirpankar University of Utah, John Regehr University of Utah
17:15 15m Talk		Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation OOPSLA Maolin Sun Nanjing University, Yibiao Yang Nanjing University, Jiangchang Wu State Key Laboratory for Novel Software Technology, Nanjing University, Yuming Zhou Nanjing University

Sat 18 Oct
Displayed time zone: Perth change

10:30 - 12:15	QuantumOOPSLA at Orchid Small

10:30 15m Talk		AccelerQ: Accelerating Quantum Eigensolvers With Machine Learning on Quantum Simulators OOPSLA Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Karine Even-Mendoza King’s College London, Sophie Fortz King's College London, Connor Lenihan King's College London
10:45 15m Talk		A Language for Quantifying Quantum Network Behavior OOPSLA Anita Buckley USI Lugano, Pavel Chuprikov Télécom Paris, Institut Polytechnique de Paris, Rodrigo Otoni USI Lugano, Robert Soulé Yale University, Robert Rand University of Chicago, Patrick Eugster USI Lugano, Switzerland
11:00 15m Talk		Compositional Quantum Control Flow with Efficient Compilation in Qunity OOPSLA Mikhail Mints California Institute of Technology, Finn Voichick University of Maryland, Leonidas Lampropoulos University of Maryland, College Park, Robert Rand University of Chicago
11:15 15m Talk		Dependency-Aware Compilation for Surface Code Quantum Architectures OOPSLA Abtin Molavi University of Wisconsin-Madison, Amanda Xu University of Wisconsin-Madison, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison
11:30 15m Talk		QbC: Quantum Correctness by Construction OOPSLA Anurudh Peduri Ruhr University Bochum, Ina Schaefer KIT, Michael Walter Ruhr-Universität Bochum
11:45 15m Talk		qblaze: An Efficient and Scalable Sparse Quantum Simulator OOPSLA Hristo Venev INSAIT, Sofia University "St. Kliment Ohridski", Thien Udomsrirungruang University of Oxford, Dimitar Dimitrov INSAIT, Sofia University "St. Kliment Ohridski", Timon Gehr ETH Zurich, Martin Vechev ETH Zurich
12:00 15m Talk		Shaking Up Quantum Simulators with Fuzzing and Rigour OOPSLA Vasileios Klimis Queen Mary University of London, Karine Even-Mendoza King’s College London, Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Sophie Fortz King's College London, Connor Lenihan King's College London

13:45 - 15:30	ProofsOOPSLA at Orchid Small

13:45 15m Talk		Adaptive Shielding via Parametric Safety Proofs OOPSLA Yao Feng Tsinghua University, Jun Zhu Nankai University, André Platzer Karlsruhe Institute of Technology (KIT), Jonathan Laurent Carnegie Mellon University / Karlsruhe Institute of Technology
14:00 15m Talk		Certified Decision Procedures for Width-Independent Bitvector Predicates OOPSLA Siddharth Bhat University of Cambridge, Leo Stefanesco University of Cambridge, Chris Hughes Independent Researcher, Tobias Grosser University of Cambridge
14:15 15m Talk		Checking $\delta$-Satisfiability of Reals with Integrals OOPSLA Cody Rivera University of Illinois, Urbana-Champaign, Bishnu Bhusal University of Missouri, Rohit Chadha University of Missouri, A. Prasad Sistla University of Illinois at Chicago, Mahesh Viswanathan University of Illinois at Urbana-Champaign
14:30 15m Talk		Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge OOPSLA John C. Kolesar Yale University, Shan Ali Yale University, Timos Antonopoulos Yale University, Ruzica Piskac Yale University
14:45 15m Talk		Incremental Certified Programming OOPSLA Tomás Diaz University of Chile, Kenji Maillard Inria – LS2N, Université de Nantes, Nicolas Tabareau Inria, Éric Tanter University of Chile
15:00 15m Talk		Pathological Cases for a Class of Reachability-Based Garbage Collectors OOPSLA Matthew Sotoudeh Stanford University Link to publication
15:15 15m Talk		SafeTree: Expressive Tree Policies for Microservices OOPSLA Karuna Grewal , Brighten Godfrey UIUC and Broadcom, Justin Hsu Cornell University

16:00 - 17:30	TOPLAS and RemoteOOPSLA at Orchid Small

16:00 15m Talk		(TOPLAS) Polynomial Bounds of CFLOBDDs against BDDs OOPSLA Xusheng Zhi , Thomas Reps University of Wisconsin-Madison DOI
16:15 15m Talk		(TOPLAS) Type-Safe Compilation of Dynamic Inheritance via Merging OOPSLA Yaozhu Sun National Institute of Informatics, Xuejing Huang IRIF, Bruno C. d. S. Oliveira University of Hong Kong
16:30 15m Talk		Detecting and explaining (in-)equivalence of context-free grammars OOPSLA Marko Schmellenkamp Ruhr University Bochum, Thomas Zeume Ruhr University Bochum, Sven Argo Ruhr University Bochum, Sandra Kiefer University of Oxford, Cedric Siems Ruhr University Bochum, Fynn Stebel Ruhr University Bochum
16:45 15m Talk		Modal Abstractions for Virtualizing Memory Addresses OOPSLA Ismail Kuru Drexel University, Colin Gordon Drexel University
17:00 15m Talk		Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA Hongbo Chen Indiana University Bloomington, Quan Zhou Penn State University, Sen Yang Yale University, Dang Sixuan Duke University, Xing Han The Hong Kong University of Science and Technology, Danfeng Zhang Duke University, Fan Zhang Yale University, XiaoFeng Wang Nanyang Technological University
17:15 15m Talk		QED in Context: An Observation Study of Proof Assistant Users OOPSLA Jessica Shi University of Pennsylvania, Cassia Torczon University of Pennsylvania, Harrison Goldstein University at Buffalo, the State University of New York at Buffalo, Benjamin C. Pierce University of Pennsylvania, Andrew Head University of Pennsylvania

Tue 14 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Small											MPLR																																		MPLR																												MPLR

Wed 15 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Small											VMIL																																		VMIL																												VMIL

Thu 16 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Small							WebAssembly Workshop																																							WebAssembly Workshop																											WebAssembly Workshop

Fri 17 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Small							Student Research Competition SRC Presentations																																							OOPSLA Semantics																											OOPSLA Debugging and Validation

Sat 18 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Small							OOPSLA Quantum																																							OOPSLA Proofs																											OOPSLA TOPLAS and Remote

Fri 17 Oct
Displayed time zone: Perth change


Room	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
Orchid Small										SPLASH OOPSLA A complete formal semantics of eBPF instruction set architecture for Solana 13:45 - 14:00			SPLASH OOPSLA Adequacy for Algebraic Effects Revisited 14:00 - 14:15			SPLASH OOPSLA A Mechanized Semantics for Dataflow Circuits 14:15 - 14:30			SPLASH OOPSLA Dynamic Wind for Effect Handlers 14:30 - 14:45			SPLASH OOPSLA React-tRace: A Semantics for Understanding React Hooks 14:45 - 15:00			SPLASH OOPSLA Semantics of Sets of Programs 15:00 - 15:15			SPLASH OOPSLA Zero-Overhead Lexical Effect Handlers 15:15 - 15:30									SPLASH OOPSLA Debugging WebAssembly? Put some Whamm on it! 16:00 - 16:15			SPLASH OOPSLA MIO: Multiverse Debugging in the face of Input/Output 16:15 - 16:30			SPLASH OOPSLA PReMM: LLM-Based Program Repair for Multi-Method Bugs via Divide and Co ... 16:30 - 16:45			SPLASH OOPSLA Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repai ... 16:45 - 17:00			SPLASH OOPSLA Translation Validation for LLVM's AArch64 Backend 17:00 - 17:15			SPLASH OOPSLA Validating SMT Rewriters via Rewrite Space Exploration Supported by Gen ... 17:15 - 17:30

Sat 18 Oct
Displayed time zone: Perth 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
Orchid Small							SPLASH OOPSLA AccelerQ: Accelerating Quantum Eigensolvers With Machine Learning on Qu ... 10:30 - 10:45			SPLASH OOPSLA A Language for Quantifying Quantum Network Behavior 10:45 - 11:00			SPLASH OOPSLA Compositional Quantum Control Flow with Efficient Compilation in Qunity 11:00 - 11:15			SPLASH OOPSLA Dependency-Aware Compilation for Surface Code Quantum Architectures 11:15 - 11:30			SPLASH OOPSLA QbC: Quantum Correctness by Construction 11:30 - 11:45			SPLASH OOPSLA qblaze: An Efficient and Scalable Sparse Quantum Simulator 11:45 - 12:00			SPLASH OOPSLA Shaking Up Quantum Simulators with Fuzzing and Rigour 12:00 - 12:15																					SPLASH OOPSLA Adaptive Shielding via Parametric Safety Proofs 13:45 - 14:00			SPLASH OOPSLA Certified Decision Procedures for Width-Independent Bitvector Predicates 14:00 - 14:15			SPLASH OOPSLA Checking $\delta$-Satisfiability of Reals with Integrals 14:15 - 14:30			SPLASH OOPSLA Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge 14:30 - 14:45			SPLASH OOPSLA Incremental Certified Programming 14:45 - 15:00			SPLASH OOPSLA Pathological Cases for a Class of Reachability-Based Garbage Collectors 15:00 - 15:15			SPLASH OOPSLA SafeTree: Expressive Tree Policies for Microservices 15:15 - 15:30									SPLASH OOPSLA (TOPLAS) Polynomial Bounds of CFLOBDDs against BDDs 16:00 - 16:15			SPLASH OOPSLA (TOPLAS) Type-Safe Compilation of Dynamic Inheritance via Merging 16:15 - 16:30			SPLASH OOPSLA Detecting and explaining (in-)equivalence of context-free grammars 16:30 - 16:45			SPLASH OOPSLA Modal Abstractions for Virtualizing Memory Addresses 16:45 - 17:00			SPLASH OOPSLA Agora: Trust Less and Open More in Verification for Confidential Computing 17:00 - 17:15			SPLASH OOPSLA QED in Context: An Observation Study of Proof Assistant Users 17:15 - 17:30

Room information: Orchid Small

This program is tentative and subject to change.

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

MPLR

MPLR

MPLR

Wed 15 Oct
Displayed time zone: Perth change

VMIL

VMIL

VMIL

Thu 16 Oct
Displayed time zone: Perth change

WebAssembly Workshop

WebAssembly Workshop

WebAssembly Workshop

Fri 17 Oct
Displayed time zone: Perth change

Student Research Competition

OOPSLA

OOPSLA

Sat 18 Oct
Displayed time zone: Perth change

OOPSLA

OOPSLA

OOPSLA

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Tracks

ICFP/SPLASH 2025

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Orchid Small

This program is tentative and subject to change.

Program Display Configuration

Fri 17 OctDisplayed time zone: Perth change

Sat 18 OctDisplayed time zone: Perth change

Tue 14 OctDisplayed time zone: Perth change

MPLR

MPLR

MPLR

Wed 15 OctDisplayed time zone: Perth change

VMIL

VMIL

VMIL

Thu 16 OctDisplayed time zone: Perth change

WebAssembly Workshop

WebAssembly Workshop

WebAssembly Workshop

Fri 17 OctDisplayed time zone: Perth change

Student Research Competition

OOPSLA

OOPSLA

Sat 18 OctDisplayed time zone: Perth change

OOPSLA

OOPSLA

OOPSLA

Fri 17 OctDisplayed time zone: Perth change

Sat 18 OctDisplayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change