Imagen de Portada

Monk: Opportunistic Scheduling to Delay Horizontal Scaling

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shimchenko, Marina, Österlund, Erik, Wrigstad, Tobias
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Opportunistically Parallel Lambda Calculus
por: Mell, Stephen, et al.
Publicado: (2024)

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

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

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

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
por: Xiao, Youwei, 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)

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

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

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

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

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)

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

StacKAT: Infinite State Network Verification
por: Jacobs, Jules, et al.
Publicado: (2025)

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

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

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
por: Zou, Tianrui, et al.
Publicado: (2025)

Sidekick compilation with xDSL
por: Fehr, Mathieu, et al.
Publicado: (2023)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
por: Haase, Darion, et al.
Publicado: (2026)