EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution.
David DayanMoshe GoldsteinShimon MizrahiMax RabinDevora BerlowitzOr BerlowitzElad Bussani LevyMoshe NaamanMor NagarDitsa SoudryRaphael B. YehezkaelMiroslav PopovicPublished in: ECBS-EERC (2015)