What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications. - Simon Rokicki; Davide Pala; Joseph Paturel; Olivier Sentieys (ICCAD, 2019)

Freezer: A Specialized NVM Backup Controller for Intermittently Powered Systems. - Davide Pala; Ivan Miro-Panades; Olivier Sentieys (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Microarchitectures for Robust and Efficient Incremental Backup in Intermittently-Powered Systems. (Microarchitectures pour la sauvegarde incrémentale, robuste et efficace dans les systèmes à alimentation intermittente). - Davide Pala (2022)