Education

Tsinghua University (Beijing, China)

Institute for Interdisciplinary Information Sciences (Aug. 2023 – Jul. 2026 (expected))

• Second-year master student on computer architecture, supervised by Mingyu Gao.

Tsinghua University (Beijing, China)

Institute for Interdisciplinary Information Sciences (Aug. 2019 – Jul. 2023)

• Bachelor in computer science, in Yao Class, a special pilot CS program led by Prof. Andrew C. Yao for talented students.
• Overall GPA: 3.79/4.00 (ranked 37/62). GPA of major courses: 3.92/4.00.
• Specialized course (A or A+): Introduction of Mathematical Modelling, Introduction to Artificial Intelligence, Calculus, Mathematics for Computer Science, Introduction to Databases, Computer Architecture, Advanced Computer Graphics, Operating System

Huanggang High School (Hubei, China)

Mathematical Olympiad Class (Aug. 2016 – Jul 2019)

• Chinese National Team for Russian Mathematical Olympiad
• Chinese Training Camp for International Mathematical Olympiad

Awards

• National Inspiration Scholarship (Oct. 2020)
• Freshman Scholarship, Tsinghua University (Awarded to about 5% students) (Oct. 2019)
• Bronze Medal in Russian Mathematical Olympiad (Mar. 2019)
• Gold Medal in Chinese Mathematical Olympiad (CMO) (Ranked 22/388) (Nov. 2018)

Experiences

Tsinghua Innovative Data-centric Efficient Architecture Lab (IDEAL) (Beijing, Chinaa)

Mentor: Mingyu Gao (Sept. 2021 – Present)

• My research interest is micro-architecture security and the trusted execution environment (TEE), analyzing and designing algorithms and systems for efficient hardware-assisted secure computation.
• Working on improving algorithms based on secure computation primitives such as Oblivious RAM (ORAM).

ISCAS, Programming Language and Compiler Technology (PLCT) Lab (Beijing, China)

Intern in Chisel team (Oct. 2021 – Present)

• Developing T1, an open source RISC-V Soc with a vector architecture.
• Assessing micro-architecture design choices. Developing verification toolchain and infrastructure.
• Designing cryptography algorithm implementations on RISC-V Vector.

Publications

BULKOR: Enabling Bulk Loading for Path ORAM (Apr. 2022)

Xiang Li, Yunqian Luo, Mingyu Gao

• Accepted in S&P 2024 Summer.
• Based on Path ORAM, a special data structure to resist side-channel attacks for general computing, we proposed a new algorithm to initialize it over 5x faster than existing methods in most cases.
• Contributed to the algorithm design and full theoretical analysis of the correctness and performance bound.

Projects

Advanced Computer Graphics Course Lab (github.com/SharzyL/rt)

• A high-performance ray tracing renderer supporting various algorithms (path tracing, PPM, SPPM).
• Modern C++ programming and multi-thread performance tuning.

Skills

Programming Languages

(proficient) C++, Python, (experienced) JavaScript, Golang, Rust, Scala/Chisel, Java

Tools

Linux, Git, Nix, Mathematica

Languages

Chinese (native), English (TOEFL 105/120), Japanese, (rudimentary) Classical Greek, Latin, Fuṣḥā Arabic

Hobbies

Open-source contributions, typography, linguistics, sports