陈晟祺(Shengqi Chen)

英语版本在此处(Click here for English version)

最后更新:2022/09/24 11:30 UTC +08:00

  • Email: i AT harrychen DOT xyz
  • GitHub: Harry-Chen

教育经历

  • 2020-(待定):清华大学,计算机科学与技术系,直博
  • 2016-2020:清华大学,计算机科学与技术系,计算机科学与技术专业,工学学士
    • GPA:3.85/4.0(必修限选,改革后)、3.86/4.0(全部,改革后)
    • 前三年(推研)必修限选课程 GPA:3.67/4.0(改革前)、3.84/4.0(改革后)
    • 班级排名 2/31、年级排名 4/162
    • 获得 A+ 的课程:程序设计训练(2017夏)、计算机组成原理(2018秋)、计算机网络原理(2018秋)、编译原理(2018秋)、软件工程(2018秋)、存储技术基础(2019春)、计算机网络专题训练(2019春)、专业实践(2019夏)、综合论文训练(2020春)
  • 2017-2020:清华大学,数学科学系,数学与应用数学(第二学位),理学学士
  • 2013-2016:江苏省常熟中学,理科实验班,高中

技能

  • 外国语言:CET4 642 分,CET6 629 分,TOEFL iBT 110 分(Reading 30, Listening 28, Writing 29, Speaking 23)
  • 编程语言:C, C++, Python, Java, Kotlin, ECMAScript/TypeScript, Shell, Verilog/SystemVerilog
  • 平台/框架:Qt (C++), Android App (Java/Kotlin), Flask (Python), React (JS/TS), FPGA (SV)
  • 其他:有线/无线网络组建与管理,Linux 系统运行维护

曾获奖励

奖学金

  • (2017年10月)清华大学综合优秀奖学金(清华之友——郑格如奖学金)
  • (2018年10月)清华大学综合优秀奖学金(波音奖学金)
  • (2019年1月)清华大学计算机系信息化建设奖学金
  • (2019年10月)清华大学综合优秀奖学金(国家奖学金)
  • (2019年12月)清华大学计算机系钟士模奖学金(计算机系最高荣誉,本科生共 3 名)
  • (2021年10月)清华大学综合优秀奖学金(清华之友——浦口英才二等奖学金)

其他荣誉

  • (2018年11月)清华大学图书馆“读者之星”(全校共 20 名)
  • (2018年12月)清华大学计算机系“酒井之星”(全系共 10 名)
  • (2018年12月)清华大学学生年度人物(全校共 10 名,作为清华大学超算团队成员集体获评)
  • (2019年5月)清华大学计算机系优秀学生干部
  • (2019年5月)清华大学学生科协优秀学生干部标兵
  • (2019年10月)CCF 优秀大学生(全国共 78 名)
  • (2020年1月)谭浩强教育基金会优秀学生(团体)奖(全校个人与团体共计 10 名)
    • 个人获评“优秀学生”奖
    • 作为清华大学学生网络与开源软件协会、清华大学计算机系学生超算团队、清华大学计算机系学生科协、清华大学计算机系程序设计与算法竞赛命题团队成员获评四个“优秀团体”奖
  • (2020年6月)清华大学综合论文训练优秀论文(系内排名:1/9)
  • (2020年6月)清华大学优秀毕业生、北京市优秀毕业生、清华大学计算机系优秀毕业生
  • (2020年10月)清华大学优秀学生干部
  • (2020年10月)清华大学优秀招生志愿者
  • (2020年12月)北京市普通高校优秀本科毕业设计
  • (2021年1月)清华大学第三十一届学生实验室建设贡献奖
    • 实验室机房的智能管理与运维,二等奖(第一作者,其余作者:何家傲、黄可钊,指导教师:韩文弢、翟季冬)
    • 《计算机网络原理》课程融合式实验教学平台,二等奖(第二作者,其余作者:陈嘉杰、刘晓义、高一川、谭闻德,指导教师:郑宁汉、全成斌)
  • (2021年10月)清华大学优秀学生干部

