Abhinav Jangda and Greta Yorsh
Unbounded Superoptimization
In ACM Symposium on New Ideas in Programming and Reflections on Software 2017 (Onward! 2017)
[PDF][Slides][Code]

Super-vectorizer for ARM
(In preparation)