Demo Data from EDBT 2026 / reviewers in the wild / expert
Nikos Karystinos
dblp:379/4300
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
0009-0008-8722-7828ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Electronic design automation · 50% Hardware reliability and fault tolerance · 31% Performance modeling and evaluation · 18% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware reliability and fault tolerance › soft errors
silent data corruption |
1.6 | 2 | 2025 | Veritas - Demystifying Silent Data Corruptions: μArch-Level Modeling and Fleet Data of Modern x86 CPUs · HPCA 2025 Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Performance modeling and evaluation › simulation › simulation-based evaluation
fault injection simulation |
0.9 | 1 | 2025 | Veritas - Demystifying Silent Data Corruptions: μArch-Level Modeling and Fleet Data of Modern x86 CPUs · HPCA 2025 |
Electronic design automation › hardware verification and test › test generation › functional test generation
constrained-random test generation |
0.8 | 1 | 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Electronic design automation › hardware verification and test › test generation
functional test generation |
0.8 | 1 | 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Electronic design automation
hardware verification and test |
0.8 | 1 | 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Electronic design automation › hardware verification and test
test generation |
0.8 | 1 | 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Performance modeling and evaluation › simulation › processor simulation
microarchitecture simulation |
0.2 | 1 | 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation · ISCA 2024 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.9gem5-based fault injection · 0.9fleet data analysis · 0.9hardware-in-the-loop simulation · 0.8constrained-random program generation · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Veritas - Demystifying Silent Data Corruptions: μArch-Level Modeling and Fleet Data of Modern x86 CPUsabstractHyperscalers have reported unexpectedly high numbers of defective CPU chips, with a defect rate of 1 in a 1000, leading to Silent Data Corruptions (SDCs) in their computing fleets. However, there is no public data on the rate of SDC incidents (corrupted program executions) in large fleets, nor nor any detailed information on which CPU units, microarchitectures, or workloads are more likely to generate SDCs due to silicon defects. While CPU array structures have been studied for fault effects, arithmetic units like integer and floating-point units have not been thoroughly analyzed as potential root causes of SDCs. This paper addresses this critical gap by accurately modeling hardware faults in the arithmetic units of modern x86 CPUs and measuring the probability and rates of SDCs. Using a full-system gem5-based fault injector, the paper examines SDC trends across five recent $x 86$ microarchitectures, various arithmetic units, and instruction classes. By integrating real-world defect rates from large-scale datacenter experiments with early-stage modeling and simulation, the paper provides critical insights into SDC incident rates across different systems. This information is essential for guiding hardware-based or software-based fault protection methods and is the paper’s primary contribution to minimizing the impact of silent data corruptions in computing. Odysseas Chatzopoulos, Nikos Karystinos, George Papadimitriou 0001, Dimitris Gizopoulos, Harish Dattatraya Dixit, Sriram Sankar |
HPCA | 2 |
| 2024 | Silent Data Corruptions in Computing Systems: Early Predictions and Large-Scale MeasurementsabstractSilent Data Corruptions (SDCs) due to defects in computing chips (CPUs, GPUs, AI accelerators) is a critical threat to the quality of large-scale computing in different application domains: cloud computing, high-performance computing, edge computing. Recent public reports by cloud hyperscalers have emphasized that apart from the usual suspects for SDCs (memory, storage, network), the heart of the computations, the processing elements of all types generate an unexpectedly large rate of SDCs which can cause erroneous calculations and severe information loss. We report, in a consolidated form, recent efforts to correlate early microarchitecture-level simulation-based predictions about the likelihood, rates, severity, and root causes of SDCs and large-scale in-field studies in cloud data centers. Early microarchitecture-level prediction of SDC characteristics (susceptible units, workloads, instructions) can shed light to the cryptic problem of SDCs. The findings of a diligent pre-silicon analysis can assist better understanding of SDCs and can thus drive effective protection decisions either at the hardware or at the software levels at deployment stages. Dimitris Gizopoulos, George Papadimitriou 0001, Odysseas Chatzopoulos, Nikos Karystinos, Harish Dattatraya Dixit, Sriram Sankar |
ETS | 4 |
| 2024 | Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program GenerationabstractSeveral hyperscalers have recently disclosed the occurrence of Silent Data Corruptions (SDCs) in their systems fleets, sparking concerns about the severity of known and the existence of unidentified root causes of faults in CPUs. These incidents reveal that CPU chips have the potential to generate incorrect results for different tasks due to latent manufacturing defects, variability, marginalities, bugs, and aging. To tackle this problem, we present Harpocrates, an automated methodology for the generation of short, constrained-random functional test programs that maximize fault detection in target CPU structures and can be employed at different stages of system lifetime. Harpocrates stands out by adopting a hardware-modelin-the-loop approach, which iteratively refines the generated test programs using a detailed simulation-based microarchitecture engine. The engine models and grades for multiple hardware fault types that can lead to data corruptions during system operation. Harpocrates is versatile and can adapt to various program generators, ISAs, microarchitectures, and fault types. Our results on six important CPU hardware structures show that Harpocrates attains much shorter test generation times than hardware-agnostic publicly available frameworks and outperforms open-source test suites in terms of fault detection capability. Nikos Karystinos, Odysseas Chatzopoulos, George-Marios Fragkoulis, George Papadimitriou 0001, Dimitris Gizopoulos, Sudhanva Gurumurthi |
ISCA | 1 |