Tristan Aubrey-Jones and Bernd Fischer: Synthesizing MPI Implementations from Functional Data-Parallel Programs [HLPP14 Paper] [IJPP15 Preprint]