Mining performance specifications
An API for Runtime Code Patching