教育经历
- 清华大学 2022 年 8 月至未知
- 交叉信息研究院，高鸣宇组，博士生
- 清华大学 2018 年 8 月至 2022 年 6 月
- 交叉信息研究院，姚班，工学学士
- 排名：14/57
- 湖南省永州市第四中学 2015 年 8 月至 2018 年 6 月
- 湖南省高考裸分第一名
- 分数：713/750 （语文 125，数学 149，英语 145，理综 294）
论文发表
- Honeycomb: Secure and Efficient GPU Executions via Static Validation
- Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huiming Cui, Xiaobing Feng, and Christos Kozyrakis
- GPU 运行时：辅助编写客制的 HIP 与 OpenCL 运行时，主要工作在 HIP / OpenCL API （用户空间）和 /dev/kfd（内核-用户空间界面）上，顺手发送了一个 PR 给 strace 作为副产物
- CPU 可信执行环境：熟悉 AMD TEE 技术，例如 SEV-SNP 当处理 CPU 与 GPU 的共享内存问题时（修改了一个树外内核模块) 和 SVSM
- 虚拟化：辅助编写了一个最小化的 Hypervisor（x86，用 Rust），为了最小化可信代码基
- 软件工程：当编写用户空间辅助程序和性能测试时，写了一些 C++ 和系统编程
- OSDI'23
- 3M-AI: A Multi-task and Multi-core Virtualization Framework for Multi-FPGA AI Systems in the Cloud
- Shulin Zeng, Guohao Dai, Hanbo Sun, Jun Liu, Hongren Zheng, Yusong Wu, Fan Zhang, Xinhao Yang, Yi Cai, Yu Wang, and Huazhong Yang
- FPGA'21 (Poster)
开源贡献
- 清华大学/北京外国语大学开源软件镜像站 2020 年 10 月至 2023 年 7 月
- 运维 mirrors.tuna.tsinghua.edu.cn
- 校园网联合镜像站 2022 年 1 月至 2023 年 7 月
- 创始人 mirrors.cernet.edu.cn
项目经历
- 基于 Chisel 实现 RISC-V 指令集标量密码学扩展 2022 年 1 月至 2022 年 6 月
- 本科毕业论文
- RTL 设计：为 Rocket-Chip 设计的 Zk/Zb 扩展的功能单元，已上游化
- 密码学库：为 OpenSSL 设计的 AES/SM4/SM3 的汇编，已上游化
- 在 AES 上可达到十倍加速比
- 大学生创新创业项目，基于 IPv6 自组织网络的科学计算网络研究 2020 年春至 2021 年春
- 由清华大学工物系续本达助理教授指导
- 我构造了一套监控系统，对收集到的指标进行了分析，研究了相关网络特征；同时我在网络架构的设计上作出了贡献。
- 大学生研究训练计划，跨云平台的 Overlay Network 的设计与实现 2019 年春至 2020 年春
- 由清华大学交叉信息研究院吴文斐助理教授指导
课程助教
- 计算机系统概论 2022 春季学期、2023 春季学期
- 清华大学交叉信息院课程，主讲教师徐葳、高鸣宇
- 树莓派/课程设计：学生领取树莓派并在其上开展课程实验，我负责搭建系统与修复学生的网络/硬件/配置问题。与简单地给予虚拟机 SSH 帐号相比，分发树莓派的工作量很大但是我认为学生能在本科早期阶段得到一些系统管理的经验是有益的。
- 习题课：相比于传统习题课那样训练同学使用工具、掌握技能或者学习知识点，我更喜欢给一些与当周课程话题相关的讲座，涉及更深入的主题，来展示计算机系统设计的方法论/思想。这才是系统课应该传递给学生的核心内容，就像姚班理论课程传递的那样。在这些讲座中，繁杂的技术细节并不重要（就像理论课中数学工具/证明细节并不是核心内容），但是只有把这些细节足量地展示出来，设计系统时思想的流动和组合才能被展示。我的讲座有「C 数组与指针的区别（引自《C专家编程》）」，「缓存架构与探测（引自《计算机体系结构：量化研究方法》」，「用户/内核模式与操作系统基础（以 RISC-V 特权指令集为例）」，「以一种不那么难的方式学习 Git（手动构建 .git 文件夹以理解 git 命令的工作方式而不是背诵）」，「内存管理单元，内核，系统调用，malloc（从硬件到软件的整套内存管理栈）」，「嵌入式系统 USB 驱动与 Linux FunctionFS 作为 USB 驱动（展示操作系统与设备的互动）」，「量子网络协议栈（与经典网络栈相对应的例子）」。很有意思的是，一些同学能够从繁多的细节中获取我想传递的思想，我很高兴，即使准备这些讲座需要大量精力。
- 写作与沟通 2020 春季学期至 2023 春季学期
- 查重助教
荣誉奖励
- 优秀毕业生 2022
- 交叉信息院，共 15 名同学
- 综合优秀奖学金 2019 与 2020
- 清华大学
- 新生一等奖学金 2018
- 清华大学，为各省第一名与国际奥林匹克竞赛金牌颁发