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

PPT

A

3 10/15 刘毓昊 224040365 Survey on Synthetic Benchmarks in Compilers

PPT

A

4 10/17 李昌跃 224040358 Serverless: Making Your Computing Quantifiable

PPT

A-

5 10/22 钟智庆 223040261 Towards Ensuring Cloud Reliability Through Different Objectives

PPT

A

6 10/24 李默程 224040369 Vector Databases: Algorithms, Systems and Future

PPT

A-

7 10/29 王熙栋 223040239 Operating System And Artificial Intelligence

PPT

A-

8 10/31 王 烨 224040362 System Optimization for Large Language Model

PPT

A

9 11/05 张 悦 223040247 Systems for Scalable Graph Analytics and Machine Learning

PPT

A

10 11/07 方澳阳 222010547 Root Cause Analysis for Distributed Systems

PPT

A
11 11/12 台运鹏 224045016 Advance in Efficient Large Language Models Serving Systems

PPT

A
12 11/14 朱周睿星 222010522 Serverless Architecture in Modern Distributed Systems

PPT

A
13 11/19 王韬涛 223045003 GNN (Graph Neural Network) Training System

PPT

A
14 11/21 汪梁森 224040364 Design and Application of Custom Extensions for RISC-V ISA

PPT

 
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