This program is tentative and subject to change.

Tue 22 Oct 2024 16:30 - 17:00 at Pacific C - NSAD: Session 3

In quantum computation, entanglement is a fundamental phenomenon that significantly affects the behaviour and correctness of quantum programs. One of the most striking effects of such a phenomenon arises from its interplay with quantum measurement due to a non-classical correlation between some kind of observables and is related to a non-local action, which makes the measurement of one qubit of an entangled pair immediately affects also the other. This leads to potential problems in the execution of a quantum program where variables become entangled during a computation since unintended measurements may cause erroneous results. A static analysis detecting such critical situations is, therefore, necessary to guarantee the correct execution of a quantum program. To pursue this objective, we introduce a novel abstract domain specifically designed to analyse and manage entanglement in quantum programs.

This program is tentative and subject to change.

Tue 22 Oct

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

16:00 - 17:30
NSAD: Session 3NSAD at Pacific C
16:00
30m
Short-paper
WiP: Labeled Union-Find for Constraint FactorizationShort Paper
NSAD
Matthieu Lemerre Université Paris-Saclay - CEA LIST, Dorian Lesbre CEA List
16:30
30m
Full-paper
Abstracting EntanglementFull Paper
NSAD
Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
17:00
10m
Closing
NSAD
Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona