Copertina

The CoCompiler: DSL Lifting via Relational Compilation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Spargo, Naomi, Cuéllar, Santiago, Daugherty, Jonathan, Phifer, Chris, Darais, David
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

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
di: Cuéllar, Santiago, et al.
Pubblicazione: (2025)

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

Partial Evaluation, Whole-Program Compilation
di: Fallin, Chris, et al.
Pubblicazione: (2024)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
di: Qiu, Jie, et al.
Pubblicazione: (2024)

Compiling with Arrays
di: Richter, David, et al.
Pubblicazione: (2024)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
di: Fabian, Xaver, et al.
Pubblicazione: (2024)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
di: Cummins, Chris, et al.
Pubblicazione: (2024)

A Compiler for Operations on Relations with Bag Semantics
di: Dong, James, et al.
Pubblicazione: (2025)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
di: Rinard, Martin
Pubblicazione: (2026)

Compiler generated feedback for Large Language Models
di: Grubisic, Dejan, et al.
Pubblicazione: (2024)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
di: Rinard, Martin
Pubblicazione: (2026)

Scaling Optimization Over Uncertainty via Compilation
di: Cho, Minsung, et al.
Pubblicazione: (2025)

The Jasmin Compiler Preserves Cryptographic Security
di: Arranz-Olmos, Santiago, et al.
Pubblicazione: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
di: Pirkelbauer, Peter, et al.
Pubblicazione: (2025)

Agentic Code Optimization via Compiler-LLM Cooperation
di: Mikek, Benjamin, et al.
Pubblicazione: (2026)

Compilation as Multi-Language Semantics
di: Bowman, William J.
Pubblicazione: (2025)

Compiling Gradual Types with Evidence
di: Romero, José Luis, et al.
Pubblicazione: (2025)

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

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
di: Szabo, Violet, et al.
Pubblicazione: (2024)

Compiling to recurrent neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

Compiling to linear neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

Finding Missed Code Size Optimizations in Compilers using LLMs
di: Italiano, Davide, et al.
Pubblicazione: (2024)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
di: Lin, Hongyu, et al.
Pubblicazione: (2025)

Compile-Time Java Stream Fusion via mapMulti
di: Bugayenko, Yegor, et al.
Pubblicazione: (2026)

CompilerDream: Learning a Compiler World Model for General Code Optimization
di: Deng, Chaoyi, et al.
Pubblicazione: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
di: Jamner, Dustin, et al.
Pubblicazione: (2025)

Compilation of Modular and General Sparse Workspaces
di: Zhang, Genghan, et al.
Pubblicazione: (2024)

Denotation-based Compositional Compiler Verification
di: Cheng, Zhang, et al.
Pubblicazione: (2024)

An Optimizing Just-In-Time Compiler for Rotor
di: Trindade, João H., et al.
Pubblicazione: (2024)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
di: Zhang, Shuoming, et al.
Pubblicazione: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
di: Zhang, Shuoming, et al.
Pubblicazione: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
di: Izawa, Yusuke, et al.
Pubblicazione: (2025)

Prime Path Coverage in the GNU Compiler Collection
di: Kvalsvik, Jørgen
Pubblicazione: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
di: Sundram, Shiv, et al.
Pubblicazione: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
di: Bowman, William J.
Pubblicazione: (2025)

Compiling the Mimosa programming language to RTOS tasks
di: Huber, Nikolaus, et al.
Pubblicazione: (2025)

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

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

Compilation Semantics for a Programming Language with Versions
di: Tanabe, Yudai, et al.
Pubblicazione: (2023)

Bonsai: Compiling Queries to Pruned Tree Traversals
di: Root, Alexander J, et al.
Pubblicazione: (2025)