Compiler-Directed Lightweight Checkpointing for Fine-Grained Guaranteed Soft Error Recovery | IEEE Conference Publication | IEEE Xplore