Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures 1 points by dbremner