Zhenyu Zhang

Research Interests

• Software Testing (28 publications)
• Software Debugging and Fault Localization (41 publications)
• Verification and Programming Languages (23 publications)
• Cloud and Service Computing (10 publications)

Profiles and Bibliography

• Google Scholar
• DBLP
• ORCID
CNKI

Publications

This bibliography combines the prior homepage record with verified DBLP additions. Legacy “to appear” entries have been replaced with their published records where available. The master machine-readable source remains data/references.csv.

2023

• Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang, Wing Kwong Chan, and Bo Jiang. A Study on the Impact of Pre-Trained Model on Just-In-Time Defect Prediction. IEEE International Conference on Software Quality, Reliability and Security (QRS), 2023. PDF Preprint: arXiv:2309.02317.
• Bingyi Cui, Long Zhang, Chenglong Sun, Zhenyu Zhang. Idle Strategy of Smart Monkey to Enhance Testing Operable GUI Regions. J. Softw., 2023. PDF
• Long Zhang, Binyi Cui, Zhenyu Zhang. Optimizing Continuous Integration by Dynamic Test Proportion Selection. SANER, 2023.

2022

• Bo Jiang, Zichao Li, Yuhe Huang, Zhenyu Zhang, W. K. Chan. WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. SEKE, 2022. PDF

2020

• Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang. CUDAsmith: A Fuzzer for CUDA Compilers. COMPSAC, 2020.
• Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou. Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness. IEEE Trans. Reliab., 2020.
• Zijie Li, Long Zhang, Zhenyu Zhang, Bo Jiang. MCFL: Improving Fault Localization by Differentiating Missing Code and Other Faults. COMPSAC, 2020.
• Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse. PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing. QRS, 2020.

2019

• Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang. A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks. CoRR, 2019. PDF
• Bo Jiang, Yaoyue Zhang, Wing Kwong Chan, Zhenyu Zhang. A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications. IEEE Trans. Reliab., 2019.
• Long Zhang, Donghong Zhang, Cheng-Hong Wang, Jing Zhao, Zhenyu Zhang. ART4SQLi: The ART of SQL Injection Vulnerability Discovery. IEEE Trans. Reliab., 2019.
• Biyun Zhu, Ruijie Meng, Zhenyu Zhang, W. K. Chan. ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs. COMPSAC (1), 2019.

2018

• Yuzhen Liu, Long Zhang, Zhenyu Zhang. A Survey of Test Based Automatic Program Repair. J. Softw., 2018. PDF
• Zijie Li, Lanfei Yan, Yuzhen Liu, Zhenyu Zhang, Bo Jiang. MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization. QRS Companion, 2018. PDF
• Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W. K. Chan. ReTestDroid: Towards Safer Regression Test Selection for Android Application. COMPSAC (1), 2018. PDF
• Long Zhang, Zhenyu Zhang. SeTCHi: Selecting Test Cases to Improve History-Guided Fault Localization. ISSRE Workshops, 2018.
• Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse. The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study. COMPSAC (1), 2018. PDF

2017

• Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W. K. Chan, Zheng Zheng. A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. J. Syst. Softw., 2017. PDF
• Chung Man Tang, W. K. Chan, Yuen-Tak Yu, Zhenyu Zhang. Accuracy Graphs of Spectrum-Based Fault Localization Formulas. IEEE Trans. Reliab., 2017. PDF
• Junjie Liu, Xiaopeng Gao, Bo Jiang, Shunkun Yang, Zhenyu Zhang. Deterministic Replay for Multi-Core VxWorks Applications. DSA, 2017.
• Bo Jiang, Yaoyue Zhang, W. K. Chan, Zhenyu Zhang. Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications. QRS, 2017. PDF

2016

• Tian Huang, Zhenyu Zhang, Xue-Yang Zhu. Analyzing GUI running fluency for Android apps. MSCC@MobiHoc, 2016.
• Jiwei Xu, Wenbo Zhang, Zhenyu Zhang, Tao Wang, Tao Huang. Clustering-based acceleration for virtual machine image deduplication in the cloud environment. Journal of Systems and Software ( JSS ) 121: 144-156 (2016), 2016. PDF
• Chenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan. Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps. QRS, 2016. PDF
• Tian Huang, Zhenyu Zhang, and Xue-Yang Zhu. Using Frame Rate to Analyze GUI Running Fluency for Android Apps. Proceedings of The 3rd International Workshop on Mobile Sensing, 2016. PDF

