Linking pages
- GitHub - akkartik/mu: Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society. https://github.com/akkartik/mu 131 comments
- Mining JIT traces for missing optimizations with Z3 | PyPy https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 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
- A DSL for Peephole Transformation Rules of Integer Operations in the PyPy JIT | PyPy https://pypy.org/posts/2024/10/jit-peephole-dsl.html 11 comments
- Implementing a Toy Optimizer | PyPy https://www.pypy.org/posts/2022/07/toy-optimizer.html 9 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
- Allocation Removal in the Toy Optimizer | PyPy https://www.pypy.org/posts/2022/10/toy-optimizer-allocation-removal.html 2 comments
- Fixing a Bug in PyPy's Incremental GC | PyPy https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html 1 comment
- Acyclic Egraphs and Smart Constructors | Hey There Buddo! https://www.philipzucker.com/smart_constructor_aegraph/ 0 comments
Related searches:
Search whole site: site:bernsteinbear.com
Search title: Max Bernstein
See how to search.