大学生超级计算机竞赛

我作为清华大学超算队成员,参与了下列学生超算(Student Cluster Competition)国际赛事:

  • (2018年11月)SC18,达拉斯,冠军、最高 HPCG(参与训练,非正式队员)
  • (2019年4月)ASC19,大连,亚军(正式队员)
  • (2019年6月)ISC19,法兰克福,亚军(正式队员)
  • (2019年11月)SC19,丹佛,冠军、最高 IO500(正式队员)
  • (2020年6月)ISC20,线上,季军(队长)
  • (2020年11月)SC20,线上,冠军、最高 HPL、最高 HPCG、最高 IO500(指导学生)
  • (2021年5月)ASC20-21,深圳,亚军、最高 HPCG、e-Prize、应用创新奖、团队竞赛冠军(指导学生)
  • (2021年6月)ISC21,线上,冠军、最高 Benchmark(指导学生)
  • (2021年11月)SC21,线上,冠军、最高 IO500(指导学生)

其他科技赛事

  • (2017年8月)第十届全国大学生信息安全竞赛创新实践能力赛,二等奖(清华大学队,队员)
  • (2017年9月)第四届 XCTF 国际网络安全技术对抗联赛,决赛入围(Redbud 队,队员)
  • (2017年11月)“高教社杯”全国大学生数学建模竞赛,一等奖(队友:周聿浩、陈智康)
  • (2018年2月)美国大学生交叉学科数学建模竞赛(ICM),一等奖/优胜奖(Meritorious Winner)(队友:周聿浩、陈智康)
  • (2019年5月)清华大学第 37 届“挑战杯”学生课外学术科技作品竞赛
    • Entropy: 基于 IPv6 前缀转换的多出口负载均衡自组织互联网络二等奖 (合作:陈嘉杰、付祈安、张宗煜)
    • TuLive: 低成本高性能视频直播解决方案三等奖 (合作:高一川、陈嘉杰、张宇翔)
  • (2019年8月)“龙芯杯”第三届全国大学生计算机系统能力培养大赛,特等奖(第一名)(清华大学“编程是一件很危险的事情”队,队友:周聿浩、刘晓义、陈嘉杰)
  • (2020年8月)“华为毕昇杯”2020全国大学生计算机系统能力大赛——编译系统设计赛,一等奖(第二名)(清华大学“编程是一件很危险的事情”队,队友:李晨昊、陈嘉杰)
  • (2020年11月)2020 中国高校计算机大赛(CCCC)移动应用创新赛,全国三等奖、华北赛区一等奖(队友:陈嘉杰、刘晓义,指导教师:党凡、韩文弢)

科研经历

