JM233333 (Hanzhi Liu, 刘瀚之)

English

I’m a Ph.D. candidate in SPAR Group of Institute of Computer Software, Nanjing University. I’m advised by Prof. Yanyan Jiang and Prof. Chang Xu. Currently my research focuses on understanding and debugging operating system kernels and other system softwares. I’m also Interested in testing and verification of OS kernels, as well as designing systems that can solve critical real-world problems.

E-mail: jm233333@outlook.com (No response for 72h → Failed to receive or accidentally omit your email, you can try to resend it)

Education & Work Experience

2022.9 - present : Ph.D., Institute of Computer Software, Department of Computer Science and Technology, Nanjing University, supervised by Prof. Yanyan Jiang and Prof. Chang Xu.
2020.9 - 2022.8 : M.Sc., Institute of Computer Software, Department of Computer Science and Technology, Nanjing University, supervised by Prof. Yanyan Jiang and Prof. Chang Xu.
2016.9 - 2020.6 : B.Eng., Department of Computer Science and Technology, Xi’an Jiaotong University.
- 2019.6 - 2019.8 : Client-side Developer Intern, the Platform and Content Group (PCG), Tencent.
2013.9 - 2016.6 : High School Education, Senior High Department of Shenzhen Experimental School.

Publications

Understanding the Linux Kernel, Visually
Hanzhi Liu, Yanyan Jiang, Chang Xu
Proceedings of the 20th European Conference on Computer Systems (EuroSys 2025)
[doi (Forthcoming)] [pdf] [tool]

Honors and Awards

Programming Contest Awards

Gold Medal, ACM-ICPC Asia Regional Contest (Jiaozuo Site), Nov 25, 2018.
Silver Medal, ACM-ICPC Asia-East Continent Final (Xi’an Site), Dec 16, 2018.
Silver Medal, ACM-ICPC Asia Regional Contest (Nanjing Site), Oct 14, 2018.
Silver Medal, China Collegiate Programming Contest (Jilin Site), Sep 22, 2018.
Bronze Medal, ACM-ICPC Asia Regional Contest (Xi’an Site), Oct 29, 2017.

Personal Honors

The Outstanding Graduates Awards of Nanyang Shuyuan, Xi’an Jiaotong University, 2020.
The CCF Elite Collegiate Award, China Computer Federation, 2019.

Scholarship

Shidi Lu’s First Stage Scholarship, Xi’an Jiaotong University, 2019
Shidi Lu’s Second Stage Scholarship, Xi’an Jiaotong University, 2018

Teaching Experiences

2022 - 2023 : TA, Introduction of Computer System (2022 Autumn, 2023 Autumn), taught by Huiyan Wang, Department of Computer Science and Technology, Nanjing University.
2022 - 2023 : TA, Operating Systems: Design and Implementation (2022 Spring, 2023 Spring), taught by Yanyan Jiang, Department of Computer Science and Technology, Nanjing University.
2016 - 2020 : Informal TA, The C Programming Language (Autumn), taught by Haiping Zhu, Department of Computer Science and Technology, Xi’an Jiaotong University.
2019.1 - 2019.6 : Acting chairman of ICPC team, Department of Computer Science and Technology, Xi’an Jiaotong University.

Selected Projects

Research Works

Visualinux (2023 - 2024): A visualized debugging framework to aid in understanding the Linux kernel. This work has been accepted by EuroSys 2025 (doi forthcoming).

Amateur Projects

JM233333’s Blog (rebuilding; temporarily unavailable): Nearly one million words in total, including a large number of independently-written original articles.

Details

Basic tutorials of computer science knowledge, incluing programming languages (C/C++), algorithms and data structures, and graph theory.
Detailed solutions of programming problems, including LeetCode and challenging ICPC problems.
Other computer science knowledge sharing articles.

Closed Projects

New Mystery MagicTower: Evolution (2016/2024): Large-scale 2D magictower-type role-playing game, which has been downloaded more than 50k times in total. An evolution version of this game has been re-released in 2024, aiming to recreate some of the childhood fun for the fan players who have grown up.

Details

The game is far from excellent, but it was made in my spare time when I was still in high school.
Built on RGSS, a game engine that has been abandoned by the times.
Abundant and well-designed game content, but with naiive arts and stories (restricted by amateur level and my age at that time).
Its art design may be too outdated, but the game levels are challenging for players of all ages, taking dozens of hours to clear.
This game is no longer maintained, but the final version artifact can still be downloaded.

xv6 ported to AM (2021; not yet public): Porting xv6 OS to AbstractMachine.

Details

This project is supervised by Dr. [Yanyan Jiang](https://ics.nju.edu.cn/~jyy/).
Based on [AbstractMachine](https://github.com/NJU-ProjectN/abstract-machine), a minimal, modularized, and machine-independent hardware abstraction layer.

Data Structure Visualizer (2019): PC desktop application implemented with JavaFX, which provides visualization and interaction of algorithms and data structures as well as high customizability.

Details

Designed as a auxiliary tool for teaching. Both students and teachers can use and benefit from it.
Provides graphical representation, step-by-step animation demonstration and a synchronous code tracking.
Provides convenient support for user extensions. Programmers can customize only with a basic understanding of Java syntax and the compliance with some preset rules.
Supports batch processing of operations on the visualized structure.

Basic Implementation of Skeletal Animation Retargeting (2019): The work I participated in during my internship at Tencent. The project is owned by Tencent.

Details

The implementation is based on [three.js](https://github.com/mrdoob/three.js/) , a well-known open source 3D engine.
Requires basic knowledge of computer graphics, 3D mathematics, skeletal animation, etc.
The principle of this technology is not difficult, but practical implementation faces many challenges. There are mature commercial implementations in the community, but it is not suitable for projects within the group, so a re-implementation is necessary.
Its significance includes but is not limited to: reducing the workload of art staff, facilitating update and maintenance of animation data, saving space resources of upper-level applications, etc.
This project has been handed over to Tencent.

Hobbies

Mini Game Development (Amateur)
Writing Technical Blogs about Computer Science
Playing Games (e.g. Arknights)
Enjoying Music (e.g. Monster Siren Records, Yanni, falcom jdk, etc.)
Swimming