Software

A compiler that generates fast kernels for tensor algebra expressions over dense and sparse tensors from a high-level index notation.

C++ C CUDA

A library that adds sparse tensors and JIT-compiled kernels to PyTorch with a compatible API, automating loop ordering, tiling, and format inference for sparse machine-learning workloads.

Python C++

A tensor algebra compiler, built on TACO, that binds parts of an expression to external hand-tuned functions from other libraries and generates the rest, searching for the best mapping.

C++

A compiler that lowers user-specified systems of recurrence equations, with data-structure and scheduling directives, into imperative C loops over dense and sparse arrays.

C

A compiler for distributed dense tensor algebra that lets users specify how data is distributed and how computation is distributed independently, then compiles to a task-based runtime.

C++ Legion

A distributed, accelerated drop-in replacement for the scipy.sparse library that runs unmodified sparse SciPy programs across clusters of CPUs and GPUs.

Python Legate CUDA

A Lean 4 compiler and formalization of indexed streams — an operational intermediate representation for the fused execution of contraction programs across sparse tensor and relational algebra.

Lean 4

A language for structured coiteration that breaks iteration over structured and sparse arrays into cases the compiler can specialize, implemented in the open-source Finch array compiler.

Julia

A programming language that lets a simulation be written simultaneously as a hypergraph of local update functions and as global vectors, matrices, and tensors.

C++ LLVM CUDA

A technique that generates machine code by copying pre-built binary stencils and patching in constants and addresses, producing baseline code far faster than a traditional compiler backend.

C++ LLVM

A meta-compiler that takes a dynamic language's bytecode semantics, written as C++ functions, and generates a high-performance interpreter and a Copy-and-Patch baseline JIT.

C++ LLVM

A streaming-dataflow abstract machine and intermediate representation for compiling sparse tensor algebra to reconfigurable and fixed-function dataflow accelerators.

Python C++

A Rust framework for building fast parallel simulators of dataflow systems, modeling computation as contexts that communicate over latency-bearing channels.

Rust