morpheus A domain-specific language for compiler optimizations, using temporal logic side conditions.