Lobsters
- Finding Simple Rewrite Rules for the PyPy JIT with Z3 https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments compilers , python
Linking pages
Linked pages
- Early Superoptimizer Results – Embedded in Academia http://blog.regehr.org/archives/1146 37 comments
- Let’s Work on an LLVM Superoptimizer – Embedded in Academia http://blog.regehr.org/archives/1109 26 comments
- [1711.04422] Souper: A Synthesizing Superoptimizer https://arxiv.org/abs/1711.04422 16 comments
- A Few Synthesizing Superoptimizer Results – Embedded in Academia http://blog.regehr.org/archives/1252 13 comments
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments
- Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA http://blog.regehr.org/ 8 comments
- Two's complement - Wikipedia https://en.wikipedia.org/wiki/Two%27s_complement 6 comments
- Max Bernstein http://bernsteinbear.com/ 4 comments
- Synthesizing Constants – Embedded in Academia https://blog.regehr.org/archives/1636 1 comment
- Superoptimization - Wikipedia https://en.wikipedia.org/wiki/Superoptimization 1 comment
Related searches:
Search whole site: site:pypy.org
Search title: Finding Simple Rewrite Rules for the JIT with Z3 | PyPy
See how to search.