Cover Image

Sidekick compilation with xDSL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fehr, Mathieu, Weber, Michel, Ulmann, Christian, Lopoukhine, Alexandre, Lücke, Martin, Degioanni, Théo, Steuwer, Michel, Grosser, Tobias
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The MLIR Transform Dialect. Your compiler is more powerful than you think
by: Lücke, Martin Paul, et al.
Published: (2024)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

Tecnologías xDSL
by: Patricia Pérez Romero
Published: (2005)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
by: Lopoukhine, Alexandre, et al.
Published: (2025)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
by: Bisbas, George, et al.
Published: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)

Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)

Chapter Femtocell Performance Over Non-SLA xDSL Access Network
by: Wulansari, R., et al.
Published: (2021)

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

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
by: Singh, Avaljot, et al.
Published: (2024)

AI-Assisted Modeling: DSL-Driven AI Interactions
by: Smyth, Steven, et al.
Published: (2025)

Compressing Structured Tensor Algebra
by: Ghorbani, Mahdi, et al.
Published: (2024)

From a Natural to a Formal Language with DSL Assistant
by: Mosthaf, My M., et al.
Published: (2024)

Verifying Peephole Rewriting In SSA Compiler IRs
by: Bhat, Siddharth, et al.
Published: (2024)

Demonstrating a Future for MLIR-native DSL Compilers on a NumPy-like Example
by: Friebel, Karl F. A., et al.
Published: (2026)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

SPML: A DSL for Defending Language Models Against Prompt Attacks
by: Sharma, Reshabh K, et al.
Published: (2024)

Establishing tool support for a concept DSL
by: Jakobsen, Nikolaj Kühne
Published: (2025)

Enabling RISC-V Vector Code Generation in MLIR through Custom xDSL Lowerings
by: Lei, Jie, et al.
Published: (2026)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
by: Sharp, Toby
Published: (2025)

Meta-compilation of Baseline JIT Compilers with Druid
by: Palumbo, Nahuel, et al.
Published: (2025)

BeePL: Correct-by-compilation kernel extensions
by: Priya, Swarn, et al.
Published: (2025)

An MLIR Lowering Pipeline for Stencils at Wafer-Scale
by: Stawinoga, Nicolai, et al.
Published: (2026)

Improving compiler support for SIMD offload using Arm Streaming SVE
by: Mohamed, Mohamed Husain Noor, et al.
Published: (2025)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
by: Zaliva, Vadim, et al.
Published: (2026)

Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
by: Boespflug, Mathieu, et al.
Published: (2025)

Active Libraries: Rethinking the roles of compilers and libraries
by: Veldhuizen, Todd L., et al.
Published: (1998)

Efficient decomposition of unitary matrices in quantum circuit compilers
by: Krol, A. M., et al.
Published: (2021)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

A quantum compiler design method by using linear combinations of permutations
by: Daskin, Ammar
Published: (2024)

MetaGen: A DSL, Database, and Benchmark for VLM-Assisted Metamaterial Generation
by: Makatura, Liane, et al.
Published: (2025)

Fully integrating the Flang Fortran compiler with standard MLIR
by: Brown, Nick
Published: (2024)

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

A Compute-Matched Re-Evaluation of TroVE on MATH
by: Sesterhenn, Tobias, et al.
Published: (2025)