CompilerBounds-check elimination in Go: making the prover happyEscape analysis, demystified by 6 tiny examplesInlining budgets, and why your one-liner stayed slowMy journey optimizing the Go Compiler
