Skip to content
View Zeriick's full-sized avatar
11 followers · 3 following
  • 05:14 (UTC +08:00)

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Zeriick

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Zeriick/README.md

👋 Hi there, I'm Zerick

Computer Science student from China, interested in systems.

What I'm working on

I'm a senior undergraduate student at Xi'an Jiaotong University (XJTU), and an incoming direct PhD student at Nanjing University (NJU).

My primary research interests are program analysis and modern compiler techniques, with a focus on how program semantics are represented, analyzed, and transformed by compilers and analysis tools.

I'm currently studying classic and modern approaches to static analysis and compiler construction, and learning through implementing small, self-contained components to better understand their design trade-offs.

Pinned Loading

  1. CS144-Minnow CS144-Minnow Public

    My personal try for CS144 2024 Winter (Minnow)

    C++ 8

  2. mini-lsm mini-lsm Public

    My try in https://skyzh.github.io/mini-lsm

    Rust

  3. SF-LF SF-LF Public

    Software Foundations electronic textbook and homework

    Rocq Prover

  4. pku-minic pku-minic Public

    My personal try in pku conplier lab https://pku-minic.github.io/

    Rust

  5. SF-PLF SF-PLF Public

    Software Foundations electronic textbook and homework

    Rocq Prover

  6. tiny-llm tiny-llm Public

    Forked from skyzh/tiny-llm

    A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.

    Python