2023-11-16讨论班
An Introduction to LLM-based Multi-Agent System.
Agent：一个综合性系统，能够适应定义好的环境，完成相关的任务
- 组件：profile，memory(长期，短期)，planning，action
Multi-Agent：分割功能，更高内聚=>更高的token效率
0%
2023-11-9讨论班
fitness function: 评估测试用例的函数，要不要留下这个种子？
白盒，黑盒，灰盒(观察测试用例的执行，指导下一个，例如通过coverage作为fitness function指导下一次测试用例)
污点流分析
对于黑盒测试来说，可以自定义Coverage空间，用来补充说明自己的实验
2023-10-26讨论班
Posted on
In
组会记录
2023-10-19讨论班
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
复旦校内Ubuntu主机配置：软件、网络
重装操作系统
使用具有PE功能的U盘，例如Ventoy U盘，搭载操作系统镜像文件。在电脑启动时按F2或F12进入BOIS界面，关闭安全启动，从U盘引导系统。Ubuntu安装时可以选择不保留之前的文件。
无线网络配置
参考配置方法 (fudan.edu.cn)连接学校校园网，确认可以访问校外网络。