1. An empirical study of the effect of source-level loop transformations on compiler stability;Gong;Proc. ACM Program. Lang.,2018
2. Astute approach to handling memory layouts of regular data structures;Šmelko,2023
3. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines;Ragan-Kelley;Acm Sigplan Notices,2013
4. Loopy: Programmable and formally verified loop transformations;Namjoshi,2016
5. GPU matrix multiplication;Li,2013