S stoke.stanford.edu Stoke – A stochastic superoptimizer and program synthesizer 142 points lelf 6 years ago 44 comments