Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
2
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
Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
We launch
Parf
– a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. …
Zhongyi Wang
,
Mingshuai Chen
,
Tengjie Lin
,
Linyu Yang
,
Junhao Zhuo
,
Qiuye Wang
,
Shengchao Qin
,
Xiao Yi
,
Jianwei Yin
Cite
2nd Prize@ChinaSoft'24
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 Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services
The advancement of AI-generated content (AIGC) drives the diversification of healthcare services, resulting in increased private …
Jintao Chen
,
Fan Wang
,
Shengye Pang
,
Mingshuai Chen
,
Meng Xi
,
Tiancheng Zhao
,
Jianwei Yin
PDF
Cite
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
Lower Bounds for Possibly Divergent Probabilistic Programs
We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to …
Shenghua Feng
,
Mingshuai Chen
,
Han Su
,
Benjamin Lucien Kaminski
,
Joost-Pieter Katoen
,
Naijun Zhan
PDF
Cite
Poster
Slides
DOI
Encoding Inductive Invariants as Barrier Certificates
We present the
invariant barrier-certificate condition
that witnesses unbounded-time safety of differential dynamical systems. The …
Qiuye Wang
,
Mingshuai Chen
,
Bai Xue
,
Naijun Zhan
,
Joost-Pieter Katoen
PDF
Cite
Code
Slides
DOI
From Model to Implementation: A Network Algorithm Programming Language
Software-defined networking (SDN) is a revolutionary technology that facilitates network management and enables programmatically …
Jian Wang
,
Jie An
,
Mingshuai Chen
,
Naijun Zhan
,
Lulin Wang
,
Miaomiao Zhang
,
Ting Gan
PDF
Cite
Code
DOI
Indecision and Delays are the Parents of Failure
The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Slides
Video
DOI
In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata
Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with …
Martin Fränzle
,
Mingshuai Chen
,
Paul Kröger
PDF
Cite
DOI
»
Cite
×