| 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 | 77 | 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 | 57 | 2018 |
| Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution H Guo, C Rubio-González | 29 | 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 |
Cindy Rubio-GonzálezUniversity of California, DavisVerifisert e-postadresse på ucdavis.edu
