Yu WANG

Yu WANG

Associate Researcher

Nanjing University

Biography

I’m an assistant researcher at the software engineering group (SEG) in Nanjing University. My research interests lie in software testing and program language, including static and dynamic analysis. Recently, I focus on improving the performance of program analysis by machine learning.

Interests
  • Software Engineering
  • Programming Language
  • Artificial Intelligence
Education
  • PhD in Computer Science, 2014.09 - 2021.03

    Nanjing University

  • Visiting Scholar, 2017.10 - 2018.10

    University of California, Davis

  • Visiting Scholar, 2017.02 - 2017.09

    Hong Kong University of Science and Technology

  • BSc in Software Engineering, 2010.09 - 2014.06

    University of Electronic Science and Technology of China

Teaching

Basic Programming in C++
Formal Languages and Automata
Discrete Mathematics

Service

  • Journal Reviewer
    • Journal of Software
  • Conference Reviewer
    • 2021: ChinaSoft
  • Other Service
    • 2022: Organizing committee member of CCF Compiler Technology Workshop
    • I’m a CCF member and a member of the Systems Software Committee in CCF

Work Experience

 
 
 
 
 
Yuxiu Young Scholars Program
Nanjing University
Nov 2021 – Present Nanjing, China
 
 
 
 
 
Associate Researcher
Nanjing University
May 2021 – Present Nanjing, China
 
 
 
 
 
Intern
Intel
Jul 2014 – Oct 2014 Bei Jing, China

Talks

  • Inconsistency-Based Security Vulnerability Prediction Method for Operating Systems. Chinasoft 2021, Online, December 2021
  • Defect Detection Techniques for Complex Programs. Young Scholar Salon, Nanjing, China, September 2021
  • High-precision Data Race Detection Method for Large Scale Programs. NASAC 2020, Chongqin, China, November 2020
  • Dangdone: Eliminating dangling pointers via intermediate pointers. NASAC 2019, Hangzhou, China, November 2019

Fundings

  • Participator of National Foundation

    • National Natural Science Foundation of China, Project No. 62032010, 2021.01-2025.12. (基于模糊测试的物联网设备固件漏洞检测技术研究)
    • National Key R&D Program, No. 2017YFA0700604, 2017.10-2023.12. (智能制造软件形式化验证和性能优化技术)
    • National Key R&D Program, No. 2016YFB1000802, 2016.07-2019.12. (复杂软件测试验证智能化关键技术与支撑环境)
    • National Natural Science Foundation of China, No. 61472179, 2015.1-2018.12 (模型驱动的移动应用测试方法)
  • Principle Investigator

    • Huawei Project, 2021.10-2022.9. (可扩展的静态分析框架)
    • CCF-Huawei Innovation Research Award on Systems Software, 2021.10-2022.9. (基于不一致性的鸿蒙操作系统安全缺陷预测)
    • 2020 Shanghai Industrial Control System Security Innovation Functional Platform Open Project, 2021.3-2022.2. (深度学习模型可解释性技术研究)
    • 2019 Nanjing University Outstanding Doctoral Students Innovation Ability Enhancement Program B, 2019.6-2020.5. (数据竞争的智能化检测方法)
  • Participator of Technical R&D Projects

    • Huawei Project, 2021.11-2022.10. (代码分析平台与深度检测技术)
    • Huawei Project, 2021.8-2022.7. (新指令自动发掘技术研究)
    • Huawei Project, 2019.12-2020.11. (代码分析平台与缺陷自动修复技术)
    • Huawei Project, 2019.12-2020.11. (安全与功能类问题检测技术)
    • Huawei Project, 2019.12-2020.11. (性能问题检测技术)
    • Huawei Project, 2015.9-2016.8. (代码静态检查技术)

Contact