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 | 79 | 2017 |
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 | 58 | 2018 |
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution H Guo, C Rubio-González | 30 | 2019 |
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 | 9 | 2020 |
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 | 2 | 2014 |
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 |