Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.

Hengbiao Yu Xin Yi Banghu Yin Fa Li Zhenbang Chen Chun Huang

Published in: SANER (2023)

Keyphrases

floating point
sparse matrices
square root
fixed point
image processing
probabilistic model
general purpose
higher order
programming language
low cost