:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Shimchenko, Marina, Österlund, Erik, Wrigstad, Tobias
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2403.02200
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Monk: Opportunistic Scheduling to Delay Horizontal Scaling
por: Shimchenko, Marina, et al.
Publicado: (2025)

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

Garbage Collection for Rust: The Finalizer Frontier
por: Hughes, Jacob, et al.
Publicado: (2025)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
por: M, Abdulla
Publicado: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
por: Jung, Christoph, et al.
Publicado: (2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
por: Sotoudeh, Matthew
Publicado: (2025)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
por: van Kempen, Nicolas, et al.
Publicado: (2024)

DisQ: A Model of Distributed Quantum Processors (Extended Version)
por: Chang, Le, et al.
Publicado: (2024)

ARC: DVFS-Aware Asymmetric-Retention STT-RAM Caches for Energy-Efficient Multicore Processors
por: Gajaria, Dhruv, et al.
Publicado: (2024)

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

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

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

On Propositional Program Equivalence (extended abstract)
por: Kappé, Tobias
Publicado: (2025)

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

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

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

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

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

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

Joint Distributions in Probabilistic Semantics
por: Kozen, Dexter, et al.
Publicado: (2023)

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

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

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

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

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

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
por: Ren, Silei, et al.
Publicado: (2025)

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

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Kleene Algebra
por: Kappé, Tobias, et al.
Publicado: (2025)

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

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
por: Cai, Xuran
Publicado: (2025)

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

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

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

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

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

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

Garbage In, Reasoning Out? Why Benchmark Scores are Unreliable and What to Do About It
por: Mousavi, Seyed Mahed, et al.
Publicado: (2025)

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

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
por: Liu, Yanhong A., et al.
Publicado: (2025)