On the public citation graph

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming

https://doi.org/10.1145/3473593
0 signed · 86 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-0-387-09766-4_190openalex-snapshot
Fortress (Sun HPCS Language)
inferredcites →https://doi.org/10.1007/978-3-030-18506-0_7openalex-snapshot
High-Performance Defunctionalisation in Futhark
inferredcites →https://doi.org/10.1007/978-3-540-89330-1_10openalex-snapshot
Harnessing the Multicores: Nested Data Parallelism in Haskell
inferredcites →https://doi.org/10.1007/978-3-642-16478-1_5openalex-snapshot
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
inferredcites →https://doi.org/10.1007/978-3-642-54833-8_3openalex-snapshot
An Array-Oriented Language with Static Rank Polymorphism
inferredcites →https://doi.org/10.1017/s0956796802004331openalex-snapshot
Secrets of the Glasgow Haskell Compiler inliner
inferredcites →https://doi.org/10.1017/s0956796806006034openalex-snapshot
Practical type inference for arbitrary-rank types
inferredcites →https://doi.org/10.1017/s095679681900008xopenalex-snapshot
Perturbation confusion in forward automatic differentiation of higher-order functions
inferredcites →https://doi.org/10.1038/s41586-020-2649-2openalex-snapshot
Array programming with NumPy
inferredcites →https://doi.org/10.1109/cgo.2017.7863730openalex-snapshot
LIFT: A functional data-parallel IR for high-performance GPU code generation
inferredcites →https://doi.org/10.1109/iiswc.2009.5306797openalex-snapshot
Rodinia: A benchmark suite for heterogeneous computing
inferredcites →https://doi.org/10.1109/sc41405.2020.00101openalex-snapshot
Compiling Generalized Histograms for GPU
inferredcites →https://doi.org/10.1137/1.9780898717761openalex-snapshot
Evaluating Derivatives
inferredcites →https://doi.org/10.1137/141000671openalex-snapshot
Julia: A Fresh Approach to Numerical Computing
inferredcites →https://doi.org/10.1142/s0129626412500107openalex-snapshot
POLLY — PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION
inferredcites →https://doi.org/10.1145/1330017.1330018openalex-snapshot
Reverse-mode AD in a functional framework
inferredcites →https://doi.org/10.1145/1375581.1375595openalex-snapshot
A practical automatic polyhedral parallelizer and locality optimizer
inferredcites →https://doi.org/10.1145/1379022.1375595openalex-snapshot
A practical automatic polyhedral parallelizer and locality optimizer
inferredcites →https://doi.org/10.1145/1460833.1460872openalex-snapshot
A programming language
inferredcites →https://doi.org/10.1145/178243.178246openalex-snapshot
Lazy functional state threads
inferredcites →https://doi.org/10.1145/1863543.1863588openalex-snapshot
Rethinking supercompilation
inferredcites →https://doi.org/10.1145/1926354.1926358openalex-snapshot
Accelerating Haskell array codes with multicore GPUs
inferredcites →https://doi.org/10.1145/2034574.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2034773.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2450153.2450158openalex-snapshot
The Tapenade automatic differentiation tool
inferredcites →https://doi.org/10.1145/2499370.2462176openalex-snapshot
Halide
inferredcites →https://doi.org/10.1145/2500365.2500595openalex-snapshot
Optimising purely functional GPU programs
inferredcites →https://doi.org/10.1145/2847538.2847541openalex-snapshot
Everything old is new again: quoted domain-specific languages
inferredcites →https://doi.org/10.1145/2935323.2935326openalex-snapshot
Design and GPGPU performance of Futhark's redomap construct
inferredcites →https://doi.org/10.1145/3062341.3062354openalex-snapshot
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
inferredcites →https://doi.org/10.1145/3122948.3122952openalex-snapshot
Strategies for regular segmented reductions on GPU
inferredcites →https://doi.org/10.1145/3197517.3201383openalex-snapshot
Differentiable programming for image processing and deep learning in halide
inferredcites →https://doi.org/10.1145/3211346.3211348openalex-snapshot
Relay: a new IR for machine learning frameworks
inferredcites →https://doi.org/10.1145/3236765openalex-snapshot
The simple essence of automatic differentiation
inferredcites →https://doi.org/10.1145/3292500.3330756openalex-snapshot
Chainer
inferredcites →https://doi.org/10.1145/3337821.3337906openalex-snapshot
Automatic Differentiation for Adjoint Stencil Loops
inferredcites →https://doi.org/10.1145/3341701openalex-snapshot
Efficient differentiable programming in a functional array-processing language
inferredcites →https://doi.org/10.1145/3355089.3356506openalex-snapshot
Taichi
inferredcites →https://doi.org/10.1145/3428194openalex-snapshot
Effects as capabilities: effect handlers and lightweight effect polymorphism
inferredcites →https://doi.org/10.1155/1992/717832openalex-snapshot
ADIFOR–Generating Derivative Codes from Fortran Programs
inferredcites →https://doi.org/10.4204/eptcs.153.8openalex-snapshot
Koka: Programming with Row Polymorphic Effect Types
inferredcites →https://doi.org/10.4230/lipics.fsttcs.2008.1769openalex-snapshot
Harnessing the Multicores: Nested Data Parallelism in Haskell
inferredcites →https://doi.org/10.48550/arxiv.1605.08695openalex-snapshot
TensorFlow: A system for large-scale machine learning
inferredcites →https://doi.org/10.48550/arxiv.1810.07951openalex-snapshot
Don't Unroll Adjoint: Differentiating SSA-Form Programs
inferredcites →https://doi.org/10.48550/arxiv.2008.11256openalex-snapshot
Differentiating a Tensor Language
inferredcites →https://doi.org/10.5555/3122009.3242010openalex-snapshot
Automatic differentiation in machine learning
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1016/j.cma.2023.116043openalex-snapshot
Simple and efficient GPU accelerated topology optimisation: Codes and applications
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103086openalex-snapshot
A framework for higher-order effects & handlers
inferred← citeshttps://doi.org/10.1017/s0956796825100051openalex-snapshot
Parallel dual-numbers reverse AD
inferred← citeshttps://doi.org/10.1109/access.2026.3734596openalex-snapshot
A Combinator Library for Neural Network Implementation
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444787openalex-snapshot
A Tensor Algebra Compiler for Sparse Differentiation
inferred← citeshttps://doi.org/10.1109/sc41404.2022.00036openalex-snapshot
Memory Optimizations in an Array Language
inferred← citeshttps://doi.org/10.1109/sc41404.2022.00063openalex-snapshot
AD for an Array Language with Nested Parallelism
inferred← citeshttps://doi.org/10.1109/sc41404.2022.00065openalex-snapshot
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation
inferred← citeshttps://doi.org/10.1145/3471873.3472975openalex-snapshot
Parallelism-preserving automatic differentiation for second-order array languages
inferred← citeshttps://doi.org/10.1145/3498717openalex-snapshot
Verified tensor-program optimization via high-level scheduling rewrites
inferred← citeshttps://doi.org/10.1145/3528223.3530099openalex-snapshot
DR.JIT
inferred← citeshttps://doi.org/10.1145/3530390.3532733openalex-snapshot
Systematically extending a high-level code generator with support for tensor cores
inferred← citeshttps://doi.org/10.1145/3563324openalex-snapshot
A general construction for abstract interpretation of higher-order automatic differentiation
inferred← citeshttps://doi.org/10.1145/3571236openalex-snapshot
You Only Linearize Once: Tangents Transpose to Gradients
inferred← citeshttps://doi.org/10.1145/3571247openalex-snapshot
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
inferred← citeshttps://doi.org/10.1145/3578360.3580269openalex-snapshot
(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules
inferred← citeshttps://doi.org/10.1145/3589246openalex-snapshot
Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
inferred← citeshttps://doi.org/10.1145/3589246.3595372openalex-snapshot
Polymorphic Types with Polynomial Sizes
inferred← citeshttps://doi.org/10.1145/3591260openalex-snapshot
Better Defunctionalization through Lambda Set Specialization
inferred← citeshttps://doi.org/10.1145/3592622openalex-snapshot
Quantum Computing with Differentiable Quantum Transforms
inferred← citeshttps://doi.org/10.1145/3605156.3606456openalex-snapshot
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
inferred← citeshttps://doi.org/10.1145/3609027openalex-snapshot
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
inferred← citeshttps://doi.org/10.1145/3609027.3609406openalex-snapshot
Infix-Extensible Record Types for Tabular Data
inferred← citeshttps://doi.org/10.1145/3618353openalex-snapshot
SLANG.D: Fast, Modular and Differentiable Shader Programming
inferred← citeshttps://doi.org/10.1145/3632878openalex-snapshot
Efficient CHAD
inferred← citeshttps://doi.org/10.1145/3652561.3652575openalex-snapshot
Reverse-Mode AD of Multi-Reduce and Scan in Futhark
inferred← citeshttps://doi.org/10.1145/3652586openalex-snapshot
Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
inferred← citeshttps://doi.org/10.1145/3652586.3663312openalex-snapshot
Points for Free: Embedding Pointful Array Programming in Python
inferred← citeshttps://doi.org/10.1145/3665643openalex-snapshot
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
inferred← citeshttps://doi.org/10.1145/3669940.3707284openalex-snapshot
PartIR: Composing SPMD Partitioning Strategies for Machine Learning
inferred← citeshttps://doi.org/10.1145/3674651openalex-snapshot
Parallel Algebraic Effect Handlers
inferred← citeshttps://doi.org/10.1145/3731599.3767572openalex-snapshot
Reduction-Aware Directive-Based Programming via Multi-Dimensional Homomorphisms
inferred← citeshttps://doi.org/10.1145/3736112.3736141openalex-snapshot
Structuring Arrays with Algebraic Shapes
inferred← citeshttps://doi.org/10.1145/3747524openalex-snapshot
Correctness Meets Performance: From Agda to Futhark
inferred← citeshttps://doi.org/10.1145/3774934.3786418openalex-snapshot
ParDiff: Efficiently Parallelizing Reverse-Mode Automatic Differentiation with Direct Indexing
inferred← citeshttps://doi.org/10.1145/3808162openalex-snapshot
LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks
inferred← citeshttps://doi.org/10.1145/3815001.3815004openalex-snapshot
Refined Remora: Constraining Array Shapes
inferred← citeshttps://doi.org/10.1609/aaai.v37i8.26199openalex-snapshot
Machines of Finite Depth: Towards a Formalization of Neural Networks
inferred← citeshttps://doi.org/10.48550/arxiv.2105.09469openalex-snapshot
Decomposing reverse-mode automatic differentiation
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.