PyPy2 months agoJavaScriptMining JIT traces for missing optimizations with Z3Starting from optimized traces of real programs for integer operation optimizations using Z3 has advantages over classical superoptimization techniques. [ more ]