1 paper · 1 filter
Zhengyang Liu, Stefan Mada, John Regehr
A superoptimizing compiler--one that performs a meaningful search of the program space as part of the optimization process--can find optimization opportunities that are missed by e…