BAROFFIO, DAVIDE
BAROFFIO, DAVIDE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A laser device to inject Single Event Effects (SEE) in electronics components
2025-01-01 Reghenzani, F.; Fornaciari, W.; Lopez, T. A.; Baroffio, D.
Advanced Software Techniques for Resilience Against Error Upsets in Space
2025-01-01 Reghenzani, F.; Baroffio, D.; Lopez, T. A.; Corigliano, E.; Fornaciari, W.; Gajani, G. S.; Maffezzoni, P.; Catanese, A.; Balossino, A.; Giuliani, M.
Compiler-Injected SIHFT for Embedded Operating Systems
2023-01-01 Baroffio, Davide; Reghenzani, Federico
Enhanced Compiler Technology for Software-based Hardware Fault Detection
2024-01-01 Baroffio, Davide; Reghenzani, Federico; Fornaciari, William
Evaluating Compiler-Based Reliability with Radiation Fault Injection
2025-01-01 Baroffio, Davide; Lopez, Tomas Antonio; Reghenzani, Federico; Fornaciari, William
Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card
2026-01-01 Ciobanu, Cătălin Bogdan; Conti, Francesco; Caplan, Cairo; Schmidt, Holger; Ecker, Wolfgang; Wullems, Rob; Pype, Patrick; Fanti, Tiberio; Schiavone, Davide; Baumann, Dominik; Pușcașu, Alexandru; Stancu, Răzvan; Buiu, Octavian; Mehlhop, Sven; Walter, Jörg; Oppenheimer, Frank; Urgese, Gianvito; Urso, Teodoro; Bosio, Roberto; Burrello, Alessio; Suciu, George; Sachian, Mari-Anais; Capbun, Nicoleta; Florescu, Robert; Costinescu, Simona; Suresh, Ambily; Lorber, Florian; Gâlmeanu, Honorius; Munteanu, Mihai; Hegedus, Szilard; Sheladiya, Darshak; Krebs, Florian; Theiling, Henrik; Paladino, Mattia; Gregori, Daniele; Proverbio, Federico; Kastil, Jan; Schober, Alexander; Buchty, Rainer; Berekovic, Mladen; Poudel, Amrit Sharma; Mulhem, Saleh; Valpreda, Emanuele; Zunino, Andrea; Feola, Luigi; Mătea, Samuel; Moisa, Cosmin; Perian, Cristian; Stan, Andrei; Popovici, Alexandru-Tudor; Popovici, Cosmin-Andrei; Vieriu, George-Emil; Pérez, Daniel Gracia; Girbal, Sylvain; Quévremont, Jérôme; Sintzoff, André; Jebali, Fatma; Andriamisaina, Caaliph; Egert, Florian; Capra, Maurizio; Aimar, Alessandro; Venceslai, Valerio; De Maldé, Francesco; D'Agostino, Maria Elena; Fornaciari, William; Magnani, Gabriele; Baroffio, Davide; Galimberti, Andrea; Brandolese, Carlo; Storti Gajani, Giancarlo; Vasile, Costin-Emanuel; Hobincu, Radu; Enescu, Alexandra-Mihaela; Bira, Calin; Cishugi, Elijah Seth; Ottavi, Marco; Soriano, Esther; López, Ester; Nicolau, Vicente; Chatzopoulos, Odysseas; Karakostas, Vasileios; Gizopoulos, Dimitris; Georgopoulos, Konstantinos; Papaefstathiou, Ioannis; Mavroidis, Iakovos; Ahmadi-Pour, Sallar; Drechsler, Rolf; Abella, Jaume; Alcaide, Sergi; Haxel, Frederik; Nicolás Peccia, Federico; Schröter, Jonathan; Mahdavi, Arefeh; Wallentowitz, Stefan; Mai, Felix; Garofalo, Angelo; Rossi, Davide; Tagliavini, Giuseppe; Loulou, Hassan; Clement, François; Saleh, Saad; Detterer, Paul; Van Schaik, Gert-Jan; Wistoff, Nils; Benini, Luca; Liu, Tianhai; Hunt, James J.; Vörg, Andreas; Van Kempen, Philipp; Geier, Johannes; Schlichtmann, Ulf; Feldner, Ingo
Hardening On-Board Software: a Low-Overhead Compiler-based Approach
2025-01-01 Corigliano, Emilio; Baroffio, Davide; Lopez, Tomas; Reghenzani, Federico
Inside ASPIS: Advancing Compiler-based Hardware Fault Tolerance
2025-01-01 Corigliano, E.; Baroffio, D.; Lopez, T. A.; Reghenzani, F.; Geier, J.; Fornaciari, W.
Laser and Radiation Testing of Compiler-based Protection for Multi-Bit Upsets
2025-01-01 Baroffio, Davide; Lopez, Tomas Antonio; Reghenzani, Federico; Fornaciari, William
Laser Fault Injection Methodology for Software Reliability Testing
2025-01-01 Reghenzani, Federico; Baroffio, Davide; Lopez, TOMAS ANTONIO; Fornaciari, William; Borel, Thomas; Krimmel, Florian
Late Breaking Results - Proton Beam Experiments of Compiler-based Hardware Fault Tolerance
2026-01-01 Corigliano, Emilio; Baroffio, Davide; Reghenzani, Federico; Lopez, Tomas Antonio; Fornaciari, William
Modern LLVM-based Compiler Autotuning for WCET Optimization
2025-01-01 Magnani, Gabriele; Baroffio, Davide; Reghenzani, Federico; Agosta, Giovanni; Fornaciari, William
Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability
2025-01-01 Agosta, G.; Bini, E.; Baroffio, D.; Brandolese, C.; Castrovilli, M.; Cattaneo‡, D.; Cesarini, D.; Fornaciari, W.; Galimberti, A.; Garfagnini, A.; Gavrikov, Arsenii; Iannone, F.; Lapegna, M.; Lopez, T. A.; Magnani, G.; Mencagli, G.; Metra, C.; Omana, M. E.; Palombi, F.; Reghenzani, F.; Rodriguez Condia, Josie E.; Serafini, A.; Sonza Reorda, M.; Zoni, D; Zummo, G.
Protecting Safety-Critical Systems: a Software Approach
2024-01-01 Baroffio, D.; Lopez, T. A.; Reghenzani, F.; Fornaciari, W.
Quantifying Compiler-induced Reliability Loss in Software-Implemented Hardware Fault Tolerance
2026-01-01 Baroffio, Davide; Geier, Johannes; Reghenzani, Federico; Schlichtmann, Ulf; Fornaciari, William
RISC-V-Based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
2023-01-01 Fornaciari, William; Reghenzani, Federico; Terraneo, Federico; Baroffio, Davide; Metra, Cecilia; Omana, Martin; Condia, Josie E. Rodriguez; Reorda, Matteo Sonza; Birke, Robert; Colonnelli, Iacopo; Mittone, Gianluca; Aldinucci, Marco; Mencagli, Gabriele; Iannone, Francesco; Palombi, Filippo; Zummo, Giuseppe; Cesarini, Daniele; Tesser, Federico
Software Techniques for Soft Error Resilience: the ASTRAEUS project
2025-01-01 Reghenzani, Federico; Baroffio, Davide; Corigliano, Emilio; Fornaciari, William; Gajani, Giancarlo S.; Maffezzoni, Paolo; Catanese, Antonino; Balossino, Alessandro; Giuliani, Marco
Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR
2026-01-01 Nicolosi, Niccolò; Magnani, Gabriele; Corigliano, Emilio; Baroffio, Davide; Reghenzani, Federico; Agosta, Giovanni
VTS2026 Student Forum:
2026-01-01 Baroffio, Davide; Reghenzani, Federico; Fornaciari, William; Halder, Dipal; Ray, Sandip