Hui Guo

Registered user since Thu 24 May 2018

Name: Hui Guo

Affiliation: University of California, Davis

Personal website:

Research interests: Program Analysis, Programming Language, Software Engineering, Numerical Uncertainty


ICSE 2020 Author of Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution within the Technical Papers-track
ISSTA 2018 Author of Exploiting Community Structure for Floating-Point Precision Tuning within the ISSTA Technical Papers-track