論文の概要: ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language

• arxiv url: http://arxiv.org/abs/2501.13262v1
• Date: Wed, 22 Jan 2025 22:54:13 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-24 15:55:49.655859
• Title: ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
• Title（参考訳）: ASDF: Basis-Oriented Quantum Programming LanguageであるQwerty用コンパイラ
• Authors: Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R. Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, Jeffrey S. Young, Thomas M. Conte,
• Abstract要約: Qwertyは、回路ではなく、ベースと関数上に構築された高レベルの量子プログラミング言語である。 本稿では,QwertyのオープンソースコンパイラであるASDFについて述べる。
• 参考スコア（独自算出の注目度）: 0.46435896353765527
• License:
• Abstract: Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically specializing adjoint or predicated forms of functions. This paper presents ASDF, an open-source compiler for Qwerty that answers these challenges in compiling basis-oriented languages. Enabled with a novel high-level quantum IR implemented in the MLIR framework, our compiler produces OpenQASM 3 or QIR for either simulation or execution on hardware. Our compiler is evaluated by comparing the fault-tolerant resource requirements of generated circuits with other compilers, finding that ASDF produces circuits with comparable cost to prior circuit-oriented compilers.
• Abstract（参考訳）: Qwertyは、回路ではなく、ベースと関数上に構築された高レベルの量子プログラミング言語である。 この新しいパラダイムでは、ベース翻訳から回路を合成し、随伴型や述語型の関数を自動的に特殊化するという、コンパイルにおける新たな課題が導入されている。 本稿では,QwertyのオープンソースコンパイラであるASDFについて述べる。 MLIRフレームワークに実装された新しい高レベル量子IRにより、ハードウェア上でのシミュレーションまたは実行のために、我々のコンパイラはOpenQASM 3またはQIRを生成する。 我々のコンパイラは、生成した回路のフォールトトレラントなリソース要求を他のコンパイラと比較することで評価し、ASDFが以前の回路指向コンパイラと同等のコストで回路を生成することを発見した。

関連論文リスト

• Transformers are Efficient Compilers, Provably [11.459397066286822]
  トランスフォーマーベースの大規模言語モデル(LLM)は、幅広い言語関連タスクにおいて驚くほど堅牢なパフォーマンスを示している。 本稿では,表現力の観点から,トランスフォーマーをコンパイラとして用いることの正式な調査に向けて第一歩を踏み出す。 代表言語であるMini-Huskyを導入し、現代のC言語の特徴をカプセル化する。
  論文  参考訳（メタデータ） (2024-10-07T20:31:13Z)
• Formalization of Quantum Intermediate Representations for Code Safety [3.5116128875896067]
  量子中間表現(Quantum Intermediate Representation、QIR)は、Microsoftが開発したLLVMベースの量子プログラムコンパイラの中間表現である。 我々は、QIRのデータ型と命令セットを形式的に定義し、正確性とセキュリティ保証を提供することを目的としている。
  論文  参考訳（メタデータ） (2023-03-25T15:40:18Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。 完全に自動化された量子ソフトウェアスタックを開発する必要がある。 この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
  論文  参考訳（メタデータ） (2023-01-10T19:00:00Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  並列量子プログラミングのための言語拡張を提案する。 QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。 並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
  論文  参考訳（メタデータ） (2022-10-07T16:35:16Z)
• Arline Benchmarks: Automated Benchmarking Platform for Quantum Compilers [0.0]
  オープンソースのソフトウェアパッケージであるArline Benchmarksは、量子コンパイラの自動ベンチマークを実行するように設計されている。 重要なメトリクスのセットに基づいて、いくつかの量子コンパイルフレームワークを比較した。 本稿では,コンパイラ固有の回路最適化を1つのコンパイルスタックで組み合わせた,複合コンパイルパイプラインの概念を提案する。
  論文  参考訳（メタデータ） (2022-02-28T18:48:01Z)
• Enabling Retargetable Optimizing Compilers for Quantum Accelerators via a Multi-Level Intermediate Representation [78.8942067357231]
  我々は、最適化され、再ターゲット可能で、事前コンパイルが可能なマルチレベル量子古典中間表現(IR)を提案する。 ゲートベースのOpenQASM 3言語全体をサポートし、共通量子プログラミングパターンのカスタム拡張と構文の改善を提供します。 私たちの研究は、通常のPythonのアプローチよりも1000倍高速で、スタンドアロンの量子言語コンパイラよりも5～10倍高速なコンパイル時間を実現しています。
  論文  参考訳（メタデータ） (2021-09-01T17:29:47Z)
• Extending Python for Quantum-Classical Computing via Quantum Just-in-Time Compilation [78.8942067357231]
  Pythonは、その柔軟性、ユーザビリティ、可読性、開発者の生産性を重視することで有名な人気のあるプログラミング言語です。 量子ジャスト・イン・タイム・コンパイルのための堅牢なC++インフラストラクチャを通じて、異種量子古典計算を可能にするPythonの言語拡張を提案する。
  論文  参考訳（メタデータ） (2021-05-10T21:11:21Z)
• A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
  量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。 我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。 我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
  論文  参考訳（メタデータ） (2021-01-27T13:00:39Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。 我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-08T12:49:07Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。