CV

Education, research interests, and publications.

Contact Information

Name Mingjie Shen
Professional Title PhD Student, Electrical and Computer Engineering
Email shen497@purdue.edu
Location 465 Northwestern Ave, West Lafayette, Indiana 47907

Professional Summary

PhD student at Purdue University advised by Prof. Aravind Machiry. Research on software security, static program analysis, and AI for software engineering, with a focus on improving static analysis for large real-world software systems.

Education

  • 2019 - present

    West Lafayette, IN, USA

    PhD
    Purdue University
    Electrical and Computer Engineering
    • Advisor: Prof. Aravind Machiry
    • Research on software security, static program analysis, and AI for software engineering
  • 2015 - 2019

    Nanjing, China

    BSc
    Nanjing University
    Computer Science and Technology

Academic Interests

Software security: Vulnerability detection, embedded software security, secure software development
Static program analysis: Scalable and precise analysis of large real-world codebases, CodeQL, empirical studies of analysis tools
AI for software engineering: LLM-assisted false positive filtering of SAST results, LLM-assisted CodeQL query synthesis, LLM-assisted generation of symbolic transformation rules

Open-Source Impact

Upstream patches: 107 patches merged into open-source projects (including Apache NuttX, Contiki-NG, Mbed OS, RIOT-OS, SDL, and lwIP) and 16 further reported bugs fixed by maintainers, fixing 300+ defects across 55 projects found by my CodeQL study; 376 of 709 disclosed defects confirmed by maintainers. Full list: https://szsam.github.io/impact/

Publications