Filling in presentation preference | |
|
All students who attended the first session would be enrolled (including those who were in reserve duty). Please fill in your presentation preferences in https://forms.office.com/r/39503E7a2c until Thursday 6/11 at 23:59. Note that "Snap: a Microkernel Approach to Host Networking [SOSP'19]" was replaced with "Making Kernel Bypass Practical for the Cloud with Junction [NSDI'24]" (7/12/2025) |
| עדכון אחרון ב-3/11/2025, 16:42:52 Last updated on 3/11/2025, 16:42:52 Последняя модификация3/11/2025, 16:42:52 تمت الحتلنة الأخيرة ب-3/11/2025, 16:42:52 |
Late registration or graduate students | |
|
Graduate students who registered to the course late - we would do the best to accept you to the course. I might have not replied as I am looking for a solution as for how to do so, according on the number of students who actually attend the seminar. We would consider an extra session to allow more presentations if necessary. Please arrive on Sunday to the first session. |
| פורסם ב-30/10/2025, 13:49:32 Created on 30/10/2025, 13:49:32 Создано30/10/2025, 13:49:32 تم النشر ب-30/10/2025, 13:49:32 |
Presentation on the 2nd week of the seminar - Taken | |
|
Thanks for the quick response - it has been assigned and no longer relevant. |
| פורסם ב-29/10/2025, 09:20:55 Created on 29/10/2025, 09:20:55 Создано29/10/2025, 09:20:55 تم النشر ب-29/10/2025, 09:20:55 |
Presentation on the 2nd week of the seminar | |
|
I am looking for a student - preferably a graduate student - to present "Efficient Memory Management for Large Language Model Serving with PagedAttention" [SOSP’23] on the second week of the seminar. Any chance you would be interested? I would be considerate of the fact it is the first presentation session, of course. Please let me know if you are interested by email. |
| פורסם ב-29/10/2025, 09:12:33 Created on 29/10/2025, 09:12:33 Создано29/10/2025, 09:12:33 تم النشر ب-29/10/2025, 09:12:33 |
Welcome | |
|
Welcome to OS Seminar 236005. To allow graduate students to register, preliminary admission decisions will be sent next week. As students tend to cancel their registration late (though this is strongly discouraged), some of you will be given "standby" status. Those on standby will receive a final decision about their registration after the first session. Tentative schedule: Session 1: Introduction by Lecturer Session 2: LLM Memory Management Efficient Memory Management for Large Language Model Serving with PagedAttention [SOSP'23] vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention [ASPLOS'25] Session 3: Advanced Memory Management Techniques Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator [OSDI'21] Contiguitas: The Pursuit of Physical Memory Contiguity in Datacenters [ISCA'23] Session 4: CXL Memory Pooling: Perspectives and Debates Pond: CXL-Based Memory Pooling Systems for Cloud Platform [ASPLOS'23] A Case Against CXL Memory Pooling [HotNets'23] Session 5: Persistent Memory File Systems CrossFS: A Cross-layered Direct-Access File System [OSDI'20] WineFS: a hugepage-aware file system for persistent memory that ages gracefully [SOSP'21] Session 6: Performance Optimization in Modern Systems Harvesting Memory-bound CPU Stall Cycles in Software with MSH [OSDI'24] Snap: a Microkernel Approach to Host Networking [SOSP'19] Session 7: eBPF: Verification and Applications Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel [OSDI'20] XRP: In-Kernel Storage Functions with eBPF [OSDI'22] Session 8: Specialized Operating System Designs Unikernel Linux (UKL) [EuroSys'23] DBOS: A DBMS-oriented Operating System [VLDB'21] and A Progress Report on DBOS: A Database-oriented Operating System [CIDR'22] Session 9: OS Structure and State Management Theseus: an Experiment in Operating System Structure and State Management [OSDI'20] RedLeaf: Isolation and Communication in a Safe Operating System [OSDI'20] Session 10: System Verification Hyperkernel: Push-Button Verification of an OS Kernel [SOSP'17] Ironclad Apps: End-to-End Security via Automated Full-System Verification [OSDI'14] Session 11: Memory Models and Reclamation Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting [PLDI'22] Repairing Sequential Consistency in C/C++11 [PLDI'17] Session 12: Hardware Security and Side-Channel Attacks Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks [SP'26] Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest [SP'22] Session 13: Trusted Execution Environments and Their Vulnerabilities VC3: Trustworthy data analytics in the cloud using SGX [IEEE S&P 2015] High-Resolution Side Channels for Untrusted Operating Systems [ATC'17] |
| עדכון אחרון ב-16/10/2025, 14:56:05 Last updated on 16/10/2025, 14:56:05 Последняя модификация16/10/2025, 14:56:05 تمت الحتلنة الأخيرة ب-16/10/2025, 14:56:05 |