Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are�...

Oct 25, 2015 � Abstract. Floating point representation has limited precision and in- puts to floating point programs may also have errors. Conse-.

This work proposes RAIVE, a technique that identifies output variations of a floating point execution in the presence of instability.

RAIVE transforms every floating point value to a vector of multiple values - the values added to create the vector are obtained by introducing artificial errors�...

Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are�...

Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are�...

... Analysis and Input Selection within ... SPLASH. Author of RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization within the OOPSLA-track.

RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization W-C. Lee, T. Bao, Y. Zheng, X. Zhang, K. Vora, and R. Gupta. ACM SIGPLAN�...

Author of RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization within the OOPSLA-track. WODA. Committee Member in Program Committee within�...

RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization ... RAIVE transforms every floating point value to a vector of multiple values�...