Reading group on Quantum Programming Languages, Fall 2018 @ UMD

This reading group is co-organized by QuICS and PLUM as part of UMIACS and CS at UMD. We focus on programming language theory and techniques when applied to (near-term) quantum computers. Please contact Xiaodi Wu if you are interested.

• Meeting: Wednesday 3:00pm - 4:00pm , location alternates between ATL 3100A (QuICS) and AVW 3460 (MC2).

Schedule

• September 12th: at ATL 3100A. Organization Meeting.

• September 19th: at AVW 3460. Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware. Presenter: Mike Hicks.

• September 26th: at AVW 3460. Canceled. Check Workshop on Quantum Machine Learning @ QuICS

• October 3rd: at AVW 3460. Toward the first quantum simulation with quantum speedup. Presenter: Yuan Su.

• October 10th: at ATL 3100A. QWIRE: A Core Language for Quantum Circuits. Presenter: Robert Rand.

• October 17th: at AVW 3460. Canceled.

• October 24th: at ATL 3100A. Floyd–hoare logic for quantum programs. Presenter: Shaopeng Zhu.

• October 31st: at AVW 3460. A Practical Quantum Instruction Set Architecture. Presenter: Shih-han Hung.

• November 7th: at AVW 3460. Error Mitigation. Presenter: Xin Wang.

• November 14th: at ATL 3100A. Circuit Mapping. Presenter: Eddie Schoute.

• November 21st: Thanksgiving.

• November 28th: at ATL 3100A. Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels. Presenter: Kesha Hietala.

• December 5th: at AVW 3460.Quantum Relational Hoare Logic. Presenter: Robert Rand.

References (not meant to be comprehensive)

• Textbook

  • M. Ying. Foundations of Quantum Programming, Morgan Kaufmann, 2016.

  • B. Coecke and A. Kissinger. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, Cambridge University Press, 2017.

• Quantum Programming Language Theory

  • Conventions for Quantum Pseudocode

  • Towards a Quantum Programming Language

  • Quantum Programming in QCL

  • Quantum lambda calculus

• Modern Quantum Languages

  • Quipper: A Scalable Quantum Programming Language

  • Q#: Enabling scalable quantum computing and development with a high-level DSL

  • QWIRE: A Core Language for Quantum Circuits

• Instruction Set Architecture

  • A Practical Quantum Instruction Set Architecture

  • eQASM: An Executable Quantum Instruction Set Architecture

• Verification

  • Quantum weakest preconditions

  • Floyd–hoare logic for quantum programs

  • Quantum Relational Hoare Logic

  • Towards Large-scale Functional Verification of Universal Quantum Circuits

  • Quantomatic: A Proof Assistant for Diagrammatic Reasoning

  • Optimising Clifford Circuits with Quantomatic

  • Verifying the Steane code with Quantomatic

  • Verifying the Smallest Interesting Colour Code with Quantomatic

• Circuit Mapping, Optimizations & Transformations

  • Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures

  • Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices

  • Automated optimization of large quantum circuits with continuous parameters

  • Transformation Rules for Designing CNOT-based Quantum Circuits

  • Algebraic Effects, Linearity, and Quantum Programming Languages

• (Classical) Approximate and Probabilistic Computing

  • Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished

  • Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware

  • Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels

  • EnerJ: Approximate Data Types for Safe and General Low-Power Computation

  • Probability Type Inference for Flexible Approximate Programming

  • Expressing and Verifying Probabilistic Assertions

• Techniques for near-term quantum applications (e.g., error-mitigation, quantum chemistry)

  • Error mitigated quantum computational chemistry

  • Error mitigation for short-depth quantum circuits

  • Efficient variational quantum simulator incorporating active error minimisation

  • Mitigating algorithmic errors in Hamiltonian simulation

  • Managing Approximation Errors in Quantum Programs

  • Quantum Computational Chemistry

• Implementation of Quantum Algorithms

  • Toward the first quantum simulation with quantum speedup

  • Concrete resource analysis of the quantum linear system algorithm used to compute the electromagnetic scattering cross section of a 2D target

  • Towards a Scalable Software Stack for Resource Estimation and Optimization in General-Purpose Quantum Computers