High performance array programming in Petalisp (zenodo.org)