StanfordPL/stoke
View on GitHub ↗ ★ 888 C++
STOKE: A stochastic superoptimizer and program synthesizer
8 mentions on Hacker News by 8 people: 2 stories, 6 comments · first 2016-12-15 · latest 2026-08-22
20082026
-
…This is superoptimization. We've known this since the 80s (Massalin, STOKE is more recent: https://github.com/StanfordPL/stoke ) The only novelty is that the proposer is now way better with LMs. Further, there's a large number of reasons…
comment by mccoyb · 2026-08-22 · in There's no reason for software to be slow anymore -
…ttps://en.wikipedia.org/wiki/Superoptimization > I recall reading about a stochastic one years ago: < https://github.com/StanfordPL/stoke >
comment by coppsilgold · 2026-03-23 · in Autoresearch on an old research idea -
▲ 1
Stoke is a stochastic optimizer and program synthesizerstory by rq1 · 2022-08-30 · 0 comments
-
Stochastic optimization? STOKE [1] from Stanford is trying to that if I understood it correctly. [1]: https://github.com/StanfordPL/stoke
comment by maemre · 2017-12-05 · in Barliman – real-time program synthesis to make the programmer's life easier -
…x86 to find non-obvious code sequences. STOKE also verifies the resulting transformation with Z3. https://github.com/StanfordPL/stoke
comment by chrisaycock · 2017-06-22 · in What Challenges and Trade-Offs Do Optimising Compilers Face? -
▲ 4
STOKE: A stochastic superoptimizer and program synthesizerstory by albertzeyer · 2017-04-06 · 0 comments
-
STOKE is on github here: https://github.com/StanfordPL/stoke . Most CS conferences are making a big push towards "artifact evaluation," which means that many papers now come with peer-reviewed implementations.
comment by wsxcde · 2017-04-01 · in Stochastic Program Optimization -
…a stochastic superoptimizer, is pretty interesting in this context: http://stoke.stanford.edu/ & https://github.com/StanfordPL/stoke
comment by matt_d · 2016-12-15 · in Godbolt: Enter C, get Assembly