VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Mon 20 Jan 2025 12:00 - 12:30 at Hopscotch - Abstract Interpretation # 1 Chair(s): Kedar Namjoshi

Managing quantum variables in quantum programs presents specific challenges due to the possibility of emph{entanglement}, a quantum mechanical phenomenon for which two variables can be in a state where their individual states cannot be separated so that they form, indeed, a single system rather than the composition of two. This can lead to critical issues due to unintended measurements, which may alter the outcome of computations involving entangled variables. To address this problem, we propose a static analysis based on the abstract interpretation framework to soundly and automatically detect entanglement occurring in quantum programs. By constructing an abstract domain for the entanglement property, our analysis identifies cases where side effects from quantum operations may produce unwanted entanglement, thus mitigating unintended computational side effects.

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Abstract Interpretation # 1VMCAI 2025 at Hopscotch
Chair(s): Kedar Namjoshi Nokia Bell Labs
11:00
30m
Talk
Affine Disjunctive Invariant Generation with Farkas’ Lemma
VMCAI 2025
Jingyu Ke Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, Hongming Liu Shanghai Jiao Tong University, Zhouyue Sun Shanghai Jiao Tong University, Liqian Chen National University of Defense Technology, Guoqiang Li Shanghai Jiao Tong University
11:30
30m
Talk
Automatic Inference of Relational Object Invariants
VMCAI 2025
Yusen Su University of Waterloo, Jorge A. Navas Certora, Arie Gurfinkel University of Waterloo, Isabel Garcia-Contreras University of Waterloo
12:00
30m
Talk
A Static Analysis of Entanglement
VMCAI 2025
Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona, Isabella Mastroeni University of Verona