Willow Ahrens

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Positive Semi Definite

Programming Language

Structured Data

Top Venues

Proc. ACM Program. Lang.

Publications

Willow Ahrens, Teodoro Fields Collin, Radha Patel, Kyle Deeds, Changwan Hong, Saman P. Amarasinghe
Finch: Sparse and Structured Array Programming with Control Flow. CoRR (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data: Extended Version. CoRR (2024)
Jaeyeon Won, Willow Ahrens, Joel S. Emer, Saman P. Amarasinghe
The Continuous Tensor Abstraction: Where Indices are Real. CoRR (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Radha Patel, Willow Ahrens, Saman P. Amarasinghe
SySTeC: A Symmetric Sparse Tensor Compiler. CoRR (2024)
Willow Ahrens, Daniel Donenfeld, Fredrik Kjolstad, Saman P. Amarasinghe
Looplets: A Language for Structured Coiteration. CGO (2023)
Willow Ahrens, Daniel Donenfeld, Fredrik Kjolstad, Saman P. Amarasinghe
Looplets: A Language For Structured Coiteration. CoRR (2022)