Copertina

An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Yuxuan, Tirelli, Cristian, Ansaloni, Giovanni, Pozzi, Laura, Atienza, David
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Mapping code on Coarse Grained Reconfigurable Arrays using a SAT solver
di: Tirelli, Cristian, et al.
Pubblicazione: (2025)

Fuzzing MLIR Compilers with Custom Mutation Synthesis
di: Limpanukorn, Ben, et al.
Pubblicazione: (2024)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
di: Suo, Chenyao, et al.
Pubblicazione: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
di: Ates, Berke, et al.
Pubblicazione: (2026)

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
di: Sun, Zeyu, et al.
Pubblicazione: (2025)

SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
di: Tirelli, Cristian, et al.
Pubblicazione: (2025)

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler
di: Tirichine, Mohammed, et al.
Pubblicazione: (2024)

Integrating Quantum Software Tools with(in) MLIR
di: Hopf, Patrick, et al.
Pubblicazione: (2026)

Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
di: Short, Benedict, et al.
Pubblicazione: (2025)

ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
di: Felici, Riccardo, et al.
Pubblicazione: (2024)

Compiler.next: A Search-Based Compiler to Power the AI-Native Future of Software Engineering
di: Cogo, Filipe R., et al.
Pubblicazione: (2025)

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
di: Zhu, Jiaying, et al.
Pubblicazione: (2026)

ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
di: Su, Bowei, et al.
Pubblicazione: (2026)

Isolating Compiler Bugs through Compilation Steps Analysis
di: Liu, Yujie, et al.
Pubblicazione: (2025)

AlabOS: A Python-based Reconfigurable Workflow Management Framework for Autonomous Laboratories
di: Fei, Yuxing, et al.
Pubblicazione: (2024)

HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
di: Felici, Riccardo, et al.
Pubblicazione: (2022)

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
di: Wu, Jingwen, et al.
Pubblicazione: (2025)

A Hybrid, Knowledge-Guided Evolutionary Framework for Personalized Compiler Auto-Tuning
di: Pan, Haolin, et al.
Pubblicazione: (2025)

Compiling Code LLMs into Lightweight Executables
di: Shi, Jieke, et al.
Pubblicazione: (2026)

Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
di: Li, Qingyang, et al.
Pubblicazione: (2025)

PTE: Axiomatic Semantics based Compiler Testing
di: Dong, Guoliang, et al.
Pubblicazione: (2024)

LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers
di: Wang, Yutong, et al.
Pubblicazione: (2025)

Quantitative Information Flow Control by Construction for Component-Based Systems
di: Rønneberg, Rasmus Carl
Pubblicazione: (2024)

Understanding Typing-Related Bugs in Solidity Compiler
di: Li, Lantian, et al.
Pubblicazione: (2025)

PlanCompiler: A Deterministic Compilation Architecture for Structured Multi-Step LLM Pipelines
di: Harikumar, Pranav
Pubblicazione: (2026)

Effective Random Test Generation for Deep Learning Compilers
di: Ren, Luyao, et al.
Pubblicazione: (2023)

Optimization-Aware Test Generation for Deep Learning Compilers
di: Shen, Qingchao, et al.
Pubblicazione: (2025)

Towards Understanding the Bugs in Solidity Compiler
di: Ma, Haoyang, et al.
Pubblicazione: (2024)

CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
di: Hu, Li, et al.
Pubblicazione: (2025)

Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2025)

LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study
di: You, Chansong, et al.
Pubblicazione: (2026)

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
di: Gao, Bingyu, et al.
Pubblicazione: (2025)

Bug Histories as Sources of Compiler Fuzzing Mutators
di: Liu, Lingjun, et al.
Pubblicazione: (2025)

Interleaving Large Language Models for Compiler Testing
di: Ni, Yunbo, et al.
Pubblicazione: (2025)

Understanding and Finding JIT Compiler Performance Bugs
di: Yi, Zijian, et al.
Pubblicazione: (2026)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
di: Wang, Bo, et al.
Pubblicazione: (2025)

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
di: Jiang, Hanyun, et al.
Pubblicazione: (2026)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
di: Zhou, Zitong, et al.
Pubblicazione: (2025)

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
di: Xu, Zhihao, et al.
Pubblicazione: (2025)

Solsmith: Solidity Random Program Generator for Compiler Testing
di: Li, Lantian, et al.
Pubblicazione: (2025)