4 ms·Programming Abstractions and Synthesis-Aided Compilation for Emerging Computing2 points by matt_d 8y ago