Hacker News
Linking pages
- Mining JIT traces for missing optimizations with Z3 | PyPy https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 comments
- Search-based compiler code generation https://jamey.thesharps.us/2017/06/19/search-based-compiler-code-generation/ 5 comments
- Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments
Related searches:
Search whole site: site:blog.regehr.org
Search title: A Few Synthesizing Superoptimizer Results – Embedded in Academia
See how to search.