Heqing Huang

Orcid: 0000-0002-5328-3994

Affiliations:
  • City University of Hong Kong, Department of Computer Science, Hong Kong
  • ETH Zurich, Switzerland (former)
  • Hong Kong University of Science and Technology, Department of Computer Engineering, Hong Kong (PhD)


According to our database1, Heqing Huang authored at least 13 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
3
1
4
1
2
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events.
IEEE Trans. Software Eng., August, 2024

Balance Seed Scheduling via Monte Carlo Planning.
IEEE Trans. Dependable Secur. Comput., 2024

SAND: Decoupling Sanitization from Fuzzing for Low Overhead.
CoRR, 2024

Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

Titan : Efficient Multi-target Directed Greybox Fuzzing.
Proceedings of the IEEE Symposium on Security and Privacy, 2024

Plankton: Reconciling Binary Code and Debug Information.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2022
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021
Program analysis via efficient symbolic abstraction.
Proc. ACM Program. Lang., 2021

Skeletal approximation enumeration for SMT solver testing.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fast bit-vector satisfiability.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020


  Loading...