Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Jianwei Yin
Publications with FICTION
Conference Papers
Siwei Tan
,
Debin Xiang
,
Liqiang Lu
,
Junlin Lu
,
Qiuping Jiang
,
Mingshuai Chen
,
Jianwei Yin
(2024).
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
. In
ASPLOS 2024
.
Cite
Siwei Tan
,
Liqiang Lu
,
Hanyu Zhang
,
Jia Yu
,
Congliang Lang
,
Yongheng Shang
,
Xinkui Zhao
,
Mingshuai Chen
,
Yun Liang
,
Jianwei Yin
(2024).
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method
. In
ASPLOS 2024
.
Cite
Mingqi Yang
,
Kevin Batz
,
Mingshuai Chen
,
Joost-Pieter Katoen
,
Zhiang Wu
,
Jianwei Yin
(2024).
Latticed Craig Interpolation with an Application to Probabilistic Verification
. In
CIBD 2024
.
PDF
Cite
Cite
×