2015

• Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse. A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE Trans. Serv. Comput., 2015. PDF
• Yibiao Yang, Yuming Zhou, Hongmin Lu, Lin Chen, Zhenyu Chen, Baowen Xu, Hareton K. N. Leung, Zhenyu Zhang. Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study. IEEE Trans. Software Eng., 2015.
• Fangyun Qin, Zheng Zheng, Chenggang Bai, Yu Qiao, Zhenyu Zhang, Cheng Chen. Cross-Project Aging Related Bug Prediction. QRS, 2015. PDF
• Nan Wang, Zheng Zheng, Zhenyu Zhang, Cheng Chen. FLAVS: A Fault Localization Add-In for Visual Studio. COUFLESS@ICSE, 2015. PDF
• Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang. Replay Debugging of Real-Time Vxworks Applications. COMPSAC Workshops, 2015. PDF
• W. K. Chan, T. H. Tse, Shangru Wu, Yuen-Tak Yu, Zhenyu Zhang. Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs. COMPSAC (Stephen S. Yau Academic Symposium), 2015.

2014

• Wenbo Zhang, Xiaowei Zhou, Jianhua Zhang, Zhenyu Zhang, and Hua Zhong. A Class Loading Sensitive Approach to Detection of Runtime Type Errors in Component-based Java Programs. Journal of Information and Software Technology ( JIST ) 56(9): 1076-1085 (2014), 2014. PDF
• Cheng-Hong Wang, Donghong Zhang, Hualin Lu, Jing Zhao, Zhenyu Zhang, Zheng Zheng. An experimental study on firewall performance: Dive into the bottleneck for firewall effectiveness. IAS, 2014.
• Chaoqiang Deng, Fanping Zeng, Hui Zhang, Zhenyu Zhang, and Qixing Dong. Detecting Program Non-crashing Failures via Assertion and Slicing. Journal of Chinese Computer Systems, 2014.
• Heng Li, Yuzhen Liu, Zhenyu Zhang, Jian Liu. Program structure aware fault localization. InnoSWDev@SIGSOFT FSE, 2014. PDF
• Peng Hao, Zheng Zheng, Zhenyu Zhang, Yichao Gao, Cheng Gong, and Yunzhi Xue. Self-Adaptive Fault Localization Algorithm Based on Predicate Execution Information Analysis. Journal of Computers, 2014.
• Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang. Software Maintenance Optimization Based on Stackelberg Game Methods. ISSRE Workshops, 2014.

2013

• Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. A fault localization framework to alleviate the impact of execution similarity. International Journal of Software Engineering and Knowledge Engineering ( IJSEKE ) 23(7): 963-998 (2013), 2013. PDF
• Jian Xu, Zhenyu Zhang, W. K. Chan, T. H. Tse, Shanping Li. A general noise-reduction framework for fault localization of Java programs. Inf. Softw. Technol., 2013. PDF
• Tao He, Xinming Wang, Xiaocong Zhou, Wenjun Li, Zhenyu Zhang, and S. C. Cheung. A Software Fault Localization Technique Based on Program Mutations. Journal of Computers, 2013.
• Yichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng. A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization. QSIC, 2013. PDF
• Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. BPELDebuger: An effective BPEL-specific fault localization framework. Journal of Information and Software Technology ( JIST ) 55(12): 2140-2153 (2013), 2013. PDF
• Zheng Zheng, Yichao Gao, Peng Hao, Zhenyu Zhang. Coincidental correctness: An interference or interface to successful fault localization?. ISSRE (Supplemental Proceedings), 2013. PDF
• Yunqian Zhang, Zheng Zheng, Xiaohui Ji, Wenbo Zhang, and Zhenyu Zhang. Markov Model-based Effectiveness Predicting for Software Fault Localization. Journal of Computers, 2013.
• Bo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang. On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization. Inf. Softw. Technol., 2013. PDF

2012

• Qifeng Tang, Lei Xu, Ju Qian, Lin Chen, and Zhenyu Zhang. A fault localization method based on model combination. China Sciencepaper 7(1): 19-27 (2012). ( Chinese), 2012.
• Cheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue. Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs. APSEC, 2012.
• Zhenyu Zhang, W. K. Chan, T. H. Tse. Fault Localization Based Only on Failed Runs. Computer, 2012. PDF
• Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen. How well does test case prioritization integrate with statistical fault localization?. Inf. Softw. Technol., 2012. PDF
• Lei Zhao, Li-na Wang, Dongming Gao, Zhenyu Zhang, and Zuoting Xiong. Mining Associations to Improve the Effectiveness of Fault Localization. Journal of Computers, 2012.
• Chang-ai Sun, Yi Meng Zhai, Yan Shang, and Zhenyu Zhang. Toward effectively locating integration-level faults in BPEL programs. Proceedings of the 12th International Conference on Quality Software ( QSIC 2012 ), 2012. PDF
• Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang. Wielding Statistical Fault Localization Statistically. ISSRE Workshops, 2012.

