~/talk

Compressed and Parallelized Structured Tensor Algebra

on YouTube 14m
Talkat OOPSLA 2025 · 2025-10-16..10-18· [machine-learning, compilers-and-language-design]

speakers

name:Mahdi Ghorbani
links:none on file
name:Emilien Bauer
links:none on file
name:Tobias Grosser
links:none on file
name:Amir Shaikhha
links:none on file

resources

video:https://youtu.be/Yd_wtoUQdF0
slides:none on file

summary

DASTAC generates compressed linear indexes from polyhedral structure using the Barvinok algorithm, emits affine code and parallel loops via MLIR, and adds automatic data layout compression so tensors store only needed elements. The framework produces specialized kernels that match or beat expert hand-tuned code, reporting 0.16x–44.83x single-thread and 1.37x–243.78x multi-thread speedups, and supports transparent compress/decompress paths to interoperate with dense representations.

AI-written summary · about

chapters (8)

  1. 0:00Structured tensor algebra intro
  2. 1:51Structure encoding and inference
  3. 4:01Compressed tensor storage
  4. 6:30Parallelization and memory
  5. 7:31Performance comparisons
  6. 8:34Automatic tensor compression
  7. 9:39Takeaways and future work
  8. 10:22Q&A

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.