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