[SPARSE24] Extending the Scope of the Array Abstraction beyond Sparsity | ACM SIGPLAN | Podwise