Refined Remora: Constraining Array Shapes. - Vadym Matviichuk; Olin Shivers (ARRAY@PLDI, 2026)