I'd have never thought that the art of low-level optimization would be the first one with some serious automation from Deep Learning... Very interesting paper!