Cover Image

Fusing Gathers with Integer Linear Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Balen, David, Keller, Gabriele, Wolff, Ivo Gabede, McDonell, Trevor L.
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

Comparing Parallel Functional Array Languages: Programming and Performance
by: van Balen, David, et al.
Published: (2025)

Making Levantine cuisine: Modern foodways of the eastern Mediterranean Edited by AnnyGaul, Graham AumanPitts, and VickiValosik. Austin: University of Texas Press, 2022. 288 pp.
by: Emma McDonell
Published: (2026)

Data-driven Verification of Procedural Programs with Integer Arrays
by: Bouajjani, Ahmed, et al.
Published: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Modeling Layout Abstractions Using Integer Set Relations
by: Bhaskaracharya, Somashekaracharya G, et al.
Published: (2025)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

Termination Analysis of Linear-Constraint Programs
by: Ben-Amram, Amir M., et al.
Published: (2025)

Context-Aware Separation Logic
by: Meyer, Roland, et al.
Published: (2023)

Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
by: Amy, Matthew, et al.
Published: (2024)

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
by: Akshay, S., et al.
Published: (2026)

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

Transformers for Program Termination
by: Alon, Yoav, et al.
Published: (2026)

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

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

Soundly Handling Linearity
by: Tang, Wenhao, et al.
Published: (2023)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
by: Cuéllar, Santiago, et al.
Published: (2025)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

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

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
by: Lundén, Daniel, et al.
Published: (2023)

Arithmetizing Shape Analysis
by: Wolff, Sebastian, et al.
Published: (2024)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

Programming Not Only by Example
by: Peleg, Hila, et al.
Published: (2017)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
by: Alon, Yoav, et al.
Published: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

An LLM-Tool Compiler for Fused Parallel Function Calling
by: Singh, Simranjit, et al.
Published: (2024)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Aspect-oriented Programming with Julia
by: Ishimura, Osamu, et al.
Published: (2024)