Buchumschlag

Dataflow-Based Optimization for Quantum Intermediate Representation Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Luo, Junjie, Zhang, Haoyu, Zhao, Jianjun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Dato: A Task-Based Programming Model for Dataflow Accelerators
von: Fang, Shihan, et al.
Veröffentlicht: (2025)

HUGR: A Quantum-Classical Intermediate Representation
von: Koch, Mark, et al.
Veröffentlicht: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
von: Zhang, William, et al.
Veröffentlicht: (2024)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
von: Li, Wei, et al.
Veröffentlicht: (2025)

Teaching Synchronous Dataflow Modelling with Learn-Heptagon
von: Garoche, Pierre-Loïc, et al.
Veröffentlicht: (2026)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
von: Lin, Zhengyao, et al.
Veröffentlicht: (2023)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
von: Schulz-Rosengarten, Alexander, et al.
Veröffentlicht: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
von: Leißa, Roland, et al.
Veröffentlicht: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
von: He, Pengfei, et al.
Veröffentlicht: (2026)

TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design
von: Guo, Licheng, et al.
Veröffentlicht: (2022)

Scaling Inter-procedural Dataflow Analysis on the Cloud
von: Sun, Zewen, et al.
Veröffentlicht: (2024)

A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation
von: van de Griend, Arianne Meijer -
Veröffentlicht: (2023)

Suki: Choreographed Distributed Dataflow in Rust
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators
von: Paul, Indraneil, et al.
Veröffentlicht: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
von: Parthasarathy, Gaurav, et al.
Veröffentlicht: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
von: Kostopoulou, Kelly, et al.
Veröffentlicht: (2024)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
von: Randone, Francesca, et al.
Veröffentlicht: (2026)

Laws of Quantum Programming
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

Learned Cost Model for Placement on Reconfigurable Dataflow Hardware
von: Guha, Etash, et al.
Veröffentlicht: (2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
von: Liang, Qingyuan, et al.
Veröffentlicht: (2025)

Linear and non-linear relational analyses for Quantum Program Optimization
von: Amy, Matthew, et al.
Veröffentlicht: (2024)

SpaDA: A Spatial Dataflow Architecture Programming Language
von: Gianinazzi, Lukas, et al.
Veröffentlicht: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
von: Ma, Haoyang, et al.
Veröffentlicht: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
von: Bowman, William J.
Veröffentlicht: (2025)

LLM Translation of Compiler Intermediate Representation
von: Ramirez, Andrea Valenzuela, et al.
Veröffentlicht: (2026)

Hybrid Path-Sums for Hybrid Quantum Programs
von: Chareton, Christophe, et al.
Veröffentlicht: (2026)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
von: Lacouture, Rubens, et al.
Veröffentlicht: (2025)

Emergent Representations of Program Semantics in Language Models Trained on Programs
von: Jin, Charles, et al.
Veröffentlicht: (2023)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)

Quantum Programming Without the Quantum Physics
von: Inoue, Jun
Veröffentlicht: (2024)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
von: Fukuda, Kota, et al.
Veröffentlicht: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
von: Niketan, Nripesh, et al.
Veröffentlicht: (2025)