34 citations · 48 across the 7 of their papers we have counts for
8 papers
RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V
Junyi Liu, Yi Lee, Haowei Deng +3
Quantum computing imposes stringent requirements for the precise control of large-scale qubit systems, including, for example, microsecond-latency feedback and nanosecond-precision…
Honeycomb: ordered key-value store acceleration on an FPGA-based SmartNIC
Junyi Liu, Aleksandar Dragojevic, Shane Flemming +6
In-memory ordered key-value stores are an important building block in modern distributed applications. We present Honeycomb, a hybrid software-hardware system for accelerating read…
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub +2
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quant…
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan +5
In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) co…
New Quantum Algorithms for Computing Quantum Entropies and Distances
Qisheng Wang, Ji Guan, Junyi Liu +2
We propose a series of quantum algorithms for computing a wide range of quantum entropies and distances, including the von Neumann entropy, quantum Rényi entropy, trace distance, a…
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
Junyi Liu, Li Zhou, Gilles Barthe +1
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondi…
Automatic Generation of Multi-precision Multi-arithmetic CNN Accelerators for FPGAs
Yiren Zhao, Xitong Gao, Xuan Guo +6
Modern deep Convolutional Neural Networks (CNNs) are computationally demanding, yet real applications often require high throughput and low latency. To help tackle these problems,…
Equivalence Checking of Quantum Finite-State Machines
Qisheng Wang, Junyi Liu, Mingsheng Ying
In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them. Two efficient algorithms are developed for che…