VLDB 2026 Research / reviewers in the wild / expert
Yassmeen Elderhalli
dblp:211/6784
· DBLP profile ↗
5ranked-venue papers
4as first author
2since 2021 · last 2024
0000-0003-4437-2933ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-authorTheory of computation · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Dynamic dependability analysis of shuffle-exchange networks
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
Formal Methods Syst. Des. | 1 |
| 2021 | A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial ReconfigurationabstractMachine learning is widely used these days to extract meaningful information out of the Zettabytes of sensors data collected daily. All applications require analyzing and understanding the data to identify trends, e.g., surveillance, exhibit some error tolerance. Approximate computing has emerged as an energy-efficient design paradigm aiming to take advantage of the intrinsic error resilience in a wide set of error-tolerant applications. Thus, inexact results could reduce power consumption, delay, area, and execution time. To increase the energy-efficiency of machine learning on FPGA, we consider approximation at the hardware level, e.g., approximate multipliers. However, errors in approximate computing heavily depend on the application, the applied inputs, and user preferences. However, dynamic partial reconfiguration has been introduced, as a key differentiating capability in recent FPGAs, to significantly reduce design area, power consumption, and reconfiguration time by adaptively changing a selective part of the FPGA design without interrupting the remaining system. Thus, integrating “Dynamic Partial Reconfiguration” (DPR) with “Approximate Computing” (AC) will significantly ameliorate the efficiency of FPGA-based design approximation. In this article, we propose hardware-efficient quality-controlled approximate accelerators, which are suitable to be implemented in FPGA-based machine learning algorithms as well as any error-resilient applications. Experimental results using three case studies of image blending, audio blending, and image filtering applications demonstrate that the proposed adaptive approximate accelerator satisfies the required quality with an accuracy of 81.82%, 80.4%, and 89.4%, respectively. On average, the partial bitstream was found to be 28.6 smaller than the full bitstream . Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
ACM J. Emerg. Technol. Comput. Syst. | 2 |
| 2020 | A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
CICM | 1 |
| 2019 | A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
ICFEM | 1 |
| 2019 | Formal Verification of Rewriting Rules for Dynamic Fault Trees
Yassmeen Elderhalli, Matthias Volk 0001, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar |
SEFM | 1 |