41 citations · 43 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 1 cited
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
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…
cs.PL2018★ 1 cited
Future Directions for Optimizing Compilers
Nuno P. Lopes, John Regehr
As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code blo…
cs.PL2017★ 41 cited
Souper: A Synthesizing Superoptimizer
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…