Synthetic Program Specifications for Performance Evaluation