68 | Bridging Hardware and Software: Optimizing Quantum Compilation and Benchmarking for Scalable Quantum Systems
This lecture discusses how integrated hardware–software co-design can address key challenges in scalable quantum computing.
67 | Quantum Recursive Programming: Verification and Implementation
Quantum recursive programming has recently been introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way.
51 | Design Automation for Quantum Computing
This talk will provide the full picture of design automation for quantum computing - from designing quantum algorithms and quantum circuits to quantum computing using physical quantum hardware.
37 | Elevating Quantum Compiler Performance through Enhanced Awareness in the Compilation Stages
Quantum compiler plays a critical role in practical quantum compilation, particularly in the Noise-Intermediate-Scale-Quantum (NISQ) era.
24 | Automatic Formal Verification of the Qiskit Compiler
Quantum compilers are essential in the quantum software stack but are error-prone.
23 | Software Tools for Analog Quantum Computing
Recent experimental results suggest that continuous-time analog quantum simulation would be advantageous over gate-based digital quantum simulation in the Noisy Intermediate-Size Quantum (NISQ) machine era.
14 | Compilation for Near-Term Quantum Computing: Gap Analysis and Optimal Solution
The most challenging stage in compilation for near-term quantum computing is qubit mapping, also called layout synthesis, where qubits in quantum programs are mapped to physical qubits.