The Tensor Algebra Compiler by Kjolstad, Fredrik, Kamil, Shoaib, Chou, Stephen, Lugato, David, Amarasinghe, Saman

Subjects: “…Tensor Algebra…”
Get full text

The tensor algebra compiler by Kjolstad, Fredrik, Kamil, Shoaib, Chou, Stephen, Lugato, David, Amarasinghe, Saman

“…<jats:p>Tensor algebra is a powerful tool with applications in machine learning, data analytics, engineering and the physical sciences. …”
Get full text

Sparse Tensor Transpositions by Mueller, Suzanne, Ahrens, Willow, Chou, Stephen, Kjolstad, Fredrik, Amarasinghe, Saman

Get full text

Compilation of Dynamic Sparse Tensor Algebra by Chou, Stephen, Amarasinghe, Saman

Get full text

Format abstraction for sparse tensor algebra compilers by Chou, Stephen, Kjolstad, Fredrik, Amarasinghe, Saman

“…<jats:p>This paper shows how to build a sparse tensor algebra compiler that is agnostic to tensor formats (data layouts). …”
Get full text

Format Abstractions for the Compilation of Sparse Tensor Algebra by Chou, Stephen

“…Tensors are commonly used to represent data in many domains, including data analytics, machine learning, science, and engineering. …”
Get full text

Taco: A tool to generate tensor algebra kernels by Kjolstad, Fredrik, Chou, Stephen, Lugato, David, Kamil, Shoaib, Amarasinghe, Saman

“…Tensor algebra is an important computational abstraction that is increasingly used in data analytics, machine learning, engineering, and the physical sciences. …”
Get full text

Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model by Ahrens, Willow, Kjolstad, Fredrik, Amarasinghe, Saman

Get full text

GSTACO: A Generalized Sparse Tensor Algebra Compiler by Dima, Alexandra

“…Therefore, optimizations for sparse tensor algebra have received a lot of attention lately. …”
Get full text

A System to Exploit Symmetry in Common Tensor Kernels by Patel, Radha

“…Symmetric tensors arise naturally in many domains including linear algebra, statistics, physics, chemistry, and graph theory. …”
Get full text

Automatic generation of efficient sparse tensor format conversion routines by Chou, Stephen, Kjolstad, Fredrik, Amarasinghe, Saman

“…This paper shows how to generate code that efficiently converts sparse tensors between disparate storage formats (data layouts) such as CSR, DIA, ELL, and many others. …”
Get full text

A sparse iteration space transformation framework for sparse tensor algebra by Senanayake, Ryan, Hong, Changwan, Wang, Ziheng, Wilson, Amalee, Chou, Stephen, Kamil, Shoaib, Amarasinghe, Saman, Kjolstad, Fredrik

“…We address the problem of optimizing sparse tensor algebra in a compiler and show how to define standard loop transformations - -split, collapse, and reorder - -on sparse iteration spaces. …”
Get full text

A Universal Tensor Abstraction and its Application to and Implementation within Block-Based Compression by Ray, Jessica Morgan

“…Data with spatial relationships are often represented in modern programs using multidimensional arrays or other tensor structures, along with the associated metadata necessary to track the location of each piece of data. …”
Get full text

WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program by Won, Jaeyeon, Mendis, Charith, Emer, Joel, Amarasinghe, Saman

Get full text

Simit: A Language for Physical Simulation by Kjolstad, Fredrik, Kamil, Shoaib, Ragan-Kelley, Jonathan, Levin, David I.W., Sueda, Shinjiro, Chen, Desai, Vouga, Etienne, Kaufman, Danny M., Kanwar, Gurtej, Matusik, Wojciech, Amarasinghe, Saman

Subjects: “…Graphs, Matrices, Tensors, Simulation…”
Get full text

Unified Compilation for Lossless Compression and Sparse Computing by Donenfeld, Daniel

“…Achieving high performance for computations on tensors depends heavily on the formats used to store them. …”
Get full text

Compilation of sparse array programming models by Henry, Rawn, Hsu, Olivia, Yadav, Rohan, Chou, Stephen, Olukotun, Kunle, Amarasinghe, Saman, Kjolstad, Fredrik

“…Such a language has great expressive power and can express sparse and dense linear and tensor algebra, functions over images, exclusion and inclusion filters, and even graph algorithms.…”
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…To turn this observation into an effective verification methodology, we developed the Logic for Graceful Tensor Manipulation (LGTM), a new Hoare-style relational separation logic for specifying and verifying computations over structured data. …”
Get full text

Simit: A Language for Physical Simulation by Matusik, Wojciech, Amarasinghe, Saman, Kamil, Shoaib, Ragan-Kelley, Jonathan, Levin, David I. W., Sueda, Shinjiro, Vouga, Etienne, Kaufman, Danny M., Kanwar, Gurtej, Kjoelstad, Fredrik Berg, Chen, Desai

“…In this article, we present Simit, a new language for physical simulations that lets the programmer view the system both as a linked data structure in the form of a hypergraph and as a set of global vectors, matrices, and tensors depending on what is convenient at any given time. …”
Get full text
Get full text
Get full text