Gespeichert in:
| Hauptverfasser: | Xiao, Youwei, Luo, Zizhang, Peng, Weijie, Zou, Yuyang, Liang, Yun |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2511.15073 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)
LLM-Guided Strategy Synthesis for Scalable Equality Saturation
von: Yin, Chenyun, et al.
Veröffentlicht: (2026)
von: Yin, Chenyun, et al.
Veröffentlicht: (2026)
Hive: A Multi-Agent Infrastructure for Algorithm- and Task-Level Scaling
von: Luo, Zizhang, et al.
Veröffentlicht: (2026)
von: Luo, Zizhang, et al.
Veröffentlicht: (2026)
Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
von: Vandevoort, Brecht, et al.
Veröffentlicht: (2025)
von: Vandevoort, Brecht, et al.
Veröffentlicht: (2025)
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
von: Bouajjani, Ahmed, et al.
Veröffentlicht: (2025)
von: Bouajjani, Ahmed, et al.
Veröffentlicht: (2025)
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
von: Tanaka, Izumi, et al.
Veröffentlicht: (2026)
von: Tanaka, Izumi, et al.
Veröffentlicht: (2026)
MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
von: Zou, Qingyun, et al.
Veröffentlicht: (2026)
von: Zou, Qingyun, et al.
Veröffentlicht: (2026)
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)
von: Warren, David S., et al.
Veröffentlicht: (2024)
An Optimizing Framework on MLIR for Efficient FPGA-based Accelerator Generation
von: Zhang, Weichuang, et al.
Veröffentlicht: (2024)
von: Zhang, Weichuang, et al.
Veröffentlicht: (2024)
Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)
von: Faro, Simone, et al.
Veröffentlicht: (2025)
Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
von: Ball, Thomas, et al.
Veröffentlicht: (2024)
von: Ball, Thomas, et al.
Veröffentlicht: (2024)
Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)
QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
von: Zou, Tianrui, et al.
Veröffentlicht: (2025)
von: Zou, Tianrui, et al.
Veröffentlicht: (2025)
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
von: Seidel, Raphael, et al.
Veröffentlicht: (2024)
von: Seidel, Raphael, et al.
Veröffentlicht: (2024)
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
von: Nicola, Mihai, et al.
Veröffentlicht: (2024)
von: Nicola, Mihai, et al.
Veröffentlicht: (2024)
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)
von: Shen, Gan, et al.
Veröffentlicht: (2024)
Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
von: Libbey, Miles A.
Veröffentlicht: (1975)
von: Libbey, Miles A.
Veröffentlicht: (1975)
A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
von: Lei, Jie, et al.
Veröffentlicht: (2025)
von: Lei, Jie, et al.
Veröffentlicht: (2025)
\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
von: Gao, Jun, et al.
Veröffentlicht: (2025)
von: Gao, Jun, et al.
Veröffentlicht: (2025)
DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)
von: Feng, Qiong, et al.
Veröffentlicht: (2026)
Leveraging High-Level Synthesis and Large Language Models to Generate, Simulate, and Deploy a Uniform Random Number Generator Hardware Design
von: Meech, James T.
Veröffentlicht: (2023)
von: Meech, James T.
Veröffentlicht: (2023)
Efficient, Portable, Census-Polymorphic Choreographic Programming
von: Bates, Mako, et al.
Veröffentlicht: (2024)
von: Bates, Mako, et al.
Veröffentlicht: (2024)
Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)
Vbox: Efficient Black-Box Serializability Verification
von: Sun, Weihua, et al.
Veröffentlicht: (2025)
von: Sun, Weihua, et al.
Veröffentlicht: (2025)
vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
von: Ko, Ching-Yun, et al.
Veröffentlicht: (2026)
von: Ko, Ching-Yun, et al.
Veröffentlicht: (2026)
Dataflow-Based Optimization for Quantum Intermediate Representation Programs
von: Luo, Junjie, et al.
Veröffentlicht: (2024)
von: Luo, Junjie, et al.
Veröffentlicht: (2024)
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
von: Ding, Yaoyao, et al.
Veröffentlicht: (2025)
von: Ding, Yaoyao, et al.
Veröffentlicht: (2025)
Cage: Hardware-Accelerated Safe WebAssembly
von: Fink, Martin, et al.
Veröffentlicht: (2024)
von: Fink, Martin, et al.
Veröffentlicht: (2024)
Aquas: Enhancing Domain Specialization through Holistic Hardware-Software Co-Optimization based on MLIR
von: Zou, Yuyang, et al.
Veröffentlicht: (2025)
von: Zou, Yuyang, et al.
Veröffentlicht: (2025)
Wavefront Threading Enables Effective High-Level Synthesis
von: Pelton, Blake, et al.
Veröffentlicht: (2024)
von: Pelton, Blake, et al.
Veröffentlicht: (2024)
LightMamba: Efficient Mamba Acceleration on FPGA with Quantization and Hardware Co-design
von: Wei, Renjie, et al.
Veröffentlicht: (2025)
von: Wei, Renjie, et al.
Veröffentlicht: (2025)
Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design
von: Zhao, Shuqing
Veröffentlicht: (2026)
von: Zhao, Shuqing
Veröffentlicht: (2026)
FPGA or GPU? Analyzing comparative research for application-specific guidance
von: Purkayastha, Arnab A, et al.
Veröffentlicht: (2025)
von: Purkayastha, Arnab A, et al.
Veröffentlicht: (2025)
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
von: Hummelgren, Lars, et al.
Veröffentlicht: (2022)
von: Hummelgren, Lars, et al.
Veröffentlicht: (2022)
Register Aggregation for Hardware Decompilation
von: Rao, Varun, et al.
Veröffentlicht: (2024)
von: Rao, Varun, et al.
Veröffentlicht: (2024)
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)
von: Li, Feifei, et al.
Veröffentlicht: (2026)
Mirage: A Multi-Level Superoptimizer for Tensor Programs
von: Wu, Mengdi, et al.
Veröffentlicht: (2024)
von: Wu, Mengdi, et al.
Veröffentlicht: (2024)
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
von: Kan, Shuanglong, et al.
Veröffentlicht: (2026)
von: Kan, Shuanglong, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025) -
LLM-Guided Strategy Synthesis for Scalable Equality Saturation
von: Yin, Chenyun, et al.
Veröffentlicht: (2026) -
Hive: A Multi-Agent Infrastructure for Algorithm- and Task-Level Scaling
von: Luo, Zizhang, et al.
Veröffentlicht: (2026) -
Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
von: Vandevoort, Brecht, et al.
Veröffentlicht: (2025) -
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
von: Bouajjani, Ahmed, et al.
Veröffentlicht: (2025)