EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution. - David Dayan; Moshe Goldstein; Shimon Mizrahi; Max Rabin; Devora Berlowitz; Or Berlowitz; Elad Bussani Levy; Moshe Naaman; Mor Nagar; Ditsa Soudry; Raphael B. Yehezkael; Miroslav Popovic (ECBS-EERC, 2015)