李程浩
LoanCold
Email: loancold@foxmail.com / loancold@outlook.com / loancold@zju.edu.cn
QQ: loancold / 850323576
个人简历
教育经历
浙江大学22级网络空间安全硕士生
导师:申文博 2022.09-2025.03
- 软件工程领域顶会CCF-A一作一篇
- 2022学年浙江大学优秀研究生和五好优秀研究生称号
哈尔滨工业大学(深圳)18级计算机本科生
导师:夏文 2018.09-2022.07
- 2018-2019与2019-2020学年国家奖学金(2%)
- 2018-2019学年哈尔滨工业大学优秀学生干部标兵(0.1%)
- 2021年全国大学生计算机系统能力培养大赛操作系统内核赛道一等奖(总排名1)
- 2020年“龙芯杯”全国大学生计算机系统能力培养大赛团队赛一等奖(总排名2)
- 第六届全国青年人工智能创新创业大会创新组一等奖
- 2019、2020年全国大学生数学建模竞赛全国二等奖
- 2020年美国大学生数学建模竞赛Meritorious奖
更多荣誉点击此处
Literature, thoughts, and hobby. (Tring to intergrating Notion to refactor.)
进一步了解请点击此处
相关技术领域关键字
系统软件,计算机体系结构,操作系统,Rust语言(含编译器与生态分析)
Last Update: 2024.05.03
Update: Add detailed restaurant reviews in Hobby Section.
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编译器开放不稳定特性给用户,但这会以不稳定的编译器为代价损害生态,我们从各维度分析了它的前因后果,并给出了修复方案。
以下是部分亮点:
- 修改编译器,通过重定向数据流避免编译提前失败以及中途IO操作,提取不稳定特性的发展特性。
- 基于最小生态解析器,结合虚拟解析环境和虚拟解析包构建了自研生态解析器,能够在AlderLake机器上一天解析所有248M传递依赖且实现99%正确率和召回率。
- 基于生态解析,我们发现至多44%生态被不稳定特性影响,至多12%无法编译。通过给Rust包管理器内置不稳定特性预先检测,以及自研修复算法,至多可以修复90%对应无法编译问题。
- 项目的结构采取松耦合,包含11个子项目和12800+纯代码行(截至2024/02),可以用来定制化生态级提取、分析、检测、修复工具。
论文主页:
https://dl.acm.org/doi/10.1145/3597503.3623352
进一步了解请点击此处
基于 Rust 语言的系统搭建、防护与攻击。
2021年11月- 2023年12月
包含三大主题,从不同角度研究了Rust语言所构建的系统的优势与问题。
- 基于 Rust 语言的操作系统驱动安全增强机制的研究(本科毕设):
基于Rust for Linux实现新Rust驱动,并系统性总结了Rust操作系统内核框架的优势与不足,评估了Rust驱动框架的性能并给出了可行优化方法。硕士阶段基于此研究了跨语言安全问题。
- 混合安全语言的新型系统(预研):
一是基于纯安全语言构建安全系统,这包括将硬件(页表、虚拟化架构等)、软件(程序分析、canary等)防护方法直接去除,利用Rust强大的编译器限制与检查机制进行安全性的保证。
二是基于新型安全语言构造新的配套安全系统,这包括新硬件(Rust on CHERI),新框架(Rust for Linux/ WebAssembly)等。
由于新型安全语言的出现,原来的安全系统不必面面俱到,而是可以各司其职,在部署上更方便,性能损耗也能大幅度降低。
- 跨语言交互的安全问题(有检测工具原型):
对于大项目转移到安全语言,逐步迁移是不可避免的中间过程,甚至可能成为常态。因此,跨语言的交互十分重要,它会暴露双方的弱点,造成安全性问题。
从基本的语言模型来说,语言双方可能因为不兼容(数据结构表示不同、内存模型不同等)导致出现问题,出现各种类型的问题(并发、内存威胁等)。
因此,我们设计并实现了对C/C++与Rust交互的ABI检测工具,判断是否与代码层API相同,提前检测出交互错误。
进一步了解请点击此处
用Rust编写的基于RISC-V64指令集的多核操作系统UltraOS
2020年12月- 2021年9月
项目成员:李程浩(组长)、宫浩辰、任翔宇
UltraOS由rust语言编写,运行于kendryte-K210开发板双核处理器上,支持EXT2与FAT32文件系统.
其获得了2021年全国大学生计算机系统能力培养大赛操作系统内核赛道一等奖(总排名1),三万元奖金。
从其内部架构来说,有以下特征:
- Rust语言
- 多核操作系统
- 支持59条系统调用
- 高性能优化:内存弱一致性优化、lazy与CoW、文件系统双文件块缓存等优化等机制
- 信号机制:进程支持进程信号软中断。
- 支持C语言程序和Rust语言用户程序编写和运行(提供回归测试基础)
- FAT32虚拟文件系统
- 混合调试工具:Monitor(结合静态宏打印以及动态gdb特性)
- 详细项目文档、开发过程支持以及理解友好型代码构造和注释
进一步了解请点击此处
FPGA上基于双发射处理器的UltraMIPS系统
2020年1月-2020年9月
项目成员:李程浩(组长)、宫浩辰、刘定邦、任翔宇
UltraMIPS系统为MIPS32指令集上,用FPGA开发的计算机系统,包括cpu、触摸屏、显示器、串口等基本设备。
其获得了全国大学生计算机系统能力培养大赛团队赛一等奖(决赛2/31,初赛4/82),一万元奖金。
从其内部架构来说,有以下特征:
- 顺序双发射处理器
- 支持pmon系统运行
- 六级流水线
- 全流水Cache
- 99.6%DCache命中率
- 90.6%分支预测命中率
- 华莱士树乘法器
- 动态取指
- 系统级外设联动
- 全高清多色彩VGA显示支持
- 触摸屏交互界面
进一步了解请点击此处
智能校园信息平台: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取值对应的结果与评论星级进行相关性分析,并进一步拓展,以分析出商品重要特性,解决商品时间维度上预测某商品未来的销量走势等问题。
该模型解决的具体问题为:
- Based on ratings and reviews, identify data measures that can help the company track
the reputation and the focus of customers’ feedback, once the three products are on
sale.
- Identify time-based measures and patterns within each data set that might suggest that
a product’s reputation is increasing or decreasing.
- Combine text-based measures and rating-based measures to indicate a potentially
successful or failing product.
- Are specific quality descriptors of text-based reviews strongly associated with rating
levels?
该模型获得了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)
代码点击此处