Retrofitting JIT Compilers into C Interpreters(tratt.net)108 points by ltratt 6 months ago | 22 comments
Minotaur: A SIMD-oriented synthesizing superoptimizer(arxiv.org)102 points by luu 3 years ago | 13 comments
Looplets: A Language for Structured Coiteration(dl.acm.org)50 points by matt_d 3 years ago | 21 comments
Language models as compilers: Simulating pseudocode execution(arxiv.org)159 points by milliondreams 2 years ago | 49 comments
Abstract Interpretation as a Programming Language(arxiv.org)48 points by Hirrolot 2 years ago | 3 comments