Hui Guo

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Community Structure

Sparse Matrices

Top Venues

Publications

Hui Guo, Cindy Rubio-González
Efficient generation of error-inducing floating-point inputs via symbolic execution. ICSE (2020)
Hui Guo, Ignacio Laguna, Cindy Rubio-González
pLiner: isolating lines of floating-point code for compiler-induced variability. SC (2020)
Hui Guo, Cindy Rubio-González
Exploiting community structure for floating-point precision tuning. ISSTA (2018)
Anthony Di Franco, Hui Guo, Cindy Rubio-González
A comprehensive study of real-world numerical bug characteristics. ASE (2017)
Hui Guo, Zhenjiang Wang, Chenggang Wu, Ruining He
EATBit: Effective automated test for binary translation with high code coverage. DATE (2014)