Cover Image

Exo 2: Growing a Scheduling Language

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ikarashi, Yuka, Qian, Kevin, Droubi, Samir, Reinking, Alex, Bernstein, Gilbert, Ragan-Kelley, Jonathan
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Guided Optimization for Image Processing Pipelines
by: Ikarashi, Yuka, et al.
Published: (2021)

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

Bonsai: Compiling Queries to Pruned Tree Traversals
by: Root, Alexander J, et al.
Published: (2025)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

Modular GPU Programming with Typed Perspectives
by: Bansal, Manya, et al.
Published: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

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

WatChat: Explaining perplexing programs by debugging mental models
by: Chandra, Kartik, et al.
Published: (2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
by: Smith, Gus Henry, et al.
Published: (2024)

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

Dr Wenowdis: Specializing dynamic language C extensions using type information
by: Bernstein, Maxwell, et al.
Published: (2024)

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

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
by: Smith, Gus Henry, et al.
Published: (2024)

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

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

Growing Mathlib: maintenance of a large scale mathematical library
by: Baanen, Anne, et al.
Published: (2025)

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

Evaluating the Language-Based Security for Plugin Development
by: Liang, Naisheng, et al.
Published: (2024)

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

A Coq implementation of a Theory of Tagged Objects
by: Gates, Matthew, et al.
Published: (2025)

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

Weighted NetKAT: A Programming Language For Quantitative Network Verification
by: Acevedo, Emmanuel Suárez, et al.
Published: (2026)

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

Semantically Separating Nominal Wyvern for Usability and Decidability
by: Zhu, Yu Xiang, et al.
Published: (2025)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
by: Blanc, Alex Le, et al.
Published: (2025)

The Vienna Architecture Description Language
by: Freitag, Florian, et al.
Published: (2024)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
by: Britton, Matthew, et al.
Published: (2026)

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

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
by: Huang, Siming, et al.
Published: (2024)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
by: Hu, Lifan
Published: (2025)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Lazy Linearity for a Core Functional Language
by: Mesquita, Rodrigo, et al.
Published: (2025)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)