Compiling Halide Programs to Push-Memory Accelerators | AMiner