Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 16:59 - 17:21 at Sala I - Quantum Programming Chair(s): Jens Palsberg

Quantum programming languages permit a hardware independent, high-level description of quantum algorithms. In particular, the quantum lambda-calculus is a higher-order programming language with quantum primitives, mixing quantum data and classical control. Giving satisfactory denotational semantics to the quantum lambda-calculus is a challenging problem that has attracted significant interest in the past few years. Several models have been proposed but for those that address the whole quantum lambda-calculus, they either do not represent the dynamics of computation, or they lack the compositionality one often expects from denotational models.

In this paper, we give the first compositional and interactive model of the full quantum lambda-calculus, based on game semantics. To achieve this we introduce a model of quantum games and strategies, combining quantum data with a representation of the dynamics of computation inspired from causal models of concurrent systems. In this category we first give a computationally adequate interpretation of the affine fragment. Then, we extend the model with a notion of symmetry, allowing us to deal with replication. In this refined setting, we interpret and prove adequacy for the full quantum lambda-calculus. We do this both from a sequential and a parallel interpretation, the latter representing faithfully the causal independence between sub-computations.

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:37 - 17:43: Quantum ProgrammingResearch Papers at Sala I
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
16:37 - 16:59
Quantitative Robustness Analysis of Quantum Programs
Research Papers
Shih-Han HungUniversity of Maryland, Kesha HietalaUniversity of Maryland, Shaopeng ZhuUniversity of Maryland, Mingsheng YingUniversity of Technology Sydney, Michael HicksUniversity of Maryland, College Park, Xiaodi WuUniversity of Oregon, USA
Link to publication DOI Media Attached
16:59 - 17:21
Game Semantics for Quantum Programming
Research Papers
Link to publication DOI Media Attached
17:21 - 17:43
Quantum Relational Hoare Logic
Research Papers
Dominique UnruhUniversity of Tartu
Link to publication DOI Pre-print Media Attached File Attached