EATBit: Effective automated test for binary translation with high code coverage. - Hui Guo 007; Zhenjiang Wang; Chenggang Wu; Ruining He (DATE, 2014)

A comprehensive study of real-world numerical bug characteristics. - Anthony Di Franco; Hui Guo 007; Cindy Rubio-González (ASE, 2017)

Exploiting community structure for floating-point precision tuning. - Hui Guo 007; Cindy Rubio-González (ISSTA, 2018)

Efficient generation of error-inducing floating-point inputs via symbolic execution. - Hui Guo 007; Cindy Rubio-González (ICSE, 2020)

pLiner: isolating lines of floating-point code for compiler-induced variability. - Hui Guo 007; Ignacio Laguna; Cindy Rubio-González (SC, 2020)