%A Rodrigo Arias Mallo
%D 2020
%K garlic execution
%T Garlic: the execution pipeline