Declarative abstraction enables cross-layer optimization cloud schedulers cannot achieve.