Hacker News
- Mining JIT traces for missing optimizations with Z3 https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 comments
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
- PyPy Speed http://speed.pypy.org/ 24 comments
- GitHub - csmith-project/creduce: C-Reduce, a C program reducer https://github.com/csmith-project/creduce 21 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
- Max Bernstein http://bernsteinbear.com/ 4 comments
- GitHub - DRMacIver/shrinkray: Shrinkray is a modern multi-format test-case reducer https://github.com/DRMacIver/shrinkray 4 comments
- Synthesizing Constants – Embedded in Academia https://blog.regehr.org/archives/1636 1 comment
- Microsoft Research – Emerging Technology, Computer, and Software Research http://research.microsoft.com/en-us/projects/spur/ 0 comments
Related searches:
Search whole site: site:pypy.org
Search title: Mining JIT traces for missing optimizations with Z3 | PyPy
See how to search.