Mining performance specifications
PEMOGEN: automatic adaptive performance modeling during program runtime