Yeah, the project came out of Chlorophyll[1] which was a compiler for GreenArrays that used program synthesis for optimization. I imagine ARM has more immediat

Yeah, the project came out of Chlorophyll[1] which was a compiler for GreenArrays that used program synthesis for optimization. I imagine ARM has more immediate practical applications and useful benchmarks, but it came second—I assume out of a collaboration with Qualcomm Research. [1]: http://pl.eecs.berkeley.edu/projects/chlorophyll/ http://pl.eecs.berkeley.edu/projects/chlorophyll/