论文发表

  • Yaohua Bu, Weijun Li, Tianyi Ma, Shengqi Chen, Jia Jia, Kun Li, and Xiaobo Lu. 2020. Visual-speech Synthesis of Exaggerated Corrective Feedback. In Proceedings of the 28th ACM International Conference on Multimedia (MM ‘20). Association for Computing Machinery, New York, NY, USA, 4521–4523. DOI: https://doi.org/10.1145/3394171.3414444
  • Zhengyan Zhang, Xu Han, Hao Zhou, Pei Ke, Yuxian Gu, Deming Ye, Yujia Qin, Yusheng Su, Haozhe Ji, Jian Guan, Fanchao Qi, Xiaozhi Wang, Yanan Zheng, Guoyang Zeng, Huanqi Cao, Shengqi Chen, Daixuan Li, Zhenbo Sun, Zhiyuan Liu, Minlie Huang, Wentao Han, Jie Tang, Juanzi Li, Xiaoyan Zhu, Maosong Sun. 2020. CPM: A Large-scale Generative Chinese Pre-trained Language Model. AI Open, Volume 2, 2021. DOI: https://doi.org/10.1016/j.aiopen.2021.07.001
  • Chen Zhang, Chenggang Zhao, Jiaao He, Shengqi Chen, Liyan Zheng, Kezhao Huang, Wentao Han, Jidong Zhai. 2020. Critique of “Computing Planetary Interior Normal Modes with a Highly Parallel Polynomial Filtering Eigensolver’’ by SCC Team from Tsinghua University. IEEE Transactions on Parallel and Distributed Systems (TPDS). DOI: https://doi.ieeecomputersociety.org/10.1109/TPDS.2020.3049025
  • Yaohua Bu, Tianyi Ma, Weijun Li, Hang Zhou, Jia Jia, Shengqi Chen, Kaiyuan Xu, Dachuan Shi, Haozhe Wu, Zhihan Yang, Kun Li, Zhiyong Wu, Yuanchun Shi, Xiaobo Lu, and Ziwei Liu. 2021. PTeacher: a Computer-Aided Personalized Pronunciation Training System with Exaggerated Audio-Visual Corrective Feedback. Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, New York, NY, USA, Article 676, 1–14. DOI: https://doi.org/10.1145/3411764.3445490
  • Guanyu Feng, Zixuan Ma, Daixuan Li, Shengqi Chen, Xiaowei Zhu, Wentao Han, and Wenguang Chen. 2021. RisGraph: A Real-Time Streaming System for Evolving Graphs to Support Sub-millisecond Per-update Analysis at Millions Ops/s. In Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS ‘21). Association for Computing Machinery, New York, NY, USA, 513–527. DOI: https://doi.org/10.1145/3448016.3457263
  • Zhengyan Zhang, Yuxian Gu, Xu Han, Shengqi Chen, Chaojun Xiao, Zhenbo Sun, Yuan Yao, Fanchao Qi, Jian Guan, Pei Ke, Yanzheng Cai, Guoyang Zeng, Zhixing Tan, Zhiyuan Liu, Minlie Huang, Wentao Han, Yang Liu, Xiaoyan Zhu, Maosong Sun. CPM-2: Large-scale Cost-effective Pre-trained Language Models. AI Open, Volume 2, 2021. DOI: https://doi.org/10.1016/j.aiopen.2021.12.003
  • Zixuan Ma, Haojie Wang, Guanyu Feng, Chen Zhang, Lei Xie, Jiaao He, Shengqi Chen, and Jidong Zhai. 2022. Efficiently emulating high-bitwidth computation with low-bitwidth hardware. In Proceedings of the 36th ACM International Conference on Supercomputing (ICS ‘22). Association for Computing Machinery, New York, NY, USA, Article 5, 1–12. DOI: https://doi.org/10.1145/3524059.3532377
  • Guanyu Feng, Huanqi Cao, Xiaowei Zhu, Bowen Yu, Yuanwei Wang, Zixuan Ma, Shengqi Chen, and Wenguang Chen. 2022. TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs. In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association. Carlsbad, CA. https://www.usenix.org/conference/osdi22/presentation/feng

科研项目

  • (2016年11月-2017年2月)HTTPS 性能优化方案研究,清华大学大学生研究训练计划(SRT)(合作:高一川、姚沛然、余欣健,指导老师:刘乃嘉)
    • 研究适用于高流量压力系统的 HTTPS 加速方案,为学校各信息化系统全面转向 HTTPS 提供准备
  • (2018年12月-2019年12月)大规模脑模拟系统,清华大学大学生学术研究推进计划(指导老师:陈文光)
    • 在高性能计算机(如神威·太湖之光)上移植大规模的脉冲神经网络(SNN)计算框架,实现500万核以上规模的神经元模拟
  • (2019年4月-2019年12月)基于国产密码算法的可信通用计算平台,清华大学大学生学术研究推进计划(合作:陈嘉杰、高一川、付祈安,指导老师:党凡)
    • 实现开源的基于国产加密算法的智能卡运行环境,提供可信的通用计算平台

服务经历

