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