SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Sat 18 Oct 2025 10:30 - 10:45 at Orchid Small - Quantum

We present AccelerQ, a framework for automatically tuning quantum eigensolver (QE) implementations–these are quantum programs implementing a specific QE algorithm–using machine learning and search-based optimisation. Rather than redesigning quantum algorithms or optimising the implementation of an already existing algorithm, AccelerQ treats QE implementations as black-box programs and learns to optimise their hyperparameters to improve accuracy and efficiency.

Our approach leverages two key insights: (1) training on data extracted from smaller and simpler QE implementations’ inputs, and (2) training a program-specific ML model. To further enhance our approach, we incorporate search-based techniques and genetic algorithms alongside machine learning models to efficiently explore the hyperparameter space of QE implementations and avoid local minima.

To evaluate AccelerQ, we applied it to the Quantum Eigensolver as a use case using two fundamentally different quantum implementations: ADAPT-QSCI and QCELS. For each, we trained a lightweight XGBoost Python regressor model using data extracted classically from systems of up to 16 qubits. We deployed the model to optimise hyperparameters for executions on larger systems–20-, 24-, and 28-qubit Hamiltonians, where direct classical simulation becomes impractical.

For ADAPT-QSCI, we observed a reduction in error from 5.48% to 5.3% with only the ML model and further to 5.05% using genetic algorithms. For QCELS, ML reduced the error from 7.5% to 6.5%, with no additional gain from genetic algorithm use. Our results highlight the potential of machine learning and optimisation techniques for quantum programs and suggest promising directions for integrating software engineering methods into quantum software stacks. Nonetheless, due to inconclusive results with some of the Hamiltonian systems of 20- and 24-qubit systems, we suggest further examination of the training data based on Hamiltonian characteristics.

This program is tentative and subject to change.

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
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