41 citations · 41 across the 2 of their papers we have counts for
1 paper · 1 filter
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne +4
If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quali…