论文标题
ISQ：建立实用软件堆栈用于量子编程
isQ: Towards a Practical Software Stack for Quantum Programming
论文作者
论文摘要
我们介绍了ISQ，这是一种新的软件堆栈，用于以命令性编程语言（也称为ISQ）的量子编程。 ISQ的目的是使程序员尽可能方便地编写量子程序。特别是：1）ISQ语言及其编译器包含许多功能，其中包括（大多数）其他量子编程平台支持的功能，例如经典控制流，例如递归；自定义的统一大门的分解；和Oracle编程及其电路实现。 2）为了使其灵活，可以将ISQ程序编译成几种类型的中间表示形式，包括OpenQASM 3.0，QIR和QCIS（专为USTC的超导量子硬件定制）。 3）除了与真实超导硬件的ISQ接口外，还开发了QIR模拟器用于演示和测试ISQ程序。
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum programs as conveniently as possible. In particular: 1) The isQ language and its compiler contain many features, including some not well supported by (most) other quantum programming platforms, e.g. classical control flow such as recursion; decomposition of selfdefined unitary gates; and oracle programming and its circuit realization. 2) To make it flexible, an isQ program can be compiled into several kinds of intermediate representation, including OpenQASM 3.0, QIR and QCIS (specially tailored for the superconducting quantum hardware at USTC). 3) Besides interfacing isQ with true superconducting hardware, a QIR simulator is also developed for demonstration and testing of isQ programs.
