Hui Guo

Registered user since Thu 24 May 2018

Name: Hui Guo

Affiliation: University of California, Davis

Personal website: https://hguo15.github.io

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

Contributions

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