Performance search engine driven by prior knowledge of optimization.

Youngsung Kim, Pavol Cern, John M. Dennis

Browse the full PLDI paper archive.