Souper: A Synthesizing Superoptimizer
LLVM: a compilation framework for lifelong program analysis & transformation