Yaoyang Ye

Education

Zhejiang University (ZJU)

, China 2021.9 -- 2025.6(expected)

B.Eng. in Computer Science and Technology

The University of Tokyo (UTokyo)

, Japan 2024.9 -- 2025.3

Exchange student in the USTEP Program

Research Interests

Program Analysis/Verification/Synthesis: Developing automated techniques for detecting, verifying, and repairing defects in programs
Type System: Reducing the mental burden for creating parallelizable, scalable, and safe applications

Experiences

Synthesis Techniques for Cryptography Programs 2024.9 -- Present

Remote, Supervised by Prof. Jingbo Wang, Purdue University.

Implemented automated masking techniques to secure sensitive data bits against side-channel leakage
Investigated synthesis methods to safeguard secrets from differential analysis of circuit delays

Compiler Optimizations in Pointer Analysis 2024.10 -- 2025.3

Supervised by Prof. Peisen Yao, Zhejiang University.

Explored the impact of different LLVM optimization passes in pointer analysis

Static Value-Flow Analysis Framework (SVF) Optimizations 2024.6 -- 2025.1

Supervised by Prof. Peisen Yao, Zhejiang University.

Boost bit vector operations by introducing parallelism and better fundamental data structures.

Internships

Shanghai Luogu Network Technology Co., Ltd, Shanghai, China 2021 -- 2023

Backend Development / Lecturer

Luogu is China's most famous online judger for competitive programming.

Selected Projects

Website for People of the Chinese Imperial Examinations 2023 -- 2024

Technical Team Leader / Backend Development (React.js, Node.js)

Digitization project that collaborated with the College of History.

RIoT 2024

Course project (Rust, Vue.js)

A high-performance IoT platform built on Actix Web.

Use MQTT protocol to monitor environmental information in laboratories.

Vodis 2023

Course project (Rust)

ZJU course with the ByteDance CloudWeGo team.

A Redis-like in-memory database, based on Volo-Thrift RPC framework by ByteDance.

Publications

Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation (FSE'25)
Y. Li, P. Yao, K. Yu, C. Wang, Y. Ye, S. Li, M. Luo, Y. Liu, K. Ren

Skills

Programming

>10k lines: C++ > Rust > Python
5k-10k lines: JavaScript/TypeScript > PHP > MATLAB
<5k lines: Java > Haskell

Languages

Mandarin: native speaker
English: fluent (TOEFL 100: R27 L26 S23 W24, on the first attempt)
Japanese: intermediate

Honors and Awards

2^nd Class University Scholarships for Excellent Student, Zhejiang University 2023
2^nd Place, SECCON 2023, Tokyo, Japan (team AAA) 2023.12
2^nd Place, CODEGATE 2023, Seoul, Korea (team AAA) 2023.8
3^rd Class University Scholarships for Excellent Student, Zhejiang University 2022
1^st Place (Mainland China), TCTF RisingStar 2022 Quals (team AAA) 2022.9
3^rd Place, ByteCTF (team AAA) 2021
1^st Class Prize, National Olympiad in Informatics (Provincial) 2018

Teaching

CTF 101 (summer term course) in Zhejiang University

2023, 2024

Lecturer / Teaching Assistant

Lectured courses on Web and Misc.

Extracurricular Activities

ZJU Azure Assassin Alliance CTF Team 2021 -- Present

Member

Specialized in Web and Misc challenges.

ZJU X-Lab 2022 -- Present

Full Stack Developer

Primarily working with Rust, Next.js, and Python.

Miscellaneous & Fun Facts

He has taken basic courses in Abstract Algebra and Category Theory
His Compiler Principle course notes have helped hundreds of students
The University of British Columbia's CTF team highly praised his Misc challenge created for ACTF 2022
His nicknames/aliases: yyy or cubicYYY
His hobbies: electric guitar 🎸 & cooking 🍳
He often plays Rusty Nail - X JAPAN while writing Rust codes
He envisions abstracting patterns from trivial problems and addressing them through non-trivial solutions