Portfolio item number 1
Published:
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Published:
Short description of portfolio item number 2
publications
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
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
Hardening safety-critical systems against transient faults via SIHFT compiler transformations
Published in Politecnico di Milano, 2023
Baroffio, Davide. “Hardening safety-critical systems against transient faults via SIHFT compiler transformations.” (2022).
Download here
Compiler-Injected SIHFT for Embedded Operating Systems
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
Enhanced Compiler Technology for Software-based Hardware Fault Detection
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Informatica per Aerospaziali (A.A. 2023-2024)
Tutorato, Politecnico di Milano, 2024
Tutorati pre-esame per il corso di Informatica per Aerospaziali (A.A. 2023-2024).