Exploring a quantum programming language with concurrency (QP 2025)

Mon 2 - Fri 6 June 2025 Prague, Czechia

Who

Manisha Jain, Vitor Fernandes, Alexandre Madeira, Luís Barbosa

Track

QP 2025

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 2 Jun 2025 09:00 - 09:20 at S 10 - QP - Session 1 Chair(s): Jose García-Alonso

Abstract

In quantum programming, as in the classical case, concurrent control is a form of program coordination that proves well suited to express complex composition patterns. This paper introduces a quantum programming language with explicit parallel and synchronization primitives and its semantics. The language is explored through a MAUDE implementation, and illustrated with two non trivial examples

Manisha Jain

Vitor Fernandes

University of Minho

Alexandre Madeira

University of Aveiro

Portugal

Luís Barbosa