2011

• Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li. A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. QSIC, 2011. PDF
• Zhenyu Zhang, W. K. Chan, T. H. Tse, Yuen-Tak Yu, Peifeng Hu. Non-parametric statistical fault localization. J. Syst. Softw., 2011.
• Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. PAFL: Fault Localization via Noise Reduction on Coverage Vector. Proceedings of the 23th International Conference on Software Engineering and Knowledge Engineering ( SEKE 2011 ), 2011. PDF
• Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang. Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. COMPSAC, 2011. PDF

2010

• Lijun Mei, W. K. Chan, Zhenyu Zhang, Xiaopeng Gao. A Community-Centric Model for Service Publication, Discovery, Selection, Binding, and Maintenance. SOSE, 2010. PDF
• Qiong Shi, Zhenyu Zhang, Zhifang Liu, and Xiaopeng Gao. Enhance Fault Localization Using a 3D Surface Representation. Proceedings of the 2nd International Conference on Computer Research and Development ( ICCRD 2010 ), 2010. PDF
• Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang. Fault localization through evaluation sequences. J. Syst. Softw., 2010. PDF
• Zhenyu Zhang, Zhongxing Xu, Zhifang Liu, and Xiaopeng Gao. Macro-like Instrumentation Grammar for Boolean Expressions. Proceedings of 2010 International Conference on Computational Intelligence and Software Engineering ( CiSE 2010 ), 2010. PDF
• Zhenyu Zhang, Zijian Tong, Xiaopeng Gao. Testing in Parallel - A Need for Practical Regression Testing. ICSOFT (2), 2010.

2009

• Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. Adaptive Random Test Case Prioritization. ASE, 2009. PDF
• Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang. Capturing propagation of infected program states. ESEC/SIGSOFT FSE, 2009. PDF
• Zhenyu Zhang, W. K. Chan, T. H. Tse, and Peifeng Hu. Experimental study to compare the use of metamorphic testing and assertion checking. Journal of Software ( JoS ) 20(10), 2009. PDF
• Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen. How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization. COMPSAC (1), 2009. PDF
• Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang. Is non-parametric hypothesis testing model robust for statistical fault localization?. Inf. Softw. Technol., 2009. PDF
• W. K. Chan, Lijun Mei, Zhenyu Zhang. Modeling and testing of cloud applications. APSCC, 2009. PDF
• Lijun Mei, Zhenyu Zhang, W. K. Chan. More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective. COMPSAC (1), 2009. PDF
• Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu, Lijun Mei. Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications. J. Syst. Softw., 2009. PDF
• Zhenyu Zhang. Software Debugging through Dynamic Analysis of Program Structures. The University of Hong Kong (2009), 2009. PDF
• Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang. Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. ICSE, 2009. PDF
• Lijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse. Test case prioritization for regression testing of service-oriented business applications. WWW, 2009. PDF
• Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse. Where to adapt dynamic service compositions. WWW, 2009. PDF

2008

• Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse. Debugging through Evaluation Sequences: A Controlled Experimental Study. COMPSAC, 2008. PDF
• Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse. Fault Localization with Non-parametric Program Behavior Model. QSIC, 2008. PDF

2007

• Zhenyu Zhang, W. K. Chan, T. H. Tse. Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques. QSIC, 2007. PDF
• W. K. Chan, Tsong Yueh Chen, Shing-Chi Cheung, T. H. Tse, Zhenyu Zhang. Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. Ada-Europe, 2007. PDF

2006

• Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse. An empirical comparison between direct and indirect test result checking approaches. SOQUA, 2006. PDF

Main Collaborators

• T. H. Tse
• W. K. Chan
• Bo Jiang

Translations

• Nicholas Wells. Guide to Linux Networking and Security. Science Press, Beijing, 2004. Zhenyu Zhang and Wei Liu, translators.
• Blake Schwendiman. PHP 4 Developer's Guide. Tsinghua University Press, Beijing, 2002. Hongtao Yang, Jing Huang, and Zhenyu Zhang, translators.

