Posts by CF Bolz-Tereick RSS feed 2024-08-03 14:00A Knownbits Abstract Domain for the Toy Optimizer, Correctly 2024-07-19 17:01Mining JIT traces for missing optimizations with Z3 2024-07-12 19:14Finding Simple Rewrite Rules for the JIT with Z3