conf.researchr.org / Heqing Huang
Heqing Huang

Registered user since Mon 6 May 2019

Name:Heqing Huang
Country:China
Affiliation:Hong Kong University of Science and Technology
Personal website:https://5hadowblad3.github.io
Research interests:Security

Contributions

SPLASH 2021 Author of Program Analysis via Efficient Symbolic Abstraction within the OOPSLA-track
ESEC/FSE 2021 Author of Skeletal Approximation Enumeration for SMT Solver Testing within the Research Papers-track
ISSTA 2021 Author of Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration within the Technical Papers-track
ISSTA 2020 Author of Fast Bit-Vector Satisfiability within the Technical Papers-track