Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs

Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics