Alberto Bosio

Prof. Dr. Alberto Bosio

orcid

Research Focus & Metrics

Academic Career Length

20Years (2007-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
10 February 2023 in Computer
Verified
Journal Article
Closed access
ARAnnachiara Ruospo
Annachiara Ruospo
ESErnesto Sanchez
Ernesto Sanchez
LLLucas Matana Luza
Lucas Matana Luza
LDLuigi DILILLO
Luigi DILILLO
Marcello TraiolaMarcello Traiola
Marcello Traiola
Alberto BosioAlberto Bosio
Alberto Bosio
Deep learning (DL) reliability is becoming a growing concern, and efficient reliability assessment approaches are required to meet safety constraints. This article presents a survey of the main DL reliability assessment methodologies, focusing mainly on fault injection techniques used to evaluate DL resilience.

1 October 2021 in Microprocessors and Microsystems
Verified
Journal Article
Closed access
ARAnnachiara Ruospo
Annachiara Ruospo
ESErnesto Sanchez
Ernesto Sanchez
Marcello TraiolaMarcello Traiola
Marcello Traiola
IOIan O’cOnnor
Ian O’cOnnor
Alberto BosioAlberto Bosio
Alberto Bosio

26 March 2020 in Electronics
Verified
Journal Article
Open access
PDF file
GRGennaro Rodrigues
Gennaro Rodrigues
FKFernanda Lima Kastensmidt
Fernanda Lima Kastensmidt
Alberto BosioAlberto Bosio
Alberto Bosio
This work is a survey on approximate computing and its impact on fault tolerance, especially for safety-critical applications. It presents a multitude of approximation methodologies, which are typically applied at software, architecture, and circuit level. Those methodologies are discussed and compared on all their possible levels of implementations (some techniques are applied at more than one level). Approximation is also presented as a means to provide fault tolerance and high reliability: Traditional error masking techniques, such as triple modular redundancy, can be approximated and thus have their implementation and execution time costs reduced compared to the state of the art.

7 October 2021 in IEEE Transactions on Emerging Topics in Computing
Verified
Journal Article
Closed access
LLLucas Matana Luza
Lucas Matana Luza
ARAnnachiara Ruospo
Annachiara Ruospo
DSDaniel Paul Söderström
Daniel Paul Söderström
CCCarlo Cazzaniga
Carlo Cazzaniga
MKMaria Kastriotou
Maria Kastriotou
LDLuigi DILILLO
Luigi DILILLO
Convolutional Neural Networks (CNNs) are currently one of the most widely used predictive models in machine learning. Recent studies have demonstrated that hardware faults induced by radiation fields, including cosmic rays, may significantly impact the CNN inference leading to wrong predictions. Therefore, ensuring the reliability of CNNs is crucial, especially for safety-critical systems. In the literature, several works propose reliability assessments of CNNs mainly based on statistically injected faults. This work presents a software emulator capable of injecting real faults retrieved from radiation tests. Specifically, from the device characterisation of a DRAM memory, we extracted event rates and fault models. The software emulator can reproduce their incidence and access their effect on CNN applications with a reliability assessment precision close to the physical one. Radiation-based physical injections and emulator-based injections are performed on three CNNs (LeNet-5) exploiting different data representations. Their outcomes are compared, and the software results evidence that the emulator is able to reproduce the faulty behaviours observed during the radiation tests for the targeted CNNs. This approach leads to a more concise use of radiation experiments since the extracted fault models can be reused to explore different scenarios (e.g., impact on a different application).

9 June 2021 in IEEE Access
Verified
Journal Article
Open access
Salvatore BaroneSalvatore Barone
Salvatore Barone
Marcello TraiolaMarcello Traiola
Marcello Traiola
MBMario Barbareschi
Mario Barbareschi
Alberto BosioAlberto Bosio
Alberto Bosio
Approximate Computing (AxC) paradigm aims at designing computing systems that can satisfy the rising performance demands and improve the energy efficiency. AxC exploits the gap between the level of accuracy required by the users, and the actual precision provided by the computing system, for achieving diverse optimizations. Various AxC techniques have been proposed so far in the literature at different abstraction levels from hardware to software. These techniques have been successfully utilized and combined to realize approximate implementations of applications in various domains (e.g. data analytic, scientific computing, multimedia and signal processing, and machine learning). Unfortunately, state-of-the-art approximation methodologies focus on a single abstraction level, such as combining elementary components (e.g., arithmetic operations) which are firstly approximated using component-level metrics and then combined to provide a good trade-off between efficiency and accuracy at the application level. This hinders the possibility for designers to explore different approximation opportunities, optimized for different applications and implementation targets. Therefore, we designed and implemented E- \mathbb IDEA, an automatic framework that provides an application-driven approximation approach to find the best approximate versions of a given application targeting different implementations (i.e., hardware and software). E- \mathbb IDEA compounds 1) a source-to-source manipulation tool and 2) an evolutionary search engine to automatically realize approximate application variants and perform a Design-Space Exploration (DSE). The latter results in a set of non-dominate approximate solutions in terms of trade-off between accuracy and efficiency. Experimental results validate the effectiveness and the flexibility of the approach in generating optimized approximate implementations of different applications, by using different approximation techniques and different accuracy/error metrics and for different implementation targets.

18 December 2018 in IEEE Transactions on Computers
Verified
Journal Article
Closed access
AVA. Vallero
A. Vallero
Alessandro SavinoAlessandro Savino
Alessandro Savino
ACA. Chatzidimitriou
A. Chatzidimitriou
MKM. Kaliorakis
M. Kaliorakis
MKMaha Kooli
Maha Kooli
Stefano Di CarloStefano Di Carlo
Stefano Di Carlo