Published in ACM Transactions on Design Automation of Electronic Systems, 2024
Davide Baroffio, Federico Reghenzani, and William Fornaciari. “Enhanced Compiler Technology for Software-based Hardware Fault Detection”. ACM Trans. Des. Autom. Electron. Syst. Just Accepted (April 2024).
Download here
Published in 20th ACM International Conference on Computing Frontiers (CF`23), 2023
Baroffio, Davide, and Federico Reghenzani. “Compiler-injected sihft for embedded operating systems.” Proceedings of the 20th ACM International Conference on Computing Frontiers. 2023.
Download here
Published in Politecnico di Milano, 2023
Baroffio, Davide. “Hardening safety-critical systems against transient faults via SIHFT compiler transformations.” (2022).
Download here
Published in 22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) , 2023
William, Fornaciari, et al. “RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters.” LECTURE NOTES IN COMPUTER SCIENCE (2023): 1-16.
Download here