STOKE: A stochastic superoptimizer and program synthesizergithub.com/StanfordPL4 pointsalbertzeyer9 years ago