Calvin Cui

fitness function: 评估测试用例的函数，要不要留下这个种子？

白盒，黑盒，灰盒(观察测试用例的执行，指导下一个，例如通过coverage作为fitness function指导下一次测试用例)

污点流分析

对于黑盒测试来说，可以自定义Coverage空间，用来补充说明自己的实验

当代CPU微架构简介

指令级是微架构无关的，微架构在CPU内部

流水线有性能瓶颈

• 拆得太细利用率低【bubble】

Fuzzing Deep Learning Compilers with HirGen (ISSTA’23)

Deep Learning Compiler：

source -> high level IR -> low level IR -> CPU和GPU之指令

先fuzz出一个计算图(coverage guidence)，如果HIR没问题，跑着看看oracle

重装操作系统

使用具有PE功能的U盘，例如Ventoy U盘，搭载操作系统镜像文件。在电脑启动时按F2或F12进入BOIS界面，关闭安全启动，从U盘引导系统。Ubuntu安装时可以选择不保留之前的文件。

无线网络配置

参考配置方法 (fudan.edu.cn)连接学校校园网，确认可以访问校外网络。

操作系统：Win11

参考资料：

• windows配置Haskell+VSCode开发环境（2022.8）_ghcup 镜像_SevenBerry的博客-CSDN博客
• GHCup 源使用帮助 — USTC Mirror Help 文档

我们使用GHCup这样一个工具来帮助我们安装Haskell工具链，由于默认下载源在境外网站，因此国内用户需要使用镜像站来加快下载的速度。