5 papers
GPU-Accelerated Host-Aware Dead-Measurement Detection in Hybrid Quantum--Classical Programs: Full Version
Yanbin Chen, Qunyou Liu, Yu Wang +2
Hybrid programs combine a quantum circuit with a classical host program that consumes measurement outcomes. In such programs, an outcome may be syntactically read by the host but s…
Max-Policy Iteration, Revisited
David Monniaux, Helmut Seidl
Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…
Compile-Time Simplification of Classically Controlled Operations in Dynamic Circuits
Innocenzo Fulginiti, Yanbin Chen, Christian B. Mendl +1
Dynamic circuits use real-time outcomes of mid-circuit measurements, processed by a classical controller, to adapt subsequent operations during circuit execution. This additional f…
Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
Emil Khusainov, Yanbin Chen, Jonas Winklmann +2
Neutral-atom quantum computing is among the most promising platforms for scalable quantum computation, and compilation toolchains are crucial for leveraging capabilities such as qu…
Dead Gate Elimination
Yanbin Chen, Christian B. Mendl, Helmut Seidl
Hybrid quantum algorithms combine the strengths of quantum and classical computing. Many quantum algorithms, such as the variational quantum eigensolver (VQE), leverage this synerg…