Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Davide Baroffio
About me
Page not in menu
This is a page not in th emain menu
Posts
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Published:
Short description of portfolio item number 1
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).