Dataset for REMaQE evaluation

Citation Author(s):
Meet
Udeshi
NYU Tandon School of Engineering
Prashanth
Krishnamurthy
NYU Tandon School of Engineering
Hammond
Pearce
UNSW Sydney
Ramesh
Karri
NYU Tandon School of Engineering
Farshad
Khorrami
NYU Tandon School of Engineering
Submitted by:
Meet Udeshi
Last updated:
Sun, 05/12/2024 - 16:11
DOI:
10.21227/r7e6-bk48
Data Format:
License:
0
0 ratings - Please login to submit your rating.

Abstract 

Dataset for evaluation of REMaQE

This dataset contains 3,137 randomly generated math equations, that have been compiled into ARM 32-bit HardFloat binaries using C and Simulink implementations, with 4 different optimization levels.
The binaries are reverse engineered to math equations by REMaQE, and this dataset covers a wide variety of binary implementations to evaluate REMaQE's performance.
Each generated equation is implemented as a C function and a Simulink model.
The C function is compiled for ARM32-HF target using the GCC compiler (arm-linux-gnueabhihf-gcc).
The Simulink model is compiled for the same target using Simulink's code generation feature.
Four optimization levels from "-O0" to "-O3" are used during compilation to obtain a variety of implementations.

The file "REMaQEv2_limitations.zip" contains additional binaries that represent the limitations of REMaQE.