Posts by Carl Friedrich Bolz-Tereick RSS feed 2022-12-11 18:00Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing 2022-10-25 07:55Allocation Removal in the Toy Optimizer 2022-07-19 12:00Implementing a Toy Optimizer 2022-04-02 15:00How is PyPy Tested? 2021-12-05 14:00Error Message Style Guides of Various Languages 2021-09-17 19:55Better JIT Support for Auto-Generated Python Code 2021-04-26 16:00Some Ways that PyPy uses Graphviz