Sources for the empirical evaluation of 4 HLS languages and tools (FPL '14).