This program is tentative and subject to change.
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 OctDisplayed time zone: Pacific Time (US & Canada) change
16:00 - 17:30 | |||
16:00 30mShort-paper | WiP: Labeled Union-Find for Constraint FactorizationShort Paper NSAD | ||
16:30 30mFull-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 |