Mining JIT traces for missing optimizations with Z3(pypy.org)119 points by matt_d 2 years ago | 39 comments
A DSL for peephole transformation rules of integer operations in the PyPy JIT(pypy.org)97 points by todsacerdoti 2 years ago | 9 comments