Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 10:30 - 10:52 at Regency C - Optimizing Compilation and Verification Chair(s): Gregor Richards

Tensor algebra is a powerful tool with applications in machine learning, data analytics, engineering and the physical sciences. Tensors are often sparse and compound operations must frequently be computed in a single kernel for performance and to save memory. Programmers are left to write kernels for every operation of interest, with different mixes of dense and sparse tensors in different formats. The combinations are infinite, which makes it impossible to manually implement and optimize them all. This paper introduces the first compiler technique to automatically generate kernels for any compound tensor algebra operation on dense and sparse tensors. The technique is implemented in a C++ library called taco. Its performance is competitive with best-in-class hand-optimized kernels in popular libraries, while supporting far more tensor operations.

Thu 26 Oct

splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Optimizing Compilation and Verification at Regency C
Chair(s): Gregor RichardsUniversity of Waterloo
splash-2017-OOPSLA150900660000010:30 - 10:52
Talk
DOI
splash-2017-OOPSLA150900795000010:52 - 11:15
Talk
Laith SakkaPurdue University, Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
DOI
splash-2017-OOPSLA150900930000011:15 - 11:37
Talk
Dominic OrchardUniversity of Kent, UK, Mistral Contrastin, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
DOI
splash-2017-OOPSLA150901065000011:37 - 12:00
Talk
Yufei DingNorth Carolina State University, Xipeng ShenNorth Carolina State University
DOI