[Artifact] Focaccia: Semantic Validation for CPU Emulators

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Evaluation artifact for Focaccia: Semantic Validation for CPU Emulators. Includes source code and Docker images for x86-64 and AArch64, with historical emulator bug cases, application workloads, and tools for reproducing the paper’s experiments and figures. A complete evaluation requires native Linux hosts of both architectures.

Authors 6

1. Theofilos Augoustis

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich

2. Sebastian Reimers

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich

3. Christian Krinitsin

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich

4. Redha Gouicem Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

5. Dennis Sprokholt

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich

6. Pramod Bhatotia

   Technical University of Munich

   Affiliation as printed

   Technical University of Munich