[ARRAY24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | ACM SIGPLAN | Podwise