Professional Activities

• Program committee member: SEKE 2015; MCTaaS 2015; SoftwareMining 2014 and 2013; APSCC 2014; COMPSAC 2014, 2012, and 2011; STITC 2013; SEKE 2013, 2012, 2011, and 2010; SoftMine 2012; IWPD 2012 and 2011; QSIC 2012; APSEC 2011; TeBug 2011; ICONI/APIC-IST 2010; ICSOFT 2009; SOSE 2010; and IJSEKE 2010.
• Publicity Chair: QSIC 2013 and ICASE-11.
• Chair: International Workshop on Program Debugging in China (IWPDC 2010).
• Guest Editor: Special Issue on Testing and Debugging of Software Systems, Advances in Software Engineering.
• Reviewer: TSE, ASE, AST, COMPSAC, ICEBE, ICSM, ICSOFT, ISSRE, JSS, QSIC, SEKE, SNPD, and SOQUA.

Awards and Honors

• Best Paper Award, QRS 2017: “Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.”
• Best Paper Award, COMPSAC 2009: “How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.”
• SIGSOFT-CAPS Fund, FSE 2009: “Capturing Propagation of Infected Program States.”
• Best Paper Award Nomination, WWW 2009: “Test Case Prioritization for Regression Testing of Service-Oriented Business Applications.”
• Best Paper Award (First Class), Tsinghua University PhD Candidates Academic Forum, 2008.
• Best Paper Award, COMPSAC 2008; IEEE Computer Society Best Paper Award, 2008.
• MSRA Fellowship 2006 Nomination.
• Contributor to GNOME Evolution, August 2003 to February 2004.

Patents and Software Copyright

Patents

• Zhenyu Zhang et al. “Dynamic proportion test-case prioritization and selection method and system based on machine learning.” Chinese Patent/Application No. CN202110901585.4.
• Zhenyu Zhang et al. “Automatic SQL injection vulnerability detection platform and method based on adaptive random testing.” Chinese Patent/Application No. CN2017107602176.
• Zhenyu Zhang et al. “Mobile application testing system and method based on code injection.” Chinese Patent/Application No. CN201610333630X.
• Zhenyu Zhang et al. “Mobile application testing system and method based on computer vision.” Chinese Patent/Application No. CN201610165980X.
• Zhenyu Zhang et al. “Online evaluation and experiment platform and method for coverage-based software defect localization.” Chinese Patent/Application No. CN201410563408X.
• Zhenyu Zhang et al. “Program-mutation software fault localization method based on pre-computation.” Chinese Patent/Application No. CN201410546540.X.
• Zhenyu Zhang et al. “Program-structure-impact-aware software fault localization method.” Chinese Patent/Application No. CN201410546645.5.
• Zhenyu Zhang et al. “Automated repair system and method for program conditional statements based on test-case decision-tree construction.” Chinese Patent/Application No. CN2017107697000.
• Zhenyu Zhang et al. “Software fault localization method using a three-dimensional surface representation.” Chinese Patent/Application No. CN2014100334619.
• Yunqian Zhang and Zhenyu Zhang. “Software Fault Localization by Using Markov Model.” Chinese Patent No. 201310308553.9.
• Zhenyu Zhang and Wenchao Gao. “Software Fault Localization by Using Evaluation Sequence of Boolean Expression.” Chinese Patent No. 201210002136.7.
• Zhenyu Zhang et al. “Malware detection method and automated detection platform based on opcode features extracted by linear-scan disassembly.” Chinese Patent No. CN108920954B.

Software Copyright

• Murphi Parser V1.0 (Chinese), No. 2013SR085673.
• Murphi Parser V2.0 (Chinese), No. 2013SR136970.
• ART4SQLi Vulnerability Detection System.
• Cropass Account Information Aggregation Query System.
• Flying Mouse Malware Detection System.
• JumPatcher: Automated Program Conditional Statement Repair System Based on Decision Trees.
• Coverage-Based Online Fault-Localization Evaluation and Experiment Platform.
• Smart Monkey: Computer-Vision-Based Mobile Testing Platform, Registration No. 2016SR141866.

Selected Qualifications and Training

• Computer Software Product Inspector.
• Cloud Computing Architect.
• MATLAB Data Processing Engineer.
• Hadoop Developer.
• Deep Learning Engineer / Senior.
• Machine Learning and Image Processing Application Engineer.
• Robot Programming Application Engineer.
• Blockchain Instructor Training.
• NVIDIA CUDA/Tkl Programming Training.

Software Projects

• BuildBlade (October 2011 to April 2012): A Buildbot-based regression testing tool for multi-platform testing, including browsers, web applications, and instant communication tools.
• BuildEase (April 2011 to September 2011): A CruiseControl-based regression testing tool with CI, test-case prioritization, and fault-localization support.

Research Funding

• 2014–2018. Safety Critical Systems Software Project Management and Quality Assurance. National Key Basic Research Program of China (973), Grant 2014CB340702, RMB 14,000,000. Co-Investigator.
• 2014. Intelligent Instrument and Analysis for Continuous Delivery and Test Optimization. IBM UR Project, Grant JSP201309009, RMB 100,000. Principal Investigator.
• 2014–2017. Key Technologies of Parallel, Multi-Platform Cloud-Based Testing. National Natural Science Foundation of China, Grant 61379045, RMB 720,000. Principal Investigator.
• 2011–2013. Regression Testing and Fault Localization in Continuous Integration. National Natural Science Foundation of China, RMB 200,000.
• 2010–2012. Automated Software Fault Localization Methods and Applications. State Key Laboratory of Computer Science, RMB 300,000.
• 2011–2013. Software Defect Prediction: Models and Applications. National Natural Science Foundation of China, RMB 300,000.
• 2010–2011. Online Regression Testing Service with Fault-Localization Mechanisms. State Key Laboratory of Computer Science, RMB 100,000.
• 2011–2013. Regression Testing and Fault Localization in a Continuous Integration Environment. National Natural Science Foundation of China, Grant 61003027, RMB 200,000. Principal Investigator.
• 2010–2012. Research on the Application of Automatic Software Fault Localization. State Key Laboratory of Computer Science, RMB 300,000. Principal Investigator.
• 2010–2011. Regression Testing Service Equipped with Fault Localization Mechanism. State Key Laboratory of Computer Science, RMB 100,000. Principal Investigator.

Experience

• Associate Research Professor, Key Laboratory of System Software (Chinese Academy of Sciences), Beijing. 2026–present.
• Associate Research Professor, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing. December 2011–December 2025.
• Research Associate / Visiting Scholar, College of Business, City University of Hong Kong / Innovation and Technology Commission, Hong Kong. September 2020–June 2022.
• Research Fellow, Department of Computer Science, City University of Hong Kong. October 2015–April 2016.
• Visiting Scholar, Department of Computer Science, City University of Hong Kong. March 2015–September 2015.
• Visiting Scholar, Department of Computer Science, City University of Hong Kong. June 2014–December 2014.
• Assistant Research Professor, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing. February 2010–November 2011.
• Research Assistant, Department of Computer Science, The University of Hong Kong. October 2006–January 2010; full time from October 2009.
• Teaching Assistant, Department of Computer Science, The University of Hong Kong. October 2005–September 2006.
• Software Engineer, SUN China Engineering and Research Institute, Beijing. August 2003–February 2004.
• Visiting Student, Visual Computing Group, Microsoft Research Asia, Beijing. March–July 2003. Supervised by Dr. Harry Shum.
• Intern, Computer and Information Management Center, Tsinghua University. September 2002–July 2005.

Education

• PhD, Department of Computer Science, The University of Hong Kong, October 2005–October 2009. Supervisors: Prof. T. H. Tse and Dr. W. K. Chan.
• MSc, Department of Computer Science and Technology, Tsinghua University, September 2002–July 2005. Supervisor: Prof. Yingxue Wang.
• BEng, Department of Computer Science and Technology, Tsinghua University, September 1998–July 2002.

Related Pages

• Extended personal profile - a broader, lightly maintained profile with selected industry, trading-system, and expert-support experience.
• Seer Radar - professional service and knowledge organization work related to software engineering research.

Contact

Room A217, Floor 2, Building 5
Key Laboratory of System Software (Chinese Academy of Sciences)
4 South Fourth Street, Zhongguancun
Beijing 100190, P.R. China

Editorial Notes

• Content above was transcribed and normalized from the previous homepage and the DBLP author record.
• The bibliography was refreshed on 2026-06-21. DBLP currently has no new records for 2024–2026 under this author profile.
• CNKI/public-web searching did not yield a separately verifiable newer Chinese-journal entry. This is an open verification item, not a claim of absence.

Acknowledgements

• Personal thanks to Yi Zhang and our family company for steady support beyond academic work.