| Date | No | Name | ID | Topic |
Presentation (50%) |
Report (25%) |
Roll Call (25%) |
Final Score |
Grade |
| 1/22 | 1 | 孔昊然 | 225040481 | GPU Communication Systems: Collective Communication Libraries |
72 |
||||
| 2 | 黄嘉铭 | 224040352 | The Hitchhiker's Guide to Operating Systems |
95 |
|||||
| 1/27 | 3 | 张馨元 | 225045037 | End-to-End AI Inference Systems for Real-Time Healthcare |
86 |
||||
| 4 | 彭一凡 | 225040521 | Real-time System Optimization for ROS 2: Scheduling and Communication |
96 |
|||||
| 5 | 齐希贤 | 120090691 | Beyond Algorithms: System-Centric Vector Search Databases |
93 |
|||||
| 1/29 |
6 |
裴承轩 | 225040508 | From Monolith to Modularity: Tracing operation system's Microkernel Journey and Its Performance Trade-offs | |||||
|
7 |
陈张天艺 | 225040511 | From Monolith to Modularity: Tracing Operation System's Microkernel Journey and Its Performance Trade-offs | ||||||
|
8 |
|||||||||
| 2/3 | 9 | 贾钊 | 225040505 | Energy-Efficient Scheduling Strategies for Microservices in Cloud-Native Distributed Systems | |||||
| 10 | 张启航 | 119010434 | When LLMs Become OS Operators: Rethinking Trust and Isolation | ||||||
| 11 | 陈俊颖 | 223040263 | LLM‑Driven Operating System Interfaces and Resource Management for Autonomous Agents | ||||||
| 2/5 | 12 | 王梓鉴 | 225040519 | Resilience and Tiered Memory in Large-Scale Distributed Training | |||||
| 13 | 庞威 | 225040490 | Scheduling Deep Learning on GPU Clusters | ||||||
| 14 | 陈启旭 | 120090643 | Data-driven approaches for resource prediction and performance control in large-scale cloud platforms | ||||||
| 3/3 | 15 | 吴彦琛 | 225045011 | Memory OS of AI Agent": a memory operating system that treats memory as a manageable system resource | |||||
| 16 | 毛宇 | 118010224 | Data-Driven Predictive Control for Cloud Resource Management | ||||||
| 17 | 陈一泽 | 223040004 | |||||||
| 3/5 | 18 | 周炫宁 | 225045030 | Breaking the Memory Wall: FlashAttention and the Philosophy of IO-Aware Systems | |||||
| 19 | 张文谦 | 225040483 | Language Model as OS | ||||||
| 20 | 李辉 | 224040351 | Profile-Guided Optimization for Various Applications (OS kernel and data warehouse) | ||||||
| 3/10 | 21 | 刘政成 | 225045040 | Multi-agent system for data analysis | |||||
| 22 | 伍睿祥 | 121090621 | OS-Copilot: Towards Generalist Computer Agents with Self-Improvement, MemGPT: Towards LLMs as Operating Systems, AIOS: LLM Agent Operating System | ||||||
| 23 | 颜小川 | 225045041 | Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC | ||||||
| 3/12 | 24 | 朱江涛 | 225045043 | Problem Solved? Information Extraction Design Space for Layout-Rich Documents Using Large Language Models | |||||
| 25 | 沈宇昊 | 225045038 | |||||||
| 26 | 刘相逢 | 225045016 | Efficient Serving of LLM-based Applications with Semantic Variable | ||||||
| 3/17 | 27 | 武子航 | 225045032 | Flash Attention: Fast and Memory-Efficient Exact Attention with IO-Awareness | |||||
| 28 | 葛文韬 | 119010080 | ZeRO: Memory Optimizations Toward Training Trillion Parameter Models | ||||||
| 29 | 倪钦科 | 225045036 | GPU Virtualization and Scheduling Strategies for Low-Latency Speech Inference | ||||||
| 3/19 | 30 | 刘燕雯 | 225040486 | Memory Management and Scheduling for Intermittent Agent Workflows | |||||
| 31 | 卢启晟 | 225040482 | |||||||
| 32 | 黄艺 | 225040495 | |||||||
| 3/24 | 33 | 王慧中 | 224045005 | ||||||
| 34 | 王星宇 | 225040497 | Agent system failure pattern | ||||||
| 35 | 谢祉禹 | 225045022 | OS Agents: MLLM-based Agents for General Computing Devices Use | ||||||
| 3/26 | 36 | 廖欢 | 225040515 | System Optimizations for Real-Time Streaming Speech Dialogue | |||||
| 37 | 周山松 | 225045010 | |||||||
| 38 | 林诗佩 | 225045017 | Operating System Abstractions for LLM Agents: A Case Study on Text2SQL | ||||||
| 3/31 | 39 | 房子皓 | 120090326 | ||||||
| 40 | 李铖 | 225040518 | |||||||
| 41 | 谭峙轩 | 225040506 | |||||||
| 4/2 | 42 | 刘舒雯 | 225040513 | Enabling Efficient and Secure Cloud Execution: From Secure Containers to Confidential AI | |||||
| 43 | 刘恒睿 | 120090609 | High-Performance Systems for AI-Driven Genomics: From OS-Inspired Memory Management to Hardware Acceleration | ||||||
| 44 | 谢缘 | 224040374 | KV Cache Management for Efficient LLM Serving | ||||||
| 4/7 | 45 | 王曼仪 | 225045034 | lm for code, code agent, swe-bench (benchmark for software engineering tasks) | |||||
| 46 | 王楚娇 | 224045007 | |||||||
| 47 | 景翀 | 225045026 | |||||||
| 4/9 | 48 | 郑博文 | 225040500 | ||||||
| 49 | 戴世成 | 225040523 | Operating System Support for Large-Scale Graph Learning | ||||||
| 50 | 陈骏安 | 225040494 | Distributed Architectures for Large-Scale Deep Learning Training | ||||||
| 4/14 | 51 | 吴冠宗 | 224045015 | ||||||
| 52 | 张书源 | 225040535 | From Docker to Kubernetes: A History of Container Management | ||||||
| 53 | Juan Albert Wibowo | 121040001 | Beyond the Kernel: Operating System Abstractions for Hybrid Agent Orchestration and Privacy-Preserving Dispatch | ||||||
| 4/16 | 54 | 李京桥 | 225040517 | Efficient Parallel Decomposition of Dense Subgraphs in Large-scale Graphs | |||||
| 55 | 赵嘉沐 | 225040485 | Next-Generation Serverless Computing Platforms: System Design and Runtime Support | ||||||
| 56 | 张书纶 | 225045020 | LLM agent memory system | ||||||
| 4/21 | 57 | 程童桐 | 225045013 | ||||||
| 58 | 高治淇 | 225045007 | Window Management at the Boundary of HCI and Operating Systems | ||||||
| 59 | 朱桐 | 225040538 | OS-inspired LLM systems, such as paging file system for LLM for context management and memory and syscall for LLM for safe function calling | ||||||
| 4/23 | 60 | 李新航 | 225045039 | Processes vs. Threads: Optimizing Large-Scale Audio Data Processing | |||||
| 61 | 田语欣 | 225040478 | |||||||
| 62 | 郑伊豪 | 225040496 | |||||||
| 4/28 | 63 | 谢波涛 | 225045044 | CXL-Enabled Memory Pooling: Redefining Memory Management in Distributed Systems | |||||
| 64 | 王瑞翔 | 225040514 | |||||||
| 65 | 王匡 | 224040348 | |||||||
| 4/30 | 66 | 罗娅妮 | 225045025 | From Paging to NUMA-aware and Memory Disaggregation | |||||
| 67 | 李煜东 | 225040501 | |||||||
| 68 | 李廷汉 | 225045006 | Operation of Graph Database Management Systems: Testing, Localization, and Repair | ||||||
| 5/5 | 69 | 胥瑶瑶 | 224040357 | ||||||
| 70 | 梁广浩 | 222041034 |