Picture of Hua Yan

Hua Yan


Postdoctoral Research Associate
Department of Computer Science and Engineering
University of New South Wales, Sydney, Australia

Office: K17 501J, High Street, Kensington, NSW 2052, Australia
Email: yanhuacs [at] outlook.com

Education

2014.Feb - 2018.Jan PhD, Computer Science
The University of New South Wales (Sydney, Australia)
Thesis: Program Analysis of Temporal Memory Mismanagement
Advisor: Prof. Jingling Xue
2007.Sept - 2010.July MSc, Computer Science
Peking University (Beijing, China)
Advisors: A/Prof. Haiyan Zhao & A/Prof. Wei Zhang
2003.Sept - 2007.July BSc, Computer Science
Peking University (Beijing, China)

Work Experience

2017.Dec - present Postdoctoral Research Associate
School of Computer Science and Engineering
The University of New South Wales (Sydney, Australia)
2012.July - 2014.Feb Project Manager & Software Tester
Disaster Recovery and Data Center
Agricultural Bank of China (Beijing, China)
2010.July - 2012.June Software Engineer
Software Development Center
Agricultural Bank of China (Beijing, China)
2009.Mar - 2009.June Programming Software Quality Engineer (Intern)
Adobe R&D Center (Beijing, China)

Publications

  1. Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang and Jingling Xue. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. In Proceedings of the 26th Static Analysis Symposium (SAS 2019), pages to appear, Porto, Portugal, 2019. [pdf]
  2. Xuezheng Xu, Yulei Sui, Hua Yan and Jingling Xue. VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences. In Proceedings of the 41st International Conference on Software Engineering (ICSE 2019), pages to appear, Montreal, QC, Canada, 2019. [pdf]
  3. Yulei Sui, Hua Yan, Yunpeng Zhang, Jingling Xue and Zheng Zheng. Parallel Construction of Interprocedural Memory SSA Form. Journal of Systems and Software 146 (2018): 186-195. [pdf]
  4. Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), pages 327-337, Gothenburg, Sweden, 2018. (ACM SIGSOFT Distinguished Paper Award [jpg]) [pdf]
  5. Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. In Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC 2017), pages 42-54, Orlando, USA, 2017. [pdf]
  6. Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. AutoFix: An Automated Approach to Memory Leak Fixing on Value-Flow Slices for C Programs. ACM SIGAPP Applied Computing Review 16, no. 4 (2017): 38-50. [pdf]
  7. Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. Automated Memory Leak Fixing on Value-Flow Slices for C Programs. In Proceedings of the 31st ACM Symposium on Applied Computing (SAC 2016), pages 1386-1393, Pisa, Italy, 2016. [pdf]
  8. Hua Yan, Wei Zhang, Haiyan Zhao and Hong Mei. An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints. In Proceedings of the 11th International Conference on Software Reuse (ICSR 2009), pages 65-75, Falls Church, USA, 2009. [pdf]
  9. Wei Zhang, Hua Yan, Haiyan Zhao and Zhi Jin. A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. In Proceedings of the 10th International Conference on Software Reuse (ICSR 2008), pages 186-199, Beijing, China, 2008. [pdf]