Posts by CF Bolz-Tereick
- A DSL for Peephole Transformation Rules of Integer Operations in the PyPy JIT
- A Knownbits Abstract Domain for the Toy Optimizer, Correctly
- Mining JIT traces for missing optimizations with Z3
- Finding Simple Rewrite Rules for the JIT with Z3
- Fixing a Bug in PyPy's Incremental GC
- RPython-based emulator speeds up RISC-V simulation over 15x
- Repeated string concatenation is quadratic in PyPy (and CPython)
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing