Education
2014.Feb |
- 2018.Jan |
PhD, Computer Science |
|
|
The University of New South Wales (Sydney, Australia) |
|
|
Thesis: Program Analysis of Temporal Memory Mismanagement |
|
|
Advisors: Prof. Jingling Xue
& Prof. Shiping Chen |
2007.Sept |
- 2010.July |
MSc, Computer Science |
|
|
Peking University (Beijing, China) |
|
|
Advisors: Prof. Haiyan Zhao
& 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) |
Publications
-
Changwei Zou, Yulei Sui, Hua Yan and Jingling Xue.
TCD: Statically Detecting Type Confusion Errors in C++ Programs.
In Proceddings of the 30th IEEE International Symposium on Software Reliability Engineering
(ISSRE 2019), pages to appear, Berlin, Germany, 2019.
[pdf]
-
Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou 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]
-
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]
-
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]
-
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]
-
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]
-
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]
-
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]
-
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]
-
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]