Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Debin Xiang
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
Cite
×