On the public citation graph
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
0 signed · 61 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45937-5_14openalex-snapshot
StreamIt: A Language for Streaming Applications
inferredcites →https://doi.org/10.1007/978-3-030-79876-5_37openalex-snapshot
The Lean 4 Theorem Prover and Programming Language
inferredcites →https://doi.org/10.1007/978-3-319-04936-6_5openalex-snapshot
TPC-H Analyzed: Hidden Messages and Lessons Learned from an Influential Benchmark
inferredcites →https://doi.org/10.1007/978-3-319-21401-6_26openalex-snapshot
The Lean Theorem Prover (System Description)
inferredcites →https://doi.org/10.1007/978-3-319-77525-8_100350openalex-snapshot
Transaction Processing Performance Council
inferredcites →https://doi.org/10.1017/s0956796818000102openalex-snapshot
Push versus pull-based loop fusion in query engines
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
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/cgo.2019.8661185openalex-snapshot
Tensor Algebra Compilation with Workspaces
inferredcites →https://doi.org/10.1109/hpec.2013.6670338openalex-snapshot
Standards for graph algorithm primitives
inferredcites →https://doi.org/10.1109/icde.2011.5767867openalex-snapshot
HyPer: A hybrid OLTP&OLAP main memory database system based on virtual memory snapshots
inferredcites →https://doi.org/10.1109/icde.2013.6544812openalex-snapshot
The adaptive radix tree: ARTful indexing for main-memory databases
inferredcites →https://doi.org/10.1109/icde.2018.00048openalex-snapshot
LevelHeaded: A Unified Engine for Business Intelligence and Linear Algebra Querying
inferredcites →https://doi.org/10.1109/ipdps.2015.27openalex-snapshot
SPLATT: Efficient and Parallel Sparse Tensor-Matrix Multiplication
inferredcites →https://doi.org/10.1109/llvmhpc54804.2021.00009openalex-snapshot
A High Performance Sparse Tensor Algebra Compiler in MLIR
inferredcites →https://doi.org/10.1145/1176887.1176899openalex-snapshot
Mixing signals and modes in synchronous data-flow systems
inferredcites →https://doi.org/10.1145/2049662.2049663openalex-snapshot
The university of Florida sparse matrix collection
inferredcites →https://doi.org/10.1145/2185520.2185528openalex-snapshot
Decoupling algorithms from schedules for easy optimization of image processing pipelines
inferredcites →https://doi.org/10.1145/2213556.2213565openalex-snapshot
Worst-Case Optimal Join Algorithms
inferredcites →https://doi.org/10.1145/232629.232650openalex-snapshot
A provable time and space efficient implementation of NESL
inferredcites →https://doi.org/10.1145/268946.268953openalex-snapshot
A functional representation of data structures with a hole
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/3093333.3009880openalex-snapshot
Stream fusion, to completeness
inferredcites →https://doi.org/10.1145/3122948.3122949openalex-snapshot
Destination-passing style for efficient memory management
inferredcites →https://doi.org/10.1145/3276493openalex-snapshot
Format abstraction for sparse tensor algebra compilers
inferredcites →https://doi.org/10.1145/3299869.3324961openalex-snapshot
A Layered Aggregate Engine for Analytics Workloads
inferredcites →https://doi.org/10.1145/3428226openalex-snapshot
A sparse iteration space transformation framework for sparse tensor algebra
inferredcites →https://doi.org/10.1145/3485505openalex-snapshot
Compilation of sparse array programming models
inferredcites →https://doi.org/10.1145/3498717openalex-snapshot
Verified tensor-program optimization via high-level scheduling rewrites
inferredcites →https://doi.org/10.1145/3519939.3523442openalex-snapshot
Autoscheduling for sparse tensor algebra with an asymptotic cost model
inferredcites →https://doi.org/10.1145/3527333openalex-snapshot
Functional collection programming with semi-ring dictionaries
inferredcites →https://doi.org/10.1145/3544559openalex-snapshot
Compiler Support for Sparse Tensor Computations in MLIR
inferredcites →https://doi.org/10.1145/362384.362685openalex-snapshot
A relational model of data for large shared data banks
inferredcites →https://doi.org/10.1145/512976.512998openalex-snapshot
An algebra of relations for machine computation
inferredcites →https://doi.org/10.14778/3151113.3151114openalex-snapshot
Relaxed operator fusion for in-memory databases
inferredcites →https://doi.org/10.14778/3275366.3275370openalex-snapshot
Everything you always wanted to know about compiled and vectorized queries but were afraid to ask
inferredcites →https://doi.org/10.14778/3457390.3457399openalex-snapshot
Tensor relational algebra for distributed machine learning system design
inferredcites →https://doi.org/10.25080/majora-92bf1922-00aopenalex-snapshot
Data Structures for Statistical Computing in Python
inferredcites →https://doi.org/10.5281/zenodo.7711710openalex-snapshot
Correct-by-Construction Compilation of Contractions
inferredcites →https://doi.org/10.5441/002/icdt.2014.13openalex-snapshot
Triejoin: A Simple, Worst-Case Optimal Join Algorithm
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-032-12846-1_6openalex-snapshot
Analyzing and Comparing the Stream Theory: A Review
inferred← citeshttps://doi.org/10.1007/978-981-92-0184-6_1openalex-snapshot
Finite Functional Programming
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395192openalex-snapshot
Ember: A Compiler for Embedding Operations on Decoupled Access-Execute Architectures
inferred← citeshttps://doi.org/10.1145/3656390openalex-snapshot
A Verified Compiler for a Functional Tensor Language
inferred← citeshttps://doi.org/10.1145/3656403openalex-snapshot
Mechanised Hypersafety Proofs about Structured Data
inferred← citeshttps://doi.org/10.1145/3689342openalex-snapshot
CoNST: Code Generator for Sparse Tensor Networks
inferred← citeshttps://doi.org/10.1145/3689752openalex-snapshot
Compilation of Shape Operators on Sparse Arrays
inferred← citeshttps://doi.org/10.1145/3747524openalex-snapshot
Correctness Meets Performance: From Agda to Futhark
inferred← citeshttps://doi.org/10.1145/3776719openalex-snapshot
Foundational Multi-Modal Program Verifiers
inferred← citeshttps://doi.org/10.1145/3808261openalex-snapshot
A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs
inferred← citeshttps://doi.org/10.1145/3808283openalex-snapshot
A Compiler for Fused Relational Operations on Multisets
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.