Imperative Quantum Programming with Ownership and Borrowing in Guppy (PLanQC 2025)

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Mark Koch, Agustin Borgna, Craig Roy, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan

Track

PLanQC 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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

Sat 25 Jan 2025 17:07 - 17:30 at Red Rover - Session 4

Abstract

Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum’s Guppy programming language.

File attachments

(guppy_planqc_2025.pdf)	352KiB

Mark Koch

Quantinuum

Agustin Borgna

Quantinuum

Craig Roy

Quantinuum

Alan Lawrence

Quantinuum

Kartik Singhal

Quantinuum

United States

Seyon Sivarajah

Quantinuum

Ross Duncan

Quantinuum

Guppy on GitHub

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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

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

16:00 - 17:30	Session 4PLanQC at Red Rover

16:00 22m Talk		Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)TalkRemote PLanQC Zhicheng Zhang University of Technology Sydney, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University File Attached
16:22 22m Talk		Programming with Projective CliffordsTalk PLanQC Jennifer Paykin Intel, Sam Winnick University of Waterloo File Attached
16:45 22m Talk		Proto-Quipper with Reversing and ControlTalk PLanQC Peng Fu University of South Carolina, Kohei Kishida University of Illinois at Urbana-Champaign, Neil Julien Ross Dalhousie University, Peter Selinger Dalhousie University File Attached
17:07 22m Talk		Imperative Quantum Programming with Ownership and Borrowing in GuppyTalk PLanQC Mark Koch Quantinuum, Agustin Borgna Quantinuum, Craig Roy Quantinuum, Alan Lawrence Quantinuum, Kartik Singhal Quantinuum, Seyon Sivarajah Quantinuum, Ross Duncan Quantinuum Media Attached File Attached