No

Date	No	Name	ID	Topic	Presentation （50%）	Report（25%）		Roll Call （25%）	Final Score	Grade
Date	No	Name	ID	Topic	Presentation （50%）	PDF	Score	Roll Call （25%）	Final Score	Grade
1/22	1	孔昊然	225040481	GPU Communication Systems: Collective Communication Libraries	82			40
1/22	2	黄嘉铭	224040352	Research on Automated Code and Test Assertion Generation with LLMs	95	Report	95	5	72.5
1/27	3	张馨元	225045037	End-to-End AI Inference Systems for Real-Time Healthcare	86			65
	4	彭一凡	225040521	Real-time System Optimization for ROS 2: Scheduling and Communication	96	Report	96	100	97
	5	齐希贤	120090691	Beyond Algorithms: Hardware-Constrained Data Systems from Storage to Search	93	Report	90	90	91.5
1/29	6	裴承轩	225040508	PD-Disaggregation in Large Language Models	92	Report	95	100	94.75
1/29	7	陈张天艺	225040511	Tracing Operation System's Microkernel Journey and Its Performance Trade-offs	95	Report	96	100	96.5
2/3	8	贾钊	225040505	Efficient Scheduling in Distributed OS	88	Report	95	100	92.75
	9	张启航	119010434	When LLMs Become OS Operators: Rethinking Trust and Isolation	92			80
	10	陈俊颖	223040263	Evolution of Medical LLM Training Systems	94			100
2/5	11	庞威	225040490	Scheduling Deep Learning on GPU Clusters	98	Report	95	100	97.75
2/5	12	陈启旭	120090643	Elastic Resource Provisioning in Cloud Platforms via Workload Prediction and Performance Modeling	90			100
3/5
3/5	13	毛宇	118010224	Data-Driven Control for Cloud Resource	95			95
3/10
	14	张文谦	225040483	From OS to Agentic OS	91	Report	95	95	93
	15	李辉	224040351	Profile-Guided Optimization for For Linux Kernel in Data Center	94	Report	95	95	94.5
3/12
	16	周炫宁	225045030	Breaking the Memory Wall: FlashAttention and the Philosophy of IO-Aware Systems	93			100
	17	颜小川	225045041	From Hoare Logic to LLMs: Formal Verification and Generation of File Systems	95	Report	85	90	91.25
3/17
	18	沈宇昊	225045038	From OS Paging to PagedAttention: Memory Management in Large Multimodal Models	92	Report	88	80	88
	19	张书纶	225045020	LLM Routing: From Query-Level Model Selection to Agentic Multi-Round Routing	95	Report	96	100	96.5
3/19
	20	葛文韬	119010080	Memory-Efficient Large Model Training: From ZeRo to ZeRO-Infinity	95			100
	21	倪钦科	225045036	A Layered GPU Scheduling Architecture for Iterative Generative Workloads	90	Report	95	90	91.25
3/24	22	廖欢	225040515	Spoken Dialogue Systems as Systems : Programming → Scheduling → Runtime	96	Report	94	80	91.5
3/26
	23	房子皓	120090326	The Breakthrough Journey of Streaming Real-Time Speech Generation	92			40
	24	谭峙轩	225040506	The Evolution of AI Agents: From Memory Architecture to Self-Improving Agents	96	Report	94	100	96.5
3/31	25	谢缘	224040374	Memory Management for LLM-Based Agents: An OS-Inspired Perspective on Agent Memory	92	Report	94	100	94.5
3/31	26	卢启晟	225040482	3D Human Motion Capture and Generation	93			5
4/2	27	王曼仪	225045034	From Benchmark to Agents: How SWE-bench Advanced LLM4Code	94			100
4/2	28	王楚娇	224045007	System Design for Large-Scale Reinforcement Learning Workloads	92			55
4/7	29	戴世成	225040523	Operating System Support for Large-Scale Graph Learning	97	Report	93	70	89.25
4/7	30	陈骏安	225040494	The Evolution of Distributed LLM Training Systems	95	Report	95	100	96.25
4/9	31	吴冠宗	224045015	System-Level Isolation for LLM Agent Safety	96			100
4/9	32	Juan Albert Wibowo	121040001	Securing Agent-Tool Interactions: A System-Level Approach	96			85
4/14	33	朱桐	225040538	Execution-Grounded LLM Coding Agents: From Code Generation to Autonomous Software Engineering	96	Report	92	100	96
4/14	34	张书源	225040535	From Docker to Kubernetes: A History of Container Management	96	Report	90	100	95.5
4/16	35	郑博文	225040500	GPU Memory Optimization : Tiling and Recomputation in Modern Deep Learning Systems	92	Report	96	5	71.25
4/16	36	李铖	225040518	From MicroVMs to Userspace Microkernels: Rethinking Isolation Boundaries in Cloud-Native Systems	96	Report	93	75	90
4/21	37	刘效源	120040051	Autonomous Agent Systems for Discovery and Engineering	95			100
4/21	38	王匡	224040348	Branch Prediction Meets Token Prediction: OS Speculation Principles in Modern LLM Inference	85			5
4/23	39	李煜东	225040501	Mitigating System Latency in Streaming Voice Conversion: An OS-Level Perspective	88	Report	85	5	66.5
4/23	40	胥瑶瑶	224040357	Computer-Use Agents in Real Operating System - From Agent Frameworks, to Open Foundations, to Tool-Augmented Evaluation	85			5
4/28	41	谢波涛	225045044	From Storage to Intelligence: The Evolution of Agent Memory Management	96	Report	95	100	96.75
4/28	42	王瑞翔	225040514	Scheduling Asynchronous Inference in Robotic Systems : From Action Chunking to Real-Time VLA Execution	85	Report	92	85	86.75