Bahram Yarahmadi, Erven Rohou. Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems. In Alex Orailoglu, Matthias Jung 0001, Marc Reichenbach, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation - 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings. Volume 12471 of Lecture Notes in Computer Science, pages 169-185, Springer, 2020. [doi]