Describir: Scheduling theory, algorithms, and systems