@ARTICLE{
author={Dayan David,Goldstein Moshe,Mizrahi Shimon,Rabin Max,Berlovitz Devora,Berlovitz Or,Levy Elad Bussani,Naaman Moshe,Nagar Mor,Soudry Ditsa,Yehezkael Raphael B,Popovic Miroslav V},
year={2015},
title={EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={83-90},
document_type={Proceedings Paper},
}