@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|0000-0001-8385-149X},
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},
} 

