:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Schwarz, Tobias, Kamm, Tobias, Engelke, Alexis
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2505.22610
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compiler support for semi-manual AoS-to-SoA conversions with data views
par: Radtke, Pawel K., et autres
Publié: (2024)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
par: Radtke, Pawel K., et autres
Publié: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
par: Bhat, Siddharth, et autres
Publié: (2024)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
par: Albakri, Hossein, et autres
Publié: (2025)

Compiling Away the Overhead of Race Detection
par: Paznikov, Alexey, et autres
Publié: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
par: Thibault, Jérémy, et autres
Publié: (2025)

On Propositional Program Equivalence (extended abstract)
par: Kappé, Tobias
Publié: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
par: Lopoukhine, Alexandre, et autres
Publié: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
par: Chung, Liam, et autres
Publié: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
par: Spargo, Naomi, et autres
Publié: (2025)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
par: Kırmemiş, Oğuzcan, et autres
Publié: (2024)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
par: Huang, Qifan, et autres
Publié: (2026)

Compiling with Arrays
par: Richter, David, et autres
Publié: (2024)

Algebras for Deterministic Computation Are Inherently Incomplete
par: Cate, Balder ten, et autres
Publié: (2024)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
par: Lin, Hongyu, et autres
Publié: (2025)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
par: Bondhugula, Uday, et autres
Publié: (2026)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
par: Rinard, Martin
Publié: (2026)

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

Monk: Opportunistic Scheduling to Delay Horizontal Scaling
par: Shimchenko, Marina, et autres
Publié: (2025)

Kleene Algebra
par: Kappé, Tobias, et autres
Publié: (2025)

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
par: Shimchenko, Marina, et autres
Publié: (2024)

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
par: Li, Shangkun, et autres
Publié: (2026)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
par: Gomber, Shaurya, et autres
Publié: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
par: Pirkelbauer, Peter, et autres
Publié: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
par: Bachmann, Clemens, et autres
Publié: (2024)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
par: Kaufman, Samuel J., et autres
Publié: (2025)

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
par: Seidel, Raphael, et autres
Publié: (2024)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
par: Radtke, Pawel K., et autres
Publié: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
par: Gilot, Andrea, et autres
Publié: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
par: Arbore, Russel, et autres
Publié: (2025)