5 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
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…