Hongren ZHENG

郑鈜壬
he/him

Education

Tsinghua University August 2022 - ?
Ph.D Student, Mingyu GAO's IDEAL Group, IIIS
Tsinghua University August 2018 - June 2022
BEng, Yao Class, IIIS
Rank: 14/57
The Fourth High School of Yongzhou, Hunan August 2015 - June 2018
Rank in Gaokao: 1st place of Hunan Province
Score: 713/750 (Chinese 125, Math 149, English 145, Science 294)

Publications

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 Runtime: Helped code a custom AMD HIP runtime and OpenCL runtime, mainly on HIP/OpenCL API (userspace) and /dev/kfd (kernel-userspace interface, sent a PR to strace as a side product)
  • CPU TEE: Familiar with AMD CPU TEE techniques, e.g. SEV-SNP when dealing with CPU-GPU shared memory (modified an out-of-tree kernel module) and SVSM
  • Virtualization: Helped code a minified custom hypervisor (x86, in Rust) for minimal TCB
  • Software Engineering: Much C++ and system programming when coding user space helpers and benchmarks
 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)

Open Source

TUNA/BFSU Open Source Mirrors October 2020 - July 2023
Operator mirrors.tuna.tsinghua.edu.cn
CERNET Union Mirrors January 2022 - July 2023
Founder mirrors.cernet.edu.cn

Experiences

Implementing RISC-V Scalar Cryptography/Bitmanip extensions in Chisel January 2022 - June 2022
Undergraduate Thesis
  • RTL design: Zk/Zb function unit for Rocket-Chip, upstreamed
  • Cryptography library: AES/SM4/SM3 assembly routine for OpenSSL, upstreamed
  • Up to 10X speedup for AES
Innovation Project on Self-organized IPv6 Scientific Grid Computing Spring 2020 - Spring 2021
Advised by Benda XU, Department of Engineering Physics, Tsinghua University
I setup a monitor system and analysed the collected metrics; I also contributed to the architecture design of the network.
Student Research Training on Overlay Network Spring 2019 - Spring 2020
Advised by Wenfei WU, IIIS, Tsinghua University

Teaching Assistant

Introduction to Computer Systems Spring 2022 and Spring 2023
Taught by Wei XU and Mingyu GAO, IIIS, Tsinghua University
  • Raspberry Pi/Course design: Students got hands on RPi for lab assignment and I was there to setup the system and fix any issue on network/hardware/configuration. Compared with simply giving away ssh access, distributing RPi has a large amount of dirty work but I thought students could get an experience of system administration from their early undergraduate life and that would be beneficial.
  • TA sessions: Instead of training students on tools, skills and knowledge like traditional TA session, I prefer to give talks on topics in correspondence with the formal courses, but deeper, to show them the methodology/philosophy of computer system design. That is what a system course should convey, like other Yao class theory courses do. In these talks, complicated details are not important (as in theory course, mathematical tools/proof details are not the core) but only with comprehensive presentation could the flow of ideas be shown. I gave them talks on "C array/pointer difference (cited from Expert C programming)", "Cache architecture and probing (cited from Computer Architecture: A Quantitative Approach", "User/kernel mode and operating system basics (RISC-V privileged ISA as example)", "Learn Git The Not So Super Hard Way (manually construct .git folder to deeply understand git commands instead of just memorizing)", "MMU, kernel, syscall and malloc (whole stack of memory management, from hardware to software)", "Embedded system USB driver and Linux FunctionFS as USB driver (demonstrating OS-device interaction)", "Quantum network protocol stack (a comparable example for classical network stack)". Interestingly, some students could understand what my talks want to convey and I was very inspired, despite the hardness of preparing these talks.
Writing and Communication Spring 2020 - Spring 2023
Plagiarism detection of essays, Tsinghua University

Honors and Awards

Outstanding Undergraduate 2022
IIIS, 15 in total
Comprehensive Outstanding Scholarship 2019 and 2020
Tsinghua University
Freshman Prize, First Level 2018
Tsinghua University, for the 1st place of each province and gold medal in International Olympiad