:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xiao, Youwei, Luo, Zizhang, Peng, Weijie, Zou, Yuyang, Liang, Yun
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
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)

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)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
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)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
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)

An Optimizing Framework on MLIR for Efficient FPGA-based Accelerator Generation
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)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
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)

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
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)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
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)

Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
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)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
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)

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)

Efficient, Portable, Census-Polymorphic Choreographic Programming
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Vbox: Efficient Black-Box Serializability Verification
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)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
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)

Cage: Hardware-Accelerated Safe WebAssembly
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)

Wavefront Threading Enables Effective High-Level Synthesis
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)

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design
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)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
von: Hummelgren, Lars, et al.
Veröffentlicht: (2022)

Register Aggregation for Hardware Decompilation
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)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

Mirage: A Multi-Level Superoptimizer for Tensor Programs
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)