Copertina

Equality Saturation for Optimizing High-Level Julia IR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Merckx, Jules, Besard, Tim, De Sutter, Bjorn
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
di: Sadr, Amirhosein, et al.
Pubblicazione: (2026)

Building Bridges: Julia as an MLIR Frontend
di: Merckx, Jules
Pubblicazione: (2025)

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

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
di: Jing, Huihao, et al.
Pubblicazione: (2026)

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

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

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
di: Ke, Kaiyao, et al.
Pubblicazione: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
di: Prasad, Siddhartha, et al.
Pubblicazione: (2023)

Reflections on the design, applications and implementations of the normative specification language eFLINT
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
di: Fang, Shihan, et al.
Pubblicazione: (2025)

Pattern-Based Peephole Optimizations with Java JIT Tests
di: Zang, Zhiqiang, et al.
Pubblicazione: (2024)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

A New Framework of Software Obfuscation Evaluation Criteria
di: De Sutter, Bjorn
Pubblicazione: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)

CobbleDB: Modelling Levelled Storage by Composition
di: Ma, Emilie, et al.
Pubblicazione: (2026)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
di: Zhang, Weixing, et al.
Pubblicazione: (2024)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
di: Chen, Xiaohan, et al.
Pubblicazione: (2025)

Constant Optimization Driven Database System Testing
di: Zhang, Chi, et al.
Pubblicazione: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
di: Steffen, Bernhard, et al.
Pubblicazione: (2024)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

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

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
di: Gu, Yile, et al.
Pubblicazione: (2025)

Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
di: Wallraven, Stephan, et al.
Pubblicazione: (2026)

Getting Python Types Right with RightTyper
di: Pizzorno, Juan Altmayer, et al.
Pubblicazione: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
di: Liu, Peipei, et al.
Pubblicazione: (2025)

An Encoding of Interaction Nets in OCaml
di: Huber, Nikolaus, et al.
Pubblicazione: (2025)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
di: Lochmelis, Denis, et al.
Pubblicazione: (2025)

Literate Tracing
di: Sotoudeh, Matthew
Pubblicazione: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
di: Zhu, Qian, et al.
Pubblicazione: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
di: Baek, Doehyun, et al.
Pubblicazione: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
di: Yu, ZeHao
Pubblicazione: (2025)

A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
di: Sulzmann, Martin
Pubblicazione: (2025)

Micro-Patterns in Solidity Code
di: Ruschioni, Luca, et al.
Pubblicazione: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
di: Liu, Yuchen, et al.
Pubblicazione: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
di: Karapetyan, Daniel
Pubblicazione: (2025)