Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Liqiang Lu
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
.
PDF
Cite
Code
DOI
Artifact Evaluated
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
.
PDF
Cite
Code
DOI
Preprints
Yutao Sun
,
Mingshuai Chen
,
Tiancheng Zhao
,
Kangjia Zhao
,
He Li
,
Jintao Chen
,
Liqiang Lu
,
Xinkui Zhao
,
Shuiguang Deng
,
Jianwei Yin
(2024).
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
.
arXiv
.
Preprint
.
PDF
Cite
Code
Dataset
Cite
×