Sotabase

Career

· Researcher, MIT CSAIL2024–
· Postdoctoral Researcher, MIT CSAIL2017–

Publications (13)

Looplets: A Language for Structured Coiteration
IEEE/ACM International Symposium on Code Generation and Optimization · 2022
25
cited
Algorithms for Efficient Reproducible Floating Point Summation
ACM Transactions on Mathematical Software · 2020
21
cited
Finch: Sparse and Structured Tensor Programming with Control Flow
Proc. ACM Program. Lang. · 2024
8
cited
Mechanised Hypersafety Proofs about Structured Data
Proc. ACM Program. Lang. · 2024
7
cited
A Fill Estimation Algorithm for Sparse Matrices and Tensors in Blocked Formats
IEEE International Parallel and Distributed Processing Symposium · 2018
4
cited
Galley: Modern Query Optimization for Sparse Tensor Programs
Proc. ACM Manag. Data · 2024
3
cited
Interface for Sparse Linear Algebra Operations
arXiv.org · 2024
2
cited
The Continuous Tensor Abstraction: Where Indices Are Real
Proceedings of the ACM on Programming Languages · 2024
1
cited
CS 267 Final Report Reproducible Parallel Matrix-Vector Multiply
2015
Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
arXiv.org · 2025
SySTeC: A Symmetric Sparse Tensor Compiler
IEEE/ACM International Symposium on Code Generation and Optimization · 2024
Sotabase