Imagen de Portada

Compiling with Arrays

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Richter, David, Böhler, Timon, Weisenburger, Pascal, Mezini, Mira
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Direct-Style Effect Notation for Sequential and Parallel Programs
por: Richter, David, et al.
Publicado: (2023)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
por: Böhler, Timon, et al.
Publicado: (2026)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
por: Näumann, Julius, et al.
Publicado: (2026)

LoRe: A Programming Model for Verifiably Safe Local-First Software
por: Haas, Julian, et al.
Publicado: (2023)

Distributed Locking as a Data Type
por: Haas, Julian, et al.
Publicado: (2024)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
por: Haas, Julian, et al.
Publicado: (2025)

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

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

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

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

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
por: Ma, Zhiyao, et al.
Publicado: (2025)

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

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

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
por: Åkerblom, Beatrice, et al.
Publicado: (2024)

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

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

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
por: Arbore, Russel, et al.
Publicado: (2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
por: Liu, Zixi, et al.
Publicado: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
por: Ma, Haoyang, et al.
Publicado: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
por: Kalade, Sarunas, et al.
Publicado: (2025)

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