I am a Research Scientist at Facebook. I completed my Ph.D. in computer science at UC Davis under the advice of Professor Cindy Rubio Gonzalez in 2020.

News

  • 08/2020   One paper w/ Ignacio and Cindy on compiler-induced inconsistency accepted to SC’20.
  • 12/2019   One paper w/ Cindy on error-inducing input generation accepted to ICSE’20.
  • 05/2018   One paper w/ Cindy on precision tuning accepted to ISSTA’18.
  • 11/2017   I presented our paper on numerical bug study at ASE’17 in Urbana-Champaign, Illinois.
  • 08/2017   I presented our recent work on precision tuning at Dagstuhl Seminar on Analysis and Synthesis of Floating-point Programs in Germany.
  • 07/2017   One paper w/ Anthony and Cindy accepted to ASE’17.
  • 06/2016   I attended the PLDI’16 and ACM SIGPLAN Programming Language Mentoring Workshop (PLMW).


Publications

[Floating-Point]

pLiner: Isolating Lines of Floating-Point Code for Compiler Induced Variability

Hui Guo, Ignacio Laguna, Cindy Rubio-Gonzalez
IEEE/ACM International Conference for High Performance Computing, Networking, Storage and Analysis (SC), 2020
Tool

Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution

Hui Guo, Cindy Rubio-Gonzalez
IEEE/ACM International Conference on Software Engineering (ICSE), 2020
PDFTool

Exploiting Community Structure for Floating-Point Precision Tuning

Hui Guo, Cindy Rubio-Gonzalez
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2018
PDFSlidesToolTutorial

A Comprehensive Study of Real-World Numerical Bug Characteristics

Anthony Di Franco*, Hui Guo*, Cindy Rubio-Gonzalez (* indicates co-first authorship)
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
PDFSlidesData

[Testing]

EATBit: Effective automated test for binary translation with high code coverage

Hui Guo, Zhenjiang Wang, Chenggang Wu, Ruining He
Proceedings of the conference on Design, Automation & Test in Europe (DATE), 2014
PDF