Vectron: A Dynamic Programming Auto-vectorization Framework. - Sourena Naser Moghaddasi; Haris Smajlovic; Ariya Shajii; Ibrahim Numanagic (CGO, 2025)