李程浩

me

LoanCold

Email: loancold@foxmail.com / loancold@outlook.com / loancold@zju.edu.cn

QQ: loancold / 850323576

个人简历


教育经历

浙江大学22级网络空间安全硕士生

导师:申文博 2022.09-2025.03

哈尔滨工业大学(深圳)18级计算机本科生

导师:夏文 2018.09-2022.07

更多荣誉点击此处

诗、想法、人生 (正在尝试接入Notion重构)

进一步了解请点击此处

相关技术领域关键字

系统软件,计算机体系结构,操作系统,Rust语言(含编译器与生态分析)

最近更新时间:2024.03.08

Currently considering using English version as default. Chinese version may not be updated in time.


主要经历

Rust 编译器不稳定特性的发展、生态影响以及缓解措施的全面研究

Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem

软工顶会ICSE(CCF-A)一作一篇,另有顶刊一篇一作在投

2022年3月- 至今

Rust编译器开放不稳定特性给用户,但这会以不稳定的编译器为代价损害生态,我们从各维度分析了它的前因后果,并给出了修复方案。

以下是部分亮点:

论文主页: https://dl.acm.org/doi/10.1145/3597503.3623352

进一步了解请点击此处

基于 Rust 语言的系统搭建、防护与攻击。

2021年11月- 2023年12月

包含三大主题,从不同角度研究了Rust语言所构建的系统的优势与问题。

进一步了解请点击此处

用Rust编写的基于RISC-V64指令集的多核操作系统UltraOS

2020年12月- 2021年9月

项目成员:李程浩(组长)、宫浩辰、任翔宇

UltraOS由rust语言编写,运行于kendryte-K210开发板双核处理器上,支持EXT2与FAT32文件系统. 其获得了2021年全国大学生计算机系统能力培养大赛操作系统内核赛道一等奖(总排名1),三万元奖金。 从其内部架构来说,有以下特征:

进一步了解请点击此处

FPGA上基于双发射处理器的UltraMIPS系统

2020年1月-2020年9月

项目成员:李程浩(组长)、宫浩辰、刘定邦、任翔宇

UltraMIPS系统为MIPS32指令集上,用FPGA开发的计算机系统,包括cpu、触摸屏、显示器、串口等基本设备。 其获得了全国大学生计算机系统能力培养大赛团队赛一等奖(决赛2/31,初赛4/82),一万元奖金。 从其内部架构来说,有以下特征:

进一步了解请点击此处

智能校园信息平台:HITSZ助手

参与时间:2019年3月-2020年9月

热气球团队,创始人:陈冠中(组长)、李程浩(兼产品推广与落地)、金志昊

该项目于 2018年立项并在2019年推广应用,截至2021年1月用户数4200,日活量2500。登录主流应用商店,下载量约20000.

该项目获得了大一立项优秀项目一等奖以及第六届全国青年人工智能创新创业大会创新组一等奖

进一步了解请点击此处


其他经历

All-in-Cloud: Challenges and Future Expectations of AiC

项目成员:李程浩(组长)、潘延麒、何云清

本文章为大二上学期,2019年11月左右,于“学术研究英语”课程要求,同时包括Oral Presentaton和 Poster展示。

该论文为云计算领域的综述,在比较云计算和边缘计算的区别的同时展望云上时代的挑战和机遇,总长约8k字。

进一步了解请点击此处

以最大收益为目标的出租车机场载客与否的线性决策模型

项目成员:李程浩(组长)、王褚重天、徐朕燃

本项目主要研究出租车司机选择决策模型,并根 据深圳宝安国际机场和深圳出租车的情况分析模型的合理性。 同时综合考虑乘车效率和出租车收益,合理安排“上车点”和短途载客“优先权”。

该模型解决的具体问题为:

该模型获得了2019年全国大学生数学建模竞赛全国二等奖

进一步了解请点击此处

基于n-gram的亚马逊特定类别的商品评价模型

项目成员:李程浩(组长)、王褚重天、徐朕燃

为了从亚马逊某类别下商品的评价中提取出用户针对该类商品的评价标准,以及对应的特性,我们提出基于n-gram的相关性模型。 该模型对原评价进行去噪和标准化,再使用n-gram切词,之后将各n取值对应的结果与评论星级进行相关性分析,并进一步拓展,以分析出商品重要特性,解决商品时间维度上预测某商品未来的销量走势等问题。

该模型解决的具体问题为:

该模型获得了2020年美国大学生数学建模竞赛M奖

进一步了解请点击此处

“沙漠掘金”游戏不同情景设定下以最大收益为目标的决策模型

项目成员:李程浩(组长)、王褚重天、徐朕燃

玩家拥有地图,可利用初始资金购买一定数量的水和食物,从起点出发,在 沙漠中行走。游戏目标是在规定时间内到达终点,并保留尽可能多的资金。 本模型试图针对通用和特定情形下给出对应决策。

该模型获得了2020年全国大学生数学建模竞赛全国二等奖

进一步了解请点击此处

HITSZ通知新闻搜索引擎:Naive SE

本项目为大二下学期,2020年7月左右,为“信息检索”课程要求。

The whole project uses library including Lucene, Requests, BeautifulSoup, Tomcat, IKAnalyzer, and Servlet. At first, we use Request (Python) to build crawlers and then split the useful contents to be stored. After that, we use Lucene (JAVA) to perform indexing and querying. To support Chinese indexing and querying, we use IKAnalyzer (JAVA) to help split Chinese words. Then, to achieve website searching user interface, we use Tomcat and Servlet (JAVA) to create a virtual Internet server which enables user to access websites in Browser.

进一步了解请点击此处

MIT xv6 6.S081 2019年实验

独立完成MIT操作系统课程实验1-9,包括Utilities, Shell, Allocator, Lazy Allocation, Copy on-write, Uthread and alarm, Lock, File System, Mmap.

进一步了解请点击此处

计算机网络全协议栈实验

该实验包括VLAN、RIP、NAT配置,以太帧抓包解析以及Socket编程,全协议栈(ETH, ARP, IP, ICMP, UDP)

代码点击此处

湘ICP备2021002933号-1