Compiler-level implementation of single Event Upset errors mitigation algorithms | IEEE Conference Publication | IEEE Xplore