Hello,

My name is Shuangjie Yao and I am now a first-year Ph.D. student advised by Dongdong She at The Hong Kong University of Science and Technology. Before coming to HKUST, I earned my bachelor’s degree at Shanghai Jiao Tong University.

My research interests include system, software (program analysis) and programming languages.

⇩

Education

The Hong Kong University of Science and Technology

Sep. 2024 -

Ph.D. student

Feb. 2024 - Aug. 2024

Research Assistant

Shanghai Jiao Tong University

Sep. 2019 - Jun. 2023

Bachelor of Engineering in Computer Science and Technology

Zhiyuan Honor Bachelor Degree

Publication

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover

Shuangjie Yao, Dongdong She

46th IEEE Symposium on Security and Privacy (S&P), 2025

🏆 Distinguished Paper Award

Paper (DOI, IEEE, arXiv), Code, Slides, Poster

Internship

Alibaba DAMO Academy

Alibaba Cloud

Aug. 2023 - Jan. 2024

Research Intern

Microsoft Research Asia

Jul. 2022 - Jun. 2023

Research Intern

Teaching

COMP 2011: Programming with C++

TA@HKUST

Spring 2025