Education

B.Eng. in Computer Science and Technology

Exchange student in the USTEP Program

Research Interests

• Program Analysis/Verification/Synthesis: Automating defect detection and elimination for modern programming languages
• Type System: Reducing the mental burden for creating parallelizable, scalable, and safe applications
• Web Security: Automated and scalable approaches for identifying vulnerabilities and their exploitation in real-world scenarios

Research Experiences

Supervised by Prof. Peisen Yao, Zhejiang University.

• Explored the impact of different LLVM optimization passes in pointer analysis
• Used iterative tests to identify interesting argument combinations
• Concluded an empirical guideline for choosing correct argument combinations of compiler optimization for a better cost-performance ratio

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

Supervised by Prof. Peisen Yao, Zhejiang University.

• Maintain a regression testing suite for evaluating SVF optimizations
• Boost bit vector operations by introducing parallelism and better fundamental data structures.

Supervised by Prof. Peisen Yao, Zhejiang University.

• Analyze GitHub issues to find the main challenges and concerns with using SAST tools
• Measure the code coverage of SAST tools over our corpus as criteria for the tool's quality

Internships

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

Selected Projects

Digitization project that collaborated with the College of History.

A high-performance IoT platform built on Actix Web.

Use MQTT protocol to monitor environmental information in laboratories.

ZJU course with the ByteDance CloudWeGo team.

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

Publications

Currently work in progress.

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: basic, capable of daily communications

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, 5space 2022 Quals (team AAA) 2022.9
• 1^st Place (Mainland China)/9^th Place (Global), TCTF RisingStar 2022 Quals (team AAA) 2022.9
• 2^nd Place, TQLCTF 2022 Quals (team AAA) 2022.2
• 3^rd Place, ByteCTF (team AAA) 2021
• 1^st Class Prize, National Olympiad in Informatics (Fujian Province) 2018

Teaching

Lectured courses on Web and Misc.

Extracurricular Activities

Specialized in Web and Misc challenges.

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