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…