94 citations · 97 across the 4 of their papers we have counts for
1 paper · 2 filters
Mike Dodds, Mark Batty, Alexey Gotsman
A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be…