juni.blog

/about

About Me

A master student interested in compilers, systems, and programming languages.

Hello, my name is Juni Mei. I am currently a master student at Carnegie Mellon University. I'm interested in compilers, systems, programming languages, computer architecture, and machine learning. Also enthusiastic about linguistics and philosophy.

Education

Carnegie Mellon University

M.S. in Mobile and Internet of Things Engineering

Pittsburgh, PA, USA | 2025.8 - 2027.5

Nankai University

Bachelor of Engineering in Information Security, Bachelor of Law

Tianjin, China | 2021.9 - 2025.8

Main Courses: Computer Architecture (92/100), Principles of Compiler (98/100), Operating System (93/100), Computer Networks (93/100), Database System (95/100), etc.

Honors and Awards

Innovation Scholarship

Nankai University | 2023.10

Scholarship of Public Interests and All-Round Capability

Nankai University | 2022.10

Competitions

2023 Compilation System Design Competition

Second Prize

Team Leader, Guangzhou, 2023.5-2023.8

Computer System Development Capability Competition

  • Developed a RISC-V targeted compiler for SysY (subset of C) with C++, Flex, and Bison.
  • Constructed the framework and an LLVM-like intermediate representation.
  • Designed core analysis and optimization passes.
  • Used GitLab CI/CD to automate tests and evaluate target performance.

2023 Operating System Design Competition

Honorable Mention

Team Leader, Guangzhou, 2023.5-2023.8

Functional Design Track

Computer System Development Capability Competition

  • Added LoongArch support to Tiny C Compiler (TCC).

Tianjin College Students' Cybersecurity Competition

Third Prize

Team Member, Tianjin, 2022.8

  • Solved reverse engineering and pwn challenges in the CTF competition.

2022 Compilation System Design Competition

Second Prize

Team Member, Online, 2022.5-2022.8

Computer System Development Capability Competition

  • Assisted in building a compiler targeting ARM architecture.
  • Added floating-point support and implemented peephole optimization.

2022 Operating System Design Competition

Honorable Mention

Team Leader, Online, 2022.5-2022.8

Functional Design Track

Computer System Development Capability Competition

  • Developed an automated compiler tuning tool in Python.
  • Applied statistical hypothesis testing, LinUCB, and Bayesian optimization.

National University Student Information Storage Technology Competition (Massive Storage)

Third Prize

Team Member, Tianjin, 2022.10-2023.4

  • Assisted in developing a long-term retention memory retrieval system.

5th Peking University Engineering Hackathon (HackPKU)

Excellence Award

Team Member, Online, 2022.5

  • Developed a game with RayLib and C in 36 hours.
  • Built framework and interface; helped implement Perlin-noise map generation.

Nankai University NFS Smart Vehicle Championship

First Prize

Team Member, Tianjin, 2022.5

Junior Division

  • Engineered an Arduino-based vehicle.
  • Used infrared sensors and PID control to balance speed and stability.

Skills

  • Languages: Chinese (native), English (fluent, CET-6 619, TOEFL 103, GRE 327+3.5), Japanese (basic, CJT-4), German (basic)
  • Programming Languages
    • Strong understanding of C++ and Rust
    • Familiar with Agda, Lean4 and Lua
    • Basic knowledge of Haskell, Idris2, and Scala
  • Knowledge about LLVM and MLIR frameworks and compiler optimization techniques.
  • Well-acquainted with architectures, ISAs, and specifications such as ARM, RISC-V, and LoongArch.

About This Site

This is a simple personal website built with Next.js and Tailwind CSS. I built this website together with GPT-4o and iterated later with Codex.

Contact