Skip to content
View heng-zhong-2003's full-sized avatar
👷‍♀️
精進努力！
👷‍♀️
精進努力！
48 followers · 41 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report heng-zhong-2003

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
heng-zhong-2003/README.md

About

I am Nicolas Heng Zhong ("Nicolas" is after the group of mathematicians "Nicolas Bourbaki", the thought of whom I highly identify with), currently PhD student at University of Illinois, Urbana-Champaign. My research interest is in programming languages and compilers.

Skills

  • C (8 years of experience); Standard ML, OCaml, Rust, Verilog/SystemVerilog (Expert); Modern C++, Haskell (Familiar); Coq (Learning)
  • English (Highly Proficient), Chinese (Native), Japanese (Learning)

Writings

  1. Heng Zhong and Anrui Liu. 2024. Meerkat: Distributed Reactive Live Semantics with Causal Consistency. In Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion '24). Association for Computing Machinery, New York, NY, USA, 52–53. https://doi.org/10.1145/3689491.3691822

Hobbies

Skiing, Kendo, Ai Haibara/Conan x Ai fanfiction

Pinned Loading

  1. meerkat_distributed meerkat_distributed Public

    Truly distributed meerkat interpreter

    Rust 2

  2. Fudan-Univ-Honor-Compiler Fudan-Univ-Honor-Compiler Public

    The FDMJ compiler for the Compiler (H) course (COMP130014h) at Fudan University. Implemented in C under the peremptory requirements of the obsolete course design at Fudan.

    C 4

  3. meerkat meerkat Public

    A type-safe distributed reactive language with live updates

    Rust 3

  4. Science520/Fudan-Graphics-GenAI Science520/Fudan-Graphics-GenAI Public

    Generative AI project of the Fudan Computer Graphics course.

    Python