Devel-op: An optimizer development environment. - Zhibo Peng; Mitch Cherniack; Olga Papaemmanouil (ICDE, 2014)