“…Two prominent contemporary projects based on the finite-element method (FEM), FEniCS (Logg et al, 2012) and Firedrake (Rathgeber et al, 2015), both implement a common DSL, UFL (Alnaes et al, 2014), that allows for the expression of variational problems in weak form. Multiple DSLs to express stencillike algorithms have also emerged over time (Henretty et al, 2013;Zhang and Mueller, 2012;Christen et al, 2011;Unat et al, 2011;Köster et al, 2014;Membarth et al, 2012;Osuna et al, 2014;Tang et al, 2011;Bondhugula et al, 2008;Yount, 2015). Other stencil DSLs have been developed with the objective of solving PDEs using finite differences (Hawick and Playne, 2013;Arbona et al, 2017;Jacobs et al, 2016).…”