Prof. HUANG Heqing (黃河清)

Research Output

  1. 2024
  2. Published

    Mole: Efficient Crash Reproduction in Android Applications with Enforcing Necessary UI Events

    Masoudian, M., Huang, H., Amini, M. & Zhang, C., Aug 2024, In: IEEE Transactions on Software Engineering. 50, 8, p. 2200-2218

    Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review

    Check@CityULib
  3. Published

    Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference

    Huang, H., Zhou, A., Payer, M. & Zhang, C., 2024, Proceedings - 45th IEEE Symposium on Security and Privacy: SP 2024. Institute of Electrical and Electronics Engineers, Inc., p. 1956-1973 (Proceedings of the IEEE Symposium on Security and Privacy).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 1
    Check@CityULib
  4. Published

    GIANTSAN: Efficient Memory Sanitization with Segment Folding

    Ling, H., Huang, H., Wang, C., Cai, Y. & Zhang, C., 2024, ASPLOS '24 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York, NY: Association for Computing Machinery, Vol. 2. p. 433–449 16 p.

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 4
    Check@CityULib
  5. Published

    Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

    Ye, C., Cai, Y., Zhou, A., Huang, H., Ling, H. & Zhang, C., 2024. 18 p.

    Research output: Conference PapersRGC 32 - Refereed conference paper (without host publication)peer-review

    Check@CityULib
  6. Published

    Plankton: Reconciling Binary Code and Debug Information

    Zhou, A., Ye, C., Huang, H., Cai, Y. & Zhang, C., 2024, ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. Association for Computing Machinery, p. 912–928

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 3
    Check@CityULib