Stoke – A stochastic superoptimizer and program synthesizerstoke.stanford.edu142 pointslelf6 years ago