It's amusing that they fixed several bugs in the schedulers while writing this paper.