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
- Program Synthesis is Possible in Rust http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html 8 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
- Improving MBA Deobfuscation using Equality Saturation | secret club https://secret.club/2022/08/08/eqsat-oracle-synthesis.html 0 comments
Related searches:
Search whole site: site:blog.regehr.org
Search title: Synthesizing Constants – Embedded in Academia
See how to search.