No | Date | Name | ID | Topic | Slides | Grade |
1 | 10/08 | 陈泳廷 | 222010548 | Formal Methods for Trustworthy Network Verification | PPT |
A- |
2 | 10/10 | 蔡子闻 | 224045017 | Imitation Attacks: Extracting and Exploiting Model Capabilities |
A |
|
3 | 10/15 | 刘毓昊 | 224040365 | Survey on Synthetic Benchmarks in Compilers |
A |
|
4 | 10/17 | 李昌跃 | 224040358 | Serverless: Making Your Computing Quantifiable |
A- |
|
5 | 10/22 | 钟智庆 | 223040261 | Towards Ensuring Cloud Reliability Through Different Objectives |
A |
|
6 | 10/24 | 李默程 | 224040369 | Vector Databases: Algorithms, Systems and Future |
A- |
|
7 | 10/29 | 王熙栋 | 223040239 | Operating System And Artificial Intelligence |
A- |
|
8 | 10/31 | 王 烨 | 224040362 | System Optimization for Large Language Model |
A |
|
9 | 11/05 | 张 悦 | 223040247 | Systems for Scalable Graph Analytics and Machine Learning |
A |
|
10 | 11/07 | 方澳阳 | 222010547 | Root Cause Analysis for Distributed Systems | A | |
11 | 11/12 | 台运鹏 | 224045016 | Advance in Efficient Large Language Models Serving Systems | A | |
12 | 11/14 | 朱周睿星 | 222010522 | Serverless Architecture in Modern Distributed Systems | A | |
13 | 11/19 | 王韬涛 | 223045003 | GNN (Graph Neural Network) Training System | A | |
14 | 11/21 | 汪梁森 | 224040364 | Design and Application of Custom Extensions for RISC-V ISA | ||
15 | 11/26 | 王 澍 | 223040238 | Synergy Between LLM and OS: Enhancing Functionality and Innovation | ||
16 | 11/28 | 梁雨阳 | 119010174 | Security and Privacy in Operating Systems for Machine Learning Pipelines | ||
17 | 12/03 | 徐昱玮 | 224040360 | Scale Up Graph Storage in GNN Training with Cache |