Copertina

Building Bridges: Julia as an MLIR Frontend

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Merckx, Jules
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Equality Saturation for Optimizing High-Level Julia IR
di: Merckx, Jules, et al.
Pubblicazione: (2025)

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

Is It a Good Idea to Build an HLS Tool on Top of MLIR? Experience from Building the Dynamatic HLS Compiler
di: Xu, Jiahui, et al.
Pubblicazione: (2026)

Practical Formal Verification for MLIR Programs
di: Tucker, Emily, et al.
Pubblicazione: (2026)

MLIR-Forge: A Modular Framework for Language Smiths
di: Ates, Berke, et al.
Pubblicazione: (2026)

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

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

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
di: Kang, Byeongjee, et al.
Pubblicazione: (2025)

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
di: Haris, Jude, et al.
Pubblicazione: (2024)

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

An Optimizing Framework on MLIR for Efficient FPGA-based Accelerator Generation
di: Zhang, Weichuang, et al.
Pubblicazione: (2024)

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

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
di: Absar, Javed, et al.
Pubblicazione: (2026)

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

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
di: Absar, Mohammed Javed, et al.
Pubblicazione: (2026)

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

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

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
di: Rodriguez-Canal, Gabriel, et al.
Pubblicazione: (2025)

Aspect-oriented Programming with Julia
di: Ishimura, Osamu, et al.
Pubblicazione: (2024)

Bridging Worlds: Achieving Language Interoperability between Julia and Python in Scientific Computing
di: Osborne, Ianna, et al.
Pubblicazione: (2024)

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
di: Agostini, Nicolas Bohm, et al.
Pubblicazione: (2023)

Towards a high-performance AI compiler with upstream MLIR
di: Golin, Renato, et al.
Pubblicazione: (2024)

DSP-MLIR: A MLIR Dialect for Digital Signal Processing
di: Kumar, Abhinav, et al.
Pubblicazione: (2024)

Canonical bidirectional typechecking
di: Mihejevs, Zanzi, et al.
Pubblicazione: (2025)

Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
di: Godoy, William F., et al.
Pubblicazione: (2025)

The State of Julia for Scientific Machine Learning
di: Berman, Edward, et al.
Pubblicazione: (2024)

A High-level Synthesis Toolchain for the Julia Language
di: Short, Benedict, et al.
Pubblicazione: (2025)

StacKAT: Infinite State Network Verification
di: Jacobs, Jules, et al.
Pubblicazione: (2025)

Julia GraphBLAS with Nonblocking Execution
di: Costanza, Pascal, et al.
Pubblicazione: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
di: Bhattar, Poornachandratejasvi Laxman, et al.
Pubblicazione: (2026)

Graphiti: Bridging Graph and Relational Database Queries
di: He, Yang, et al.
Pubblicazione: (2025)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
di: Moeller, Mark, et al.
Pubblicazione: (2024)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
di: Brahmakshatriya, Ajay, et al.
Pubblicazione: (2026)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
di: Kan, Shuanglong, et al.
Pubblicazione: (2026)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
di: Viennot, Jules, et al.
Pubblicazione: (2025)

Non-Termination Proving: 100 Million LoC and Beyond
di: Vanegue, Julien, et al.
Pubblicazione: (2025)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
di: Mikuriya, Taku, et al.
Pubblicazione: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)