学生组织

  • (2017年5月-2019年5月)清华大学计算机系学生科学与技术协会,先后任网络部干事、副主席(分管网络部)
  • (2018年3月-2021年9月)清华大学学生网络与开源软件协会(TUNA协会),会长
  • (2016年9月-至今)清华大学天空工场兴趣团队正式队员,清华大学学生网络安全技术协会正式成员,RedBud CTF 队伍成员
  • (2019年9月-2020年7月)清华大学计算机系,计96小导
  • (2020年3月-2020年6月)校团委信息中心信息化技术组,工作助理(代)
  • (2020年7月-2021年6月)校团委办公室,工作助理(分管信息化工作)

社会实践

  • (2017年8月)第四期“索英·梦之网”光伏微电网公益实践支队
    • 获得2017年清华大学学生社会实践优秀实践奖“流动杯”、2017年清华大学学生社会实践金奖
  • (2018年8月)清华大学“梦想学校”公益实践宜川支队
    • 获得2018年清华大学学生社会实践银奖
  • (2021年7月)六十年的破壁故事——清华学生超算团队青海实践支队
    • 获得2021年清华大学学生社会实践铜奖

竞赛支持

  • (2018年5月、2019年5月)清华大学程序设计竞赛暨高校邀请赛:技术支持,负责网络搭建、在线直播;监考员
  • (2019年1月)清华大学2019年信息学冬季体验营:技术支持,负责网络搭建、环境部署;监考员
  • (2019年5月)清华大学2019年全国优秀中学生信息学体验营:技术支持;监考员
  • (2019年5月)第四届 CCF 大学生计算机系统与程序设计竞赛(CCSP)分区赛:命题人,负责命制第三题
  • (2019年9月)第 17 次 CCF 计算机软件能力(CSP)认证:命题人,负责命制第三题
  • (2019年10月)第四届 CCF 大学生计算机系统与程序设计竞赛(CCSP)决赛:技术支持,负责网络搭建、环境部署;命题人,负责命制第五题
  • (2019年12月)第 18 次 CCF 计算机软件能力(CSP)认证:命题人,负责题目检验与完善
  • (2021年12月)第 20 次 CCF 计算机软件能力(CSP)认证:命题人,负责命制第三题
  • (2021年5月)清华大学计算机系 2021 年“大中衔接”研讨与教学活动:技术支持,负责网络搭建、环境部署

课程助教

  • (2019-2021年秋季学期):计算机网络原理(40240513,主讲教师吴建平、徐明伟):负责软硬件实验平台的设计
  • (2019年秋季学期):软件工程(30240163,主讲教师白晓颖、裴丹):负责计算机组成原理-软件工程联合实验
  • (2019-2022年夏季学期):实验物理的大数据方法(1)(40320832,主讲教师续本达)、实验物理的大数据方法(2)(40320842,主讲教师续本达):负责作业命制、课程项目设计、平台维护
  • (2019-2020年夏季学期):计算科学训练暑期学校(40240945,系内项目):负责课程实验集群运维管理
  • (2020-2021年春季学期):数字逻辑设计(30240353,主讲教师赵有健、全成斌):负责课程实验全过程,指导学生完成项目
  • (2021-2022年春季学期):高性能计算导论(30240192,主讲教师翟季冬):负责课程实验集群运维管理、实验文档编写与审核,参与课件制作
  • (2022年秋季学期):程序设计训练(30240522,主讲教师韩文弢):负责 Rust 课堂的项目设计,参与内容规划
  • (2022年秋季学期):计算思维(00240362,主讲教师李晓明、韩文弢):负责作业批改

其他

项目开发

个人项目

  • Learn Helper:以浏览器插件形式开发的清华大学网络学堂助手,使用 React + MaterialUI + Redux 框架编写。目前约有 2000 位活跃用户。详见 此页面。代码开放于 GitHub
  • thu-learn-lib:使用 TypeScript 编写的清华大学网络学堂解析库,提供机器可读的课程作业、公告、文件等信息。代码开放于 GitHub,库发布于 npm
  • 清华大学学生第二成绩单:基于 NodeJS 实现,记录清华大学本科生的课堂以外的经历与成就。主要负责运维与代码重构,添加少量新功能。目前用户为清华大学全体本科生。此为承接校团委项目,代码不开放,服务地址为 第二成绩单 (需要校内账号使用)。
  • CrowdAI Grader:基于 Flask 框架编写的开源的数据评测平台 CrowdAI 的评分系统(grader)框架,支持多进程并发。代码开放于 GitHub

