OCEANS: Optimizing compilers for embedded applications | doi.page