:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shimchenko, Marina, Österlund, Erik, Wrigstad, Tobias
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2502.20522
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
by: Shimchenko, Marina, et al.
Published: (2024)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
by: Mell, Stephen, et al.
Published: (2026)

Exo 2: Growing a Scheduling Language
by: Ikarashi, Yuka, et al.
Published: (2024)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
by: Xiao, Youwei, et al.
Published: (2025)

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

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
by: Pedersen, Jan, et al.
Published: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
by: Zhang, Yihong, et al.
Published: (2025)

Disassembly as Weighted Interval Scheduling with Learned Weights
by: Flores-Montoya, Antonio, et al.
Published: (2025)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
by: Dias, Adhitha, et al.
Published: (2023)

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
by: Geißler, Dominik, et al.
Published: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
by: Geißler, Dominik, et al.
Published: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
by: Zhao, Yifan, et al.
Published: (2026)

Kleene Algebra
by: Kappé, Tobias, et al.
Published: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
by: Haak, Lars B. van den, et al.
Published: (2024)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
by: Lin, Honglin, et al.
Published: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)

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

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

An MLIR Lowering Pipeline for Stencils at Wafer-Scale
by: Stawinoga, Nicolai, et al.
Published: (2026)

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

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

Scheduling Languages: A Past, Present, and Future Taxonomy
by: Hall, Mary, et al.
Published: (2024)

Cage: Hardware-Accelerated Safe WebAssembly
by: Fink, Martin, et al.
Published: (2024)

Scaling Worst-Case Optimal Datalog to GPUs
by: Sun, Yihao, et al.
Published: (2026)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)

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

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

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
by: Matricon, Théo, et al.
Published: (2024)

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
by: Radtke, Pawel K., et al.
Published: (2025)

Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)