research
∙
09/09/2023
Detecting Violations of Differential Privacy for Quantum Algorithms
Quantum algorithms for solving a wide range of practical problems have b...
share
research
∙
11/08/2022
Differentiable Quantum Programming with Unbounded Loops
The emergence of variational quantum applications has led to the develop...
research
∙
07/22/2022
CoqQ: Foundational Verification of Quantum Programs
CoqQ is a framework for reasoning about quantum programs in the Coq proo...
research
∙
07/22/2022
Verifying Fairness in Quantum Machine Learning
Due to the beyond-classical capability of quantum computing, quantum mac...
research
∙
05/04/2022
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
A first-order logic with quantum variables is needed as an assertion lan...
research
∙
03/25/2022
New Quantum Algorithms for Computing Quantum Entropies and Distances
We propose a series of quantum algorithms for computing a wide range of ...
research
∙
10/13/2021
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
We investigate the algebraic reasoning of quantum programs inspired by t...
research
∙
07/24/2021
Reasoning about Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
research
∙
04/30/2021
Verification of Distributed Quantum Programs
Distributed quantum systems and especially the Quantum Internet have the...
research
∙
04/23/2021
Model Checking for Verification of Quantum Circuits
In this talk, we will describe a framework for assertion-based verificat...
research
∙
03/22/2021
Approximate Equivalence Checking of Noisy Quantum Circuits
We study the fundamental design automation problem of equivalence checki...
research
∙
01/30/2021
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
We propose a model of the substructural logic of Bunched Implications (B...
research
∙
12/23/2020
Software Pipelining for Quantum Loop Programs
We propose a method for performing software pipelining on quantum for-lo...
research
∙
12/17/2020
Quantum Algorithm for Lexicographically Minimal String Rotation
Lexicographically minimal string rotation (LMSR) is a problem to find th...
research
∙
10/05/2020
Symbolic Verification of Quantum Circuits
This short note proposes a symbolic approach for representing and reason...
research
∙
09/06/2020
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum ...
research
∙
08/17/2020
Robustness Verification of Quantum Machine Learning
Several important models of machine learning algorithms have been succes...
research
∙
08/15/2020
Quantum Hoare logic with classical variables
Hoare logic provides a syntax-oriented method to reason about program co...
research
∙
03/07/2020
Quantum Random Access Stored-Program Machines
Random access machines (RAMs) and random access stored-program machines ...
research
∙
11/28/2019
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
In this paper, we propose Poq, a runtime assertion scheme for debugging ...
research
∙
11/28/2019
Expected Runtime of Quantum Programs
Building upon recent work on probabilistic programs, we formally define ...
research
∙
02/08/2019
Model Checking Applied to Quantum Physics
Model checking has been successfully applied to verification of computer...
research
∙
01/16/2019
Coupling Techniques for Reasoning about Quantum Programs
Relational verification of quantum programs has many potential applicati...
research
∙
12/02/2018
A Logic for Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
research
∙
11/08/2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Quantum computation is a topic of significant recent interest, with prac...
research
∙
10/26/2018
Reasoning about Parallel Quantum Programs
We initiate the study of parallel quantum programming by defining the op...
research
∙
07/31/2018
Toward Automatic Verification of Quantum Programs
This paper summarises the results obtained by the author and his collabo...
research
∙
07/25/2018
Model Checking Quantum Systems --- A Survey
This article discusses the essential difficulties in developing model-ch...
research
∙
04/24/2018
Quantum Büchi Automata
This paper defines a notion of quantum Büchi automaton (QBA for short) w...
research
∙
03/28/2018
Quantum Coupling and Strassen Theorem
We introduce a quantum generalisation of the notion of coupling in proba...
research
∙
10/26/2017
Q|SI〉: A Quantum Programming Environment
This paper describes a quantum programming environment, named Q|SI〉. It ...
research
∙
09/01/2009