Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
uncertainty
On the Almost-Sure Termination of Probabilistic Counter Programs
This paper introduces $k$-d PCPs – the class of
probabilistic counter programs
with $k \in \mathbb{N}$ counter variables inducing …
Sergei Novozhilov
,
Mingqi Yang
,
Mingshuai Chen
,
Zhiyang Li
,
Jianwei Yin
PDF
Cite
DOI
Artifact Evaluated
Vegapunk: Accurate and Fast Decoding for Quantum LDPC Codes with Online Hierarchical Algorithm and Sparse Accelerator
Quantum Low-Density Parity-Check (qLDPC) codes are a promising class of quantum error-correcting codes that exhibit constant-rate …
Kaiwen Zhou
,
Liqiang Lu
,
Debin Xiang
,
Chenning Tao
,
Anbang Wu
,
Jingwen Leng
,
Fangxin Liu
,
Mingshuai Chen
,
Jianwei Yin
Cite
YOUTIAO: Hybrid Multiplexing with Dynamic Qubit Grouping for Low-cost and Scalable Quantum Wiring
With continuous advances in physical technology, the number of qubits has increased from just a few to several thousand. To further …
Wuwei Tian
,
Liqiang Lu
,
Siwei Tan
,
Shiyu Li
,
Hengyi Li
,
Tianyao Chu
,
Xuhong Zhang
,
Mingshuai Chen
,
Jianwei Yin
Cite
AdaptDQC: Adaptive Distributed Quantum Computing with Quantitative Performance Analysis
We present AdaptDQC, an adaptive compiler framework for optimizing distributed quantum computing (DQC) under diverse performance …
Debin Xiang
,
Liqiang Lu
,
Siwei Tan
,
Xinghui Jia
,
Zhe Zhou
,
Guangyu Sun
,
Mingshuai Chen
,
Jianwei Yin
Cite
Fixed-Point Reasoning for Stochastic Systems
Fixed points are mathematical objects that are commonly employed in computer science to characterize key properties of iterative or …
Zhiyang Li
,
Mingqi Yang
,
Shenghua Feng
,
Mingshuai Chen
Cite
Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
Current quantum programs are usually represented as quantum circuits, including various quantum gates. If the program contains gates …
Siwei Tan
,
Liqiang Lu
,
Congliang Lang
,
Mingshuai Chen
,
Jianwei Yin
PDF
Cite
A Unified Framework for Quantitative Analysis of Probabilistic Programs
Verifying probabilistic programs requires reasoning about various probabilistic behaviors, e.g., random sampling, nondeterminism, and …
Shenghua Feng
,
Tengshun Yang
,
Mingshuai Chen
,
Naijun Zhan
PDF
Cite
DOI
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Unlike classical computing, quantum program verification (QPV) is much more challenging due to the non-duplicability of quantum states …
Siwei Tan
,
Debin Xiang
,
Liqiang Lu
,
Junlin Lu
,
Qiuping Jiang
,
Mingshuai Chen
,
Jianwei Yin
PDF
Cite
Code
DOI
Artifact Evaluated
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
Quantum readout noise turns out to be the most significant source of error, which greatly affects the measurement fidelity. …
Siwei Tan
,
Liqiang Lu
,
Hanyu Zhang
,
Jia Yu
,
Congliang Lang
,
Yongheng Shang
,
Xinkui Zhao
,
Mingshuai Chen
,
Yun Liang
,
Jianwei Yin
PDF
Cite
Code
DOI
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring …
Lutz Klinkenberg
,
Christian Blumenthal
,
Mingshuai Chen
,
Darion Haase
,
Joost-Pieter Katoen
PDF
Cite
Artifact Evaluated
»
Cite
×