All Stories

  1. The Continuous Tensor Abstraction: Where Indices Are Real

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  2. Lightweight and Locality-Aware Composition of Black-Box Subroutines

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  3. Finch: Sparse and Structured Tensor Programming with Control Flow

    Article • Proceedings of the ACM on Programming Languages, April 2025, ACM (Association for Computing Machinery)

    Saman Amarasinghe, Teodoro Collin

  4. SySTeC: A Symmetric Sparse Tensor Compiler

    Article • March 2025, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  5. NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  6. Mechanised Hypersafety Proofs about Structured Data

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  7. A Deep Learning Model for Loop Interchange

    Article • February 2023, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  8. D2X: An eXtensible conteXtual Debugger for Modern DSLs

    Article • February 2023, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  9. Looplets: A Language for Structured Coiteration

    Article • February 2023, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  10. WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program

    Article • January 2023, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  11. Compilation of dynamic sparse tensor algebra

    Article • Proceedings of the ACM on Programming Languages, October 2022, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  12. Autoscheduling for sparse tensor algebra with an asymptotic cost model

    Article • June 2022, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  13. All you need is superword-level parallelism: systematic control-flow vectorization with SLP

    Article • June 2022, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  14. GraphIt to CUDA Compiler in 2021 LOC: A Case for High-Performance DSL Implementation via Staging with BuilDSL

    Article • April 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Saman Amarasinghe

  15. Unified Compilation for Lossless Compression and Sparse Computing

    Article • April 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Saman Amarasinghe

  16. Compilation of sparse array programming models

    Article • Proceedings of the ACM on Programming Languages, October 2021, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  17. Taming the Zoo: The Unified GraphIt Compiler Framework for Novel Architectures

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Saman Amarasinghe

  18. VeGen: a vectorizer generator for SIMD and beyond

    Article • April 2021, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  19. BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++

    Article • February 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Saman Amarasinghe

  20. Compiling Graph Applications for GPU s with GraphIt

    Article • February 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Saman Amarasinghe

  21. A sparse iteration space transformation framework for sparse tensor algebra

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Saman Amarasinghe, Ryan Senanayake

  22. Sparse Tensor Transpositions

    Article • July 2020, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  23. Compiler 2.0

    Article • June 2020, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  24. Automatic generation of efficient sparse tensor format conversion routines

    Article • June 2020, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  25. Optimizing ordered graph algorithms with GraphIt

    Article • February 2020, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  26. Gloss

    Article • ACM SIGPLAN Notices, November 2018, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  27. Cimple: instruction and memory level parallelism

    Article • November 2018, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  28. GraphIt: a high-performance graph DSL

    Article • Proceedings of the ACM on Programming Languages, October 2018, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  29. Format abstraction for sparse tensor algebra compilers

    Article • Proceedings of the ACM on Programming Languages, October 2018, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  30. goSLP: globally optimized superword level parallelism framework

    Article • Proceedings of the ACM on Programming Languages, October 2018, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  31. Halide

    Article • Communications of the ACM, December 2017, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  32. The tensor algebra compiler

    Article • Proceedings of the ACM on Programming Languages, October 2017, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  33. Simit

    Article • ACM Transactions on Graphics, May 2016, ACM (Association for Computing Machinery)

    Saman Amarasinghe

  34. OpenTuner

    Article • January 2014, ACM (Association for Computing Machinery)

    Saman Amarasinghe