Postdoctoral Research Associate
University of New South Wales, Sydney
Office: K17 501J, Barker Street, Kensington, NSW 2052, Australia.
Email: huayan at cse.unsw.edu.au

Hua Yan is currently a research associate of School of Computor Science and Engineering at University of New South Wales, Sydney, Australia. He obtained his PhD degree from University of New South Wales, Australia, in January 2018. His PhD advisors were Prof. Jingling Xue and Dr. Shiping Chen. Prior to relocating to Australia, he worked in the IT department in Agricultural Bank of China for about four years. Hua Yan received his B.Sc and M.Sc degrees in Computer Science from Peking University, China, in 2007 and 2010, respectively, advised by Prof. Haiyan Zhao and Prof. Wei Zhang. Hua Yan's research interests include software engineering, software security, program analysis, testing and formal verification.

Publications:
  1. Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities.
    Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue.
    In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, 2018.(ACM SIGSOFT Distinguished Paper Award)

  2. Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection.
    Hua Yan, Yulei Sui, Shiping Chen, and Jingling Xue.
    In Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC 2017), Orlando, USA, 2017.

  3. AutoFix: An Automated Approach to Memory Leak Fixing on Value-Flow Slices for C Programs.
    Hua Yan, Yulei Sui, Shiping Chen, and Jingling Xue.
    ACM SIGAPP Applied Computing Review 16, no. 4 (2017): 38-50.

  4. Automated Memory Leak Fixing on Value-Flow Slices for C Programs.
    Hua Yan, Yulei Sui, Shiping Chen, and Jingling Xue.
    In Proceedings of the 31st ACM Symposium on Applied Computing (SAC 2016), Pisa, Italy, 2016.

  5. An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints.
    Hua Yan, Wei Zhang, Haiyan Zhao, and Hong Mei.
    In Proceedings of the 11th International Conference on Software Reuse (ICSR 2009), Falls Church, USA, 2009.

  6. A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.
    Wei Zhang, Hua Yan, Haiyan Zhao, and Zhi Jin
    In Proceedings of the 10th International Conference on Software Reuse (ICSR 2008), Beijing, China, 2008.