A Static Analysis for High-Level Quantum Programming Languages (WQS 2024 - Workshop on Quantum Software 2024)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni

Track

WQS 2024

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 24 Jun 2024 14:20 - 14:40 at Copenhagen - Session 3

Abstract

We introduce a static analysis approach to addressing some of the problems encountered in programming with a high-level quantum language. We present, in particular, a dataflow analysis for detecting variables that need to be uncomputed to preserve the correctness of the program. A compiler including such an analysis, would automatically tranform a program without the programmer intervention.

Nicola Assolini

Università degli Studi di Verona

Italy

Alessandra Di Pierro

University of Verona, Italy

Italy

Isabella Mastroeni

University of Verona, Italy

Italy

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 24 Jun
Displayed time zone: Windhoek change

13:40 - 15:20	Session 3WQS at Copenhagen

13:40 40m Keynote		Quantum program analysis: Verification and TestingREMOTE WQS Nengkun Yu Stony Brook University, USA
14:20 20m Talk		A Static Analysis for High-Level Quantum Programming Languages WQS Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
14:40 20m Talk		Efficient Formal Verification of Quantum Error Correcting ProgramsREMOTE WQS Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University
15:00 20m Talk		Verifying Quantum Circuits in GAP WQS Scott Wesley University of Waterloo, Canada