No Date Name ID Topic

Presentation

(50%)

Grade

Report

(25%)

Grade

Roll Call

(25%)

Final

Grade

1 10/08 陈泳廷 222010548

Formal Methods for Trustworthy Network Verification

PPT A- Report A C B+
2 10/10 蔡子闻 224045017

Imitation Attacks: Extracting and Exploiting Model Capabilities

PPT

A

Report A A A
3 10/15 刘毓昊 224040365

Heterogeneous System for LLM Inference Acceleration

PPT

A

Report A A A
4 10/17 李昌跃 224040358

Serverless: Making Your Computing Quantifiable

PPT

A-

Report A A A
5 10/22 钟智庆 223040261

Towards Ensuring Cloud Reliability Through Different Objectives

PPT

A

Report A A A
6 10/24 李默程 224040369

Vector Databases: Algorithms, Systems and Future

PPT

A-

Report A A A
7 10/29 王熙栋 223040239

Operating System And Artificial Intelligence:A Systematic Review

PPT

A-

Report A D B
8 10/31 王 烨 224040362 Disaggregating Prefill and Decoding: A System Optimization Approach for Large Language Model Serving

PPT

A

Report A A A
9 11/05 张 悦 223040247

Systems for Scalable Graph Analytics and Machine Learning

PPT

A

Report A A A
10 11/07 方澳阳 222010547

Root Cause Analysis for Distributed Systems

PPT

A Report A A A
11 11/12 台运鹏 224045016

Advance in Efficient Large Language Models Serving Systems

PPT

A Report A A A
12 11/14 朱周睿星 222010522

Towards Optimizing Performance-Resource Trade-Off for Serverless Functions

PPT

A Report A B A-
13 11/19 王韬涛 223045003 GNN Training Systems on Large Graphs:Optimization Strategies for Mini-batch Training

PPT

A Report A A A
14 11/21 汪梁森 224040364

Hybrid Accelerator for GCN Inference

PPT

A Report A A A
15 11/26 王 澍 223040238 Graph RAG: Efficient and Powerful LLM Enhancement Systems

PPT

A Report A A A
16 11/28 梁雨阳 119010174 Scaling Graph Neural Networks: Innovations in Distributed and Decentralized Training for Billion-Scale Graphs

PPT

A+ Report A A A
17 12/03 徐昱玮 224040360 SSD-enabled Graph Neural Network Training on a Single Machine via In-memory Caching

PPT

A Report A A A