The workshop aims to bring together researchers from quantum computing, electronic design automation, and compiler construction. Open questions that we anticipate this group to tackle include new methods for circuit synthesis, optimization, and rewriting, techniques for verifying the correctness of quantum programs, and new techniques for compiling efficient circuits and protocols regarding fault-tolerant and architecture constraints.
The scope of the workshop includes, but is not limited to, current hot topics in quantum software compilation such as
Depth- and space-optimizing compilers for quantum circuits
Quantum and reversible circuit peep-holing and (re)synthesis
Reversible logic synthesis
Technology-aware mapping
Fault-tolerant circuit compilation
Quantum programming languages
Intermediate representations for quantum software
Optimized libraries (e.g., for arithmetic and Hamiltonian simulation)
Benchmarking of circuits for small and medium scale quantum computers
Design-space exploration for automatic code generation from classical HDL specification
Software and tools for all above mentioned topics
Quantum outreach: coding contests, tutorials, education
