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.
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.
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.
58 | Variational Quantum Semi-definite Programming
Solving optimization problems is a key task for which quantum computers could possibly provide a speedup over the best known classical algorithms.
53 | Quantum Computational Chemistry: Variational Quantum Eigensolver and the Design of Ansatz
Over the past decade, quantum computing has experienced remarkable growth and development, opening up new possibilities for simulating molecular properties.
52 | Open Quantum Systems in Quantum Computing
Quantum dynamics in real-world scenarios seldom stand alone; they occur under the continuous influence of surrounding environments.
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.
42 | Align or Not Align? Design Quantum Approximate Operator Ansatz (QAOA) with Applications in Constrained Optimization
Combinatorial optimization has been one of most promising use cases of the near-term quantum computers.
50 | Quantum Oracle Synthesis with an Application to QRNG
Several prominent quantum computing algorithms—including Grover’s search algorithm and Shor’s algorithm for finding the prime factorization of an integer—employ subcircuits termed ‘oracles’ that embed a specific instance of a mathematical function into a corresponding bijective function that is then realized as a quantum circuit representation.
40 | Parameter Setting in Quantum Approximate Optimization of Weighted Problems
Quantum Approximate Optimization Algorithm (QAOA) is a leading candidate algorithm for solving combinatorial optimization problems on quantum computers.
38 | Pulse-based Variational Quantum Eigensolver and Pulse-Efficient Transpilation
State-of-the-art noisy digital quantum computers can only execute short-depth quantum circuits.
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.
35 | Hybrid Quantum-Classic Computing for Future Network Optimization
Benefited from the technology development of controlling quantum particles and constructing quantum hardware, quantum computation has attracted more and more attention in recent years.
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.
31 | Quantum Computing and Quantum Communication in the Financial World
Finance has been identified as the first industry sector to benefit from quantum computing, due to its abundance of use cases with exponential complexity and the fact that, in finance, time is of the essence, which makes the case for solutions to be computed with high accuracy in real time.
30 | Efficient Hamiltonian Reduction for Scalable Quantum Computing on Clique Cover/Graph Coloring Problems in SatCom
Clique cover and graph coloring are complementary problems which have many applications in wireless communications, especially in satellite communications (SatCom).
29 | Rethinking Most-significant Digit-first Arithmetic for Quantum Computing in NISQ Era
In recent years, quantum computers have attracted extensive research interest due to their potential capability of solving problems which are not easily solvable using classical computers.
26 | Abstractions Are Bridges Toward Quantum Programming
In this talk, I present abstractions that help classical developers reason about the quantum world, with the goal of designing expressive and sound tools for quantum programming.
27 | Understanding Quantum Supremacy Conditions for Gaussian Boson Sampling with High Performance Computing
Recent quantum supremacy experiments demonstrated with boson sampling garnered significant attention, while efforts to perfect approximate classical simulation techniques challenge supremacy claims on different fronts.
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.
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.
16 | Distributed Quantum Computing
Quantum processing units (QPUs) have to satisfy highly demanding quantity and quality requirements on their qubits to produce accurate results for problems at useful scales.
15 | Quantum Crosstalk Robust Quantum Control
The prevalence of quantum crosstalk in current quantum devices poses challenges to achieving high-fidelity quantum logic operations and reliable quantum processing.
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.
11 | Building Blocks of Scalable Quantum Information Science
Quantum information technologies are expected to enable transformative technologies with wide-ranging global impact.
10 | Solving Nonlinear Partial Differential Equations using Variational Quantum Algorithms on Noisy Quantum Computers
Partial differential equations (PDEs) have long been the center of interest to system modeling in many disciplines of science and engineering, such as computational physics, fluid mechanics, and quantitative finance.
9 | Protocol Design for Quantum Network Routing
Quantum entanglement enables important computing applications such as quantum key distribution.
