Constraint-guided scheduling: A short history of research at CMU