Copertina

Compile-Time Java Stream Fusion via mapMulti

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bugayenko, Yegor, Trunnikov, Maxim, Zakharov, Vladimir
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Origins of Objects by Means of Careful Selection
di: Bugayenko, Yegor, et al.
Pubblicazione: (2022)

$φ$-Calculus: Object-Oriented Formalism
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
di: Zakharov, Vladimir, et al.
Pubblicazione: (2024)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
di: Sukhova, Anna, et al.
Pubblicazione: (2024)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
di: Korostinskiy, Roman, et al.
Pubblicazione: (2024)

CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics
di: Bugayenko, Yegor
Pubblicazione: (2024)

Evaluating the Dependency Between Cyclomatic Complexity and Response For Class
di: Stavtsev, Maxim, et al.
Pubblicazione: (2024)

The Impact of Mutability on Cyclomatic Complexity in Java
di: Bagaev, Marat, et al.
Pubblicazione: (2024)

Compilation of Commit Changes within Java Source Code Repositories
di: Schott, Stefan, et al.
Pubblicazione: (2024)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
di: Lacouture, Rubens, et al.
Pubblicazione: (2025)

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

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

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

Fast Collection Operations from Indexed Stream Fusion
di: Kovach, Scott, et al.
Pubblicazione: (2025)

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

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

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

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
di: Conoly, Owen, et al.
Pubblicazione: (2025)

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

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
di: Zheng, Size, et al.
Pubblicazione: (2026)

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

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

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
di: Kiselyov, Oleg, et al.
Pubblicazione: (2024)

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

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

On the computational complexity of JavaScript regex matching
di: Deng, Victor, et al.
Pubblicazione: (2026)

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

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

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

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

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

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
di: Rosa, Evandro C. R., et al.
Pubblicazione: (2025)

Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)

A Coq Mechanization of JavaScript Regular Expression Semantics
di: De Santo, Noé, et al.
Pubblicazione: (2024)

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

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)