View JM233333's Homepage on GitHub

JM233333 (Hanzhi Liu, 刘瀚之)

English 简体中文

我是南京大学计算机软件研究所 SPAR 小组的在读博士生，导师是 蒋炎岩教授 和 许畅教授 。目前我的主要研究方向是理解和调试操作系统内核和其他系统软件；我还有志于操作系统内核的测试和验证、以及设计能够解决现实世界的重大问题的系统。

电邮：jm233333@outlook.com (超过 72 小时未回复 → 我可能未收到或不慎遗漏邮件，您可尝试重发)

教育和工作经历

  • 2022.9 至今：博士生在读，南京大学计算机科学与技术系，计算机软件研究所，导师是 蒋炎岩教授 和 许畅教授 。

  • 2020.9 - 2022.8：硕士研究生，南京大学计算机科学与技术系，计算机软件研究所，导师是蒋炎岩教授和许畅教授。

  • 2016.9 - 2020.6：工学学士学位，西安交通大学计算机科学与技术系。

    • 2019.6 - 2019.8：客户端开发实习生，腾讯，平台与内容事业群，社交娱乐产品部。

  • 2013.9 - 2016.6：高中，深圳实验学校高中部。

论文发表

  • 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]

荣誉和奖项

程序设计竞赛奖项

  • 2018 年 ACM-ICPC 亚洲区域赛焦作站金奖

  • 2018 年 ACM-ICPC 亚洲区域赛西安站 EC-Final 银奖

  • 2018 年 ACM-ICPC 亚洲区域赛南京站银奖

  • 2018 年 CCPC 中国大学生程序设计竞赛吉林站银奖

  • 2017 年 ACM-ICPC 亚洲区域赛西安站铜奖

个人荣誉

  • 2020 届西安交通大学南洋书院优秀毕业生

  • 2019 年度 CCF 优秀大学生奖

奖学金

  • 2019 年西安交通大学陆诗娣一等奖学金

  • 2018 年西安交通大学陆诗娣二等奖学金

助教经历

  • 2022 - 2023：计算机系统基础（2022 秋，2023 秋），实验助教（由王慧妍老师授课），南京大学计算机科学与技术系。

  • 2022 - 2023：操作系统：设计与实现（2022 春，2023 春），助教（由蒋炎岩老师授课），南京大学计算机科学与技术系。

  • 2016 - 2020：C 语言程序设计课程（秋），非正式助教（由朱海萍老师授课），西安交通大学计算机科学与技术系。

  • 2019.1 - 2019.6：西安交通大学 ACM 校队队长代理，西安交通大学计算机科学与技术系。

项目经验节选

研究工作

Visualinux (2023 - 2024): 一个致力于帮助开发者理解 Linux 内核的可视化调试框架。这份工作已经被 CCF-A 类会议 EuroSys 2025 接收（doi forthcoming）。

业余项目

个人博客 （网站正在重构，暂时不可访问）：总计有近 百万字 ，其中包括大量独立撰写的原创技术文章。

查看细节
  • 计算机基础知识的教程，包括编程语言基础 (C/ C++)，算法和数据结构，图论，等等。
  • 程序设计题目的详细题解，包括 LeetCode 和一些 ICPC 的题目。
  • 其它计算机技术知识分享的文章。

停止维护的项目

新玄机奇塔：Evolution (2016/2024): 一个具有一定规模的 2D 魔塔类 RPG 游戏，累计下载超过 5 万次。该游戏的重置版已经在 2024 年重新发布，旨在为已经长大的粉丝玩家们带回一些童年的乐趣。

查看细节
  • 此游戏远远称不上优秀，但它毕竟只是我在高中的业余时间制作的。
  • 基于 RGSS 构建：这是一个已经被时代抛弃的游戏引擎。
  • 游戏内容丰富且经过精心设计，但美术和剧情水平很 naiive（受当时业余水平和年龄限制）。
  • 游戏的美术风格可能过于古老，但游戏关卡对于全年龄的玩家来说都是有挑战性的，需要数十个小时才能通关。
  • 此游戏已经停止维护，但最终版本的成品仍然可下载。

移植到 AM 上的 xv6 操作系统 (2020；未公开): 将 xv6 操作系统移植到硬件抽象层 AbstractMachine 上。

查看细节
  • 此项目在 [蒋炎岩教授](https://ics.nju.edu.cn/~jyy/) 的指导下推进。
  • 基于 [AbstractMachine](https://github.com/NJU-ProjectN/abstract-machine) 实现：这是一个最小化的、模块化的、独立于机器环境的硬件抽象层。

Data Structure Visualizer (2019): 一个用 JavaFX 实现的 PC 桌面应用程序，提供算法和数据结构的可视化、交互控制，以及强大的可定制特性。

查看细节
  • 最初被设计作为课堂教学的辅助工具，学生和教师都可以利用此工具并从中受益。
  • 提供图形化显示、单步动画演示和与之同步的代码跟踪。
  • 为用户自定义扩展提供了方便的支持。程序员仅仅需要对 Java 语法有基本的了解，并且遵守一些预设的规则，即可进行定制。
  • 支持对可视化的数据结构进行批处理操作。

骨骼动画重定向技术的基本实现 (2019): 腾讯实习期间参与完成的工作。该项目归腾讯所有。

查看细节
  • 该技术基于开源 3D 引擎 [three.js](https://github.com/mrdoob/three.js/) 实现。
  • 运用计算机图形学、3D 数学、骨骼动画等方面的基础知识。
  • 该技术的基本原理并不困难，但实用的实现面临诸多挑战。该技术在社区内已有成熟的商业实现，但并不适用于小组内的工程，所以需要重新实现。
  • 其意义包括但不限于：减少美术的工作量、便于更新和维护动画数据、节约上层应用的空间资源，等等。
  • 此项目已经移交给腾讯。

兴趣爱好

  • 小型游戏开发（业余水准）

  • 写一些计算机专业的技术博客

  • 电子游戏（包括但不限于：明日方舟）

  • 享受音乐（包括但不限于：塞壬唱片，falcom jdk）

  • 游泳