CV
Education
- M.S. in University of California, Riverside, 2022-current
- Computer Science
- Advisor(s) Yihan Sun and Yan Gu.
- GPA 3.83/4.0
- B.S. in University of Science and Technology of China, 2018-2022
- Computer Science
- Advisor(s) Cheng Li and Min Lv.
Publications
- Noctua: Towards Automated and Practical Fine-grained Consistency Analysis (EurySys ‘24)
Honors and Awards
- 2nd place in UCR Programming Contest 2022 graduate division
- 3rd prize in Huawei Bisheng Compiler Design Contest 2021
- 2nd prize in Loongson FPGA Design Contest 2020
Work experience
- Spring 2023: Grader for CS218 Algorithm
- UC Riverside
- Supervisor: Yihan Sun
- Fall 2021: Undergraduate Researcher:
- Advanced Data Systems Laboratory(ADSL), USTC, Hefei, China
- Supervisor: Cheng Li
- Fall 2021: Teaching Assistant for Compiler
- University of Science and Technology of China
- Supervisor: Cheng Li
- Summer 2021: Research Internship
- Hong Kong University
- Working on Secure execution for cloud systems.
- Supervisor: Heming Cui
- Fall 2020: Teaching Assistant for Computer Programming 1
- University of Science and Technology of China
- Supervisor: Yinxing Xue
- Summer 2019: Undergraduate Researcher
- University of Science and Technology of China
- Building web systems and FPGA systems for Digital circuit labs.
- Supervisor: Jianliang Lu
Other Interests
- Magic The Gathering. (I won the 1st place in MTA Legacy Championship in Hefei, 2020. Also I was the vice president of USTC MTG club for the 2021 academic year)
- Rhythm Games including Maimai(15500 rating in Maimai Buddies), OSU(2500pp in standard), Project Sekai (Rating 28.9).
- Overwatch. (Diamond 3 in role Competitive, Diamond 1 in Squad Competitive.)
