*Amazing* blog post on modelling compilers as a search problem on a Value State Dependence Graph: https://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html