6 papers
A Domain-Specific Language for Formulating Hybrid Quantum-Classical Meta-Solver Strategies
Nick Poser, Domenik Eichhorn, Ina Schaefer
A key challenge when designing hybrid quantum-classical workflows is the identification of quantum candidates, that is, determining for which specific problems quantum advantages c…
Transpiler Autotuning with Predictive Models for Quantum Circuit Optimization
Piotr Malkowski, Domenik Eichhorn, Joshua Ammermann +4
Quantum software engineering is an emerging research field focusing on efficiently embedding the quantum programming paradigm into existing software ecosystems. A key aspect of thi…
Investigating Retargetability Claims for Quantum Compilers
Luke Southall, Joshua Ammermann, Rinor Kelmendi +2
In the NISQ-era, there is a wide variety of hardware manufacturers building quantum computers. Each of these companies may choose different approaches and hardware architectures fo…
ProvideQ: A Quantum Optimization Toolbox
Domenik Eichhorn, Nick Poser, Maximilian Schweikart +1
Hybrid solvers for combinatorial optimization problems combine the advantages of classical and quantum computing to overcome difficult computational challenges. Although their theo…
Hybrid Meta-Solving for Practical Quantum Computing
Domenik Eichhorn, Maximilian Schweikart, Nick Poser +3
The advent of quantum algorithms has initiated a discourse on the potential for quantum speedups for optimization problems. However, several factors still hinder a practical realiz…
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn +2
A software product line models the variability of highly configurable systems. Complete exploration of all valid configurations (the configuration space) is infeasible as it grows…