合作/社区项目

  • DanmaQ:基于 Qt5 的跨平台弹幕客户端,为多个开源社区使用,源码开放于 GitHub
  • BlackLight:Android 微博客户端,源码开放于 GitHub
    • 已停止维护,曾于多个应用商店上架,总下载量超过 100000
  • NFSee:跨平台的 NFC 标签读取工具,内置脚本引擎源码开放于 GitHub
    • 于 Play Store、App Store 上架,是目前公开发布的功能最完整的同类应用
    • 包含两个跨平台支持库 flutter_nfc_kitndef,均获得社区广泛使用

课程项目(按时间顺序排列)

  • sm3-rainbow(数据安全):使用 Rust 编写的 SM3 哈希算法的彩虹表生成、查找,基于 rayon 实现多线程。代码开放于 GitHub
  • TanLabs Speed Tester(高等计算机网络):在 ThinRouter 开发板上使用 Artix-7 FGPA 与 ZYNQ SoC 实现的硬件网络测试仪,用于验证《计算机网络原理》学生路由器实现的正确性、测试性能。代码开放于 GitHub
    • 队友:高一川、何家傲
  • NonTrivialMIPS(专业实践):使用 SystemVerilog 实现的双发射十级动态流水线 MIPS CPU 与完整 SoC 设计(基于龙芯实验箱),可运行 Linux 操作系统。代码开放于 GitHub
    • 队友:周聿浩、刘晓义、陈嘉杰
  • TrivialMIPS(计算机组成原理):使用 SystemVerilog 实现的双发射五级流水线 MIPS CPU 与 SoC 设计(基于 ThinPad 实验板),可运行 uCore 教学操作系统。代码开放于 GitHub
    • 队友:周聿浩
  • FPGA Virtual Console(数字逻辑设计):使用 SystemVerilog 实现的 VT220 兼容的硬件终端(键盘输入、视频输出)。代码开放于 GitHub
    • 队友:周聿浩
  • TrivialTomasulo(计算机系统结构):使用 React + MaterialUI + Redux 编写的纯前端 Tomasulo 乱序执行算法模拟器。代码开放于 GitHub,亦有 在线演示
  • HERMES(存储技术基础):基于 FUSE 使用键值存储引擎作为后端的文件系统,解决传统文件系统文件遍历性能问题。代码开放于 GitHub
    • 队友:陈嘉杰、刘晓义、高健
  • rCore(操作系统):使用 Rust 编写的教学操作系统,兼容 Linux ELF 二进制程序。代码开放于 GitHub
    • 队友:周聿浩(共同完成 rCore 在 MIPS 平台上的移植工作)
    • 编写此项目时,完成了 Rust 语言的 MIPS 底层抽象 rust-mips,已经发布到 crates.io
  • TrivialNews(Java 程序设计):使用 Kotlin 实现的基于 RSS 爬取的 Android 新闻客户端(含 Python 实现的服务器),支持简单的推荐、分享等功能。
  • NaiveIME(人工智能导论):使用 C# 和 .Net Core 的基于 NGram 的拼音输入法。代码开放于 GitHub
  • Connect4(人工智能导论):使用 C++ 实现的基于信心上限树(UCT)的四子棋 AI。代码开放于 GitHub
  • SimpleDB(数据库系统概论):使用 C++ 编写的简单 SQL 数据库。代码开放于 GitHub
  • DraughtsLite(程序设计训练):使用 C++ 和 Qt 编写的网络跳棋。代码开放于 GitHub
  • SudokuLite(程序设计训练):使用 C++ 和 Qt 编写的图形化数独生成与求解器。代码开放于 GitHub