Vadym Matviichuk, Olin Shivers. Refined Remora: Constraining Array Shapes. In Ganesh Gopalakrishnan, Artjoms Sinkarovs, editors, Proceedings of the 12th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2026, Boulder, CO, USA, June 15-19, 2026. pages 30-43, ACM, 2026. [doi]
Abstract is missing.