70 | The Brave New (Quantum) World
Major advances across all the design stack of Quantum computing – algorithm, software, and hardware – has brought us to a realm where, it is impossible to ignore the effect of Quantum computing in the world around us.
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.
69 | TQEC Tool Overview
Compiling a quantum algorithm to run on a quantum computer consisting of a 2D array of qubits with only nearest neighbor interactions is a complex problem.
55 | Scaling Quantum Computing Systems via Codesign
The full promise of quantum computation will only be realized if quantum devices scale.
46 | Numerical Methods of Optimal Quantum Control
At the heart of the next-level quantum technology like quantum computing lies the problem of actively controlling the dynamics of a quantum system.
39 | Control Systems & Systems Software @ IBM Quantum
The field of quantum computing has rapidly developed around a cloud model, in which users receive a remote handle to a quantum system, compile (transpile) quantum programs (circuits) for the target system, and then remotely invoke an execution on the system from which they then fetch the results of.
33 | Quantum Graphical Calculi: Tutorial and Applications
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
32 | Hoare logic for verification of quantum programs
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
28 | Pulse Control for Superconducting Quantum Computers
In superconducting quantum computer, quantum gates are compiled down to a sequence of microwave pulses.
25 | QDiff: Differential Testing for Quantum Software Stacks
Several quantum software stacks (QSS) have been developed in response to rapid hardware advances in quantum computing.
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.
18 | Enabling Deeper Quantum Compiler Optimization at High Level
A quantum compiler is one essential and critical component in a quantum computing system to deploy and optimize the quantum programs onto the underlying physical quantum hardware platforms.
17 | Developing Robust System Software Support for Quantum Computers
The field of quantum computing has observed extraordinary advances in the last decade, including the design and engineering of quantum computers with more than a hundred qubits.
5 | Design Automation and Software Tools for Quantum Computing
Quantum computing is becoming a reality, but automated methods and software tools for this technology are just beginning.