Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Current strategies for quantum software development still exhibit complexity on top of the already-intricate nature of quantum mechanics. Quantum programming languages are either restricted to low-level, gate-based operations appended to classical objects for circuit generation, or require modelling of quantum state transformations in Hilbert space through algebraic representation. \par
This paper presents the Quff language which is a high-level, dynamically typed quantum-classical programming language. The Quff compiler and runtime system facilitates quantum software development with high-level expression abstracted across the quantum-classical paradigms. Quff is constructed on top of the Truffle framework which aids the implementation and efficiency of the stack, while reusing the JVM infrastructure. The presented comparisons display that Quff lends itself as an effective, easy-to-use solution for the development of executable quantum programs with automatic circuit generation and efficient computation.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:50 | |||
13:30 15mShort-paper | mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices MPLR A: Go Suzuki Tokyo Institute of Technology, A: Takuo Watanabe Tokyo Institute of Technology, A: Sosuke Moriguchi Tokyo Institute of Technology DOI Pre-print Media Attached File Attached | ||
13:45 15mShort-paper | Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming MPLR DOI | ||
14:00 25mPaper | Existential Containers in Scala MPLR DOI | ||
14:25 25mPaper | Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language MPLR A: Christopher John Wright University of Manchester, A: Mikel Luján University of Manchester, A: Pavlos Petoumenos University of Manchester, A: John Goodacre University of Manchester DOI |