Hanzhi Liu (刘瀚之)

南京大学博士研究生

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

论文发表

  1. TOCS'26Visualinux: Visual Debugging for the Linux Kernel

    Hanzhi Liu, Yanyan Jiang, Chang Xu

    ACM Transactions on Computer Systems

    Just AcceptedInvited SubmissionCCF-A
    ForthcomingTool
  2. EuroSys'25Understanding the Linux Kernel, Visually

    Hanzhi Liu, Yanyan Jiang, Chang Xu

    Proceedings of the 20th European Conference on Computer Systems

    Best Student Paper AwardAcceptance: 12.2%, 85/696CCF-A
    DOIPDFTool

荣誉和奖项

学术荣誉

  • EuroSys'25 最佳学生论文奖

程序设计竞赛奖项

  • 2018 年 ACM-ICPC 亚洲区域赛焦作站金奖
  • 2018 年 ACM-ICPC 亚洲区域赛西安站 EC-Final 银奖
  • 2018 年 ACM-ICPC 亚洲区域赛南京站银奖
  • 2018 年 CCPC 中国大学生程序设计竞赛吉林站银奖
  • 2017 年 ACM-ICPC 亚洲区域赛西安站铜奖

个人荣誉

  • 2020 届西安交通大学南洋书院优秀毕业生
  • 2019 年度 CCF 优秀大学生奖

奖学金

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

报告

Understanding the Linux Kernel, Visually

  1. 2025.10 华为鸿蒙内核 DFX 组 (invited talk, online)
  2. 2025.5 ETH Zurich AST Lab (invited talk, online)
  3. 2025.5 华为庞家莱实验室 (invited talk, online)
  4. 2024.11 The 27th ChinaSys Workshop (ChinaSys'24 Fall) (accepted as oral, Tianjin, China)

教育和工作经历

  1. 2022.9 至今 博士生在读，南京大学计算机科学与技术系，计算机软件研究所，导师是蒋炎岩和许畅。
  2. 2020.9 - 2022.8 硕士研究生，南京大学计算机科学与技术系，计算机软件研究所，导师是蒋炎岩和许畅。
  3. 2016.9 - 2020.6 工学学士学位，西安交通大学计算机科学与技术系。
  4. 2019.6 - 2019.8 客户端开发实习生，腾讯，平台与内容事业群，社交娱乐产品部。
  5. 2013.9 - 2016.6 高中，深圳实验学校高中部。

助教经历

  1. 2022 - 2023 计算机系统基础（2022 秋，2023 秋），实验助教（由王慧妍老师授课），南京大学计算机科学与技术系。
  2. 2022 - 2023 操作系统：设计与实现（2022 春，2023 春），助教（由蒋炎岩老师授课），南京大学计算机科学与技术系。
  3. 2016 - 2020 C 语言程序设计课程（秋），非正式助教（由朱海萍老师授课），西安交通大学计算机科学与技术系。
  4. 2019.1 - 2019.6 西安交通大学 ACM 校队队长代理，西安交通大学计算机科学与技术系。

工程项目

研究工作

  • Visualinux (2023 - 2025): 一个实用的 Linux 内核可视化调试框架。这份工作已经被 CCF-A 类会议 EuroSys 2025 接收，并获最佳学生论文奖。

业余项目

  • 个人博客 (网站正在重构，暂时不可访问): 总计有近 百万字，其中包括大量独立撰写的原创技术文章。
    查看细节
    • 计算机基础知识的教程，包括编程语言基础（C/C++），算法和数据结构，图论，等等。
    • 程序设计题目的详细题解，包括 LeetCode 和一些 ICPC 的题目。
    • 其它计算机技术知识分享的文章。

停止维护的项目

  • 新玄机奇塔：Evolution (2016/2024): 一个具有一定规模的 2D 魔塔类 RPG 游戏，累计下载超过 5 万次。该游戏的重置版已经在 2024 年重新发布。
    查看细节
    • 此游戏远远称不上优秀，但它毕竟只是我在高中的业余时间制作的。
    • 基于 RGSS 构建：这是一个已经被时代抛弃的游戏引擎。
    • 游戏内容丰富且经过精心设计，但美术和剧情水平比较朴素。
    • 此游戏已经停止维护，但最终版本的成品仍然可下载。
  • 移植到 AM 上的 xv6 操作系统 (2021) (未公开): 将 xv6 操作系统移植到硬件抽象层 AbstractMachine 上。
    查看细节
    • 此项目在 蒋炎岩教授 的指导下推进。
    • 基于 AbstractMachine 实现：这是一个最小化的、模块化的、独立于机器环境的硬件抽象层。
  • Data Structure Visualizer (2019): 一个用 JavaFX 实现的 PC 桌面应用程序，提供算法和数据结构的可视化、交互控制，以及强大的可定制特性。
    查看细节
    • 最初被设计作为课堂教学的辅助工具。
    • 提供图形化显示、单步动画演示和与之同步的代码跟踪。
    • 支持用户自定义扩展和批处理操作。
  • 骨骼动画重定向技术的基本实现 (2019): 腾讯实习期间参与完成的工作。该项目归腾讯所有。
    查看细节
    • 该技术基于开源 3D 引擎 three.js 实现。
    • 运用计算机图形学、3D 数学、骨骼动画等方面的基础知识。
    • 此项目已经移交给腾讯。

兴趣爱好

  • 小型游戏开发（业余水准）
  • 写一些计算机专业的技术博客
  • 电子游戏（包括但不限于：明日方舟）
  • 享受音乐（包括但不限于：塞壬唱片，falcom jdk）
  • 游泳