Follow
Hui Guo
Title
Cited by
Cited by
Year
A comprehensive study of real-world numerical bug characteristics
A Di Franco, H Guo, C Rubio-González
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
772017
Exploiting community structure for floating-point precision tuning
H Guo, C Rubio-González
Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing …, 2018
572018
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
H Guo, C Rubio-González
272019
pLiner: isolating lines of floating-point code for compiler-induced variability
H Guo, I Laguna, C Rubio-González
2020 SC20: International Conference for High Performance Computing …, 2020
92020
EATBit: Effective automated test for binary translation with high code coverage
H Guo, Z Wang, C Wu, R He
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
22014
pLiner
I Laguna Peralta, H Guo, C Rubio-Gonzalez
Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2020
2020
Analysis of Floating-Point Programs for Numerical Reliability and Efficiency
H Guo
University of California, Davis, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–7