Author of the publication

Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems.

, and . SAMOS, volume 12471 of Lecture Notes in Computer Science, page 169-185. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A framework for automatic and parameterizable memoization., , , , , and . SoftwareX, (2019)OCEANS: Optimising Compilers for Embedded Applications., , , , , , , , , and 8 other author(s). Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 1123-1130. Springer, (1998)TRAITOR: A Low-Cost Evaluation Platform for Multifault Injection., , , and . ASSS@AsiaCCS, page 51-56. ACM, (2021)A lightweight incremental analysis and profiling framework for embedded devices., , , , and . SCOPES, page 60-68. ACM, (2014)The ANTAREX Domain Specific Language for High Performance Computing., , , , , , , , , and 12 other author(s). CoRR, (2019)Guided just-in-time specialization., , , , and . Sci. Comput. Program., (2020)The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems., , , , , , , , , and 11 other author(s). SAMOS, page 308-316. IEEE, (2017)An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems., , , , and . HiPEAC, volume 4917 of Lecture Notes in Computer Science, page 130-144. Springer, (2008)Supporting runtime reconfigurable VLIWs cores through dynamic binary translation., , and . DATE, page 1009-1014. IEEE, (2018)Aggressive Memory Speculation in HW/SW Co-Designed Machines., , and . DATE, page 332-335. IEEE, (2019)