Abstract Interpretation in the Toy Optimizer(bernsteinbear.com)39 points by thunderbong 2 years ago | 15 comments
Type-based alias analysis in the Toy Optimizer(bernsteinbear.com)16 points by chunkles 8 months ago | 1 comments
A Knownbits Abstract Domain for the Toy Optimizer, Correctly(pypy.org)18 points by luu 2 years ago | 0 comments
Retrofitting JIT Compilers into C Interpreters(tratt.net)108 points by ltratt 6 months ago | 22 comments