Personal items left after class
|
After our class was over today, I found earbuds and sweater in the classroom. I left the sweater in the classroom (since I wasn't sure whether it belongs to one of yours). I did take the earbuds, and I will hand them to the superintendent at floor 0 tomorrow. |
| פורסם ב-23/11/2025, 21:29:23 Created on 23/11/2025, 21:29:23 Создано23/11/2025, 21:29:23 تم النشر ب-23/11/2025, 21:29:23 |
Presentation Feedback Form 23/11
|
Please fill in by Friday 28/11 12:00: https://forms.office.com/r/8S2Y3TvnzG |
| פורסם ב-23/11/2025, 13:21:43 Created on 23/11/2025, 13:21:43 Создано23/11/2025, 13:21:43 تم النشر ب-23/11/2025, 13:21:43 |
S2 and S3 Presentations are now available
| Presentation from the first 3 sessions are now available in "Course Material". |
| פורסם ב-17/11/2025, 12:39:06 Created on 17/11/2025, 12:39:06 Создано17/11/2025, 12:39:06 تم النشر ب-17/11/2025, 12:39:06 |
Presentation Feedback Form 16/11
|
Please fill https://forms.office.com/r/CExdaQ40a8 until Friday 12:00. |
| פורסם ב-16/11/2025, 17:13:53 Created on 16/11/2025, 17:13:53 Создано16/11/2025, 17:13:53 تم النشر ب-16/11/2025, 17:13:53 |
Course Registration for *Graduate* Students
|
This is a reminder for graduate students that they need to complete their registration to the course themselves following the usual procedure. (Undergraduate students are registered by the course stuff, and no further action on their behalf is needed) |
| פורסם ב-12/11/2025, 09:55:42 Created on 12/11/2025, 09:55:42 Создано12/11/2025, 09:55:42 تم النشر ب-12/11/2025, 09:55:42 |
Presentation Feedback Form 9/11
|
Please feel in the form https://forms.office.com/r/hTwiS2B4D0 by Friday 14/11 at 12pm . |
| פורסם ב-9/11/2025, 17:02:07 Created on 9/11/2025, 17:02:07 Создано9/11/2025, 17:02:07 تم النشر ب-9/11/2025, 17:02:07 |
Presentation Assignments
|
Below you will find the planned schedule. The lowest presentation score anyone got assigned is 3. Session 3: Advanced Memory Management Techniques (16/11/2025): H. Horen - Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator [OSDI'21] O. Fuchs - Contiguitas: The Pursuit of Physical Memory Contiguity in Datacenters [ISCA'23] Session 4: CXL Memory Pooling: Perspectives and Debates (23/11/2025): T. Seroussi - Pond: CXL-Based Memory Pooling Systems for Cloud Platform [ASPLOS'23] B. Hechler - A Case Against CXL Memory Pooling [HotNets'23] Session 5: Persistent Memory File Systems (30/11/2025): T. Kalisman - CrossFS: A Cross-layered Direct-Access File System [OSDI'20] M. Zahalka - WineFS: a hugepage-aware file system for persistent memory that ages gracefully [SOSP'21] Session 6: Performance Optimization in Modern Systems (7/12/2025): S. Zucker - Harvesting Memory-bound CPU Stall Cycles in Software with MSH [OSDI'24] L. Absawy - Making Kernel Bypass Practical for the Cloud with Junction [NSDI'24] Session 7: eBPF: Verification and Applications (14/12/2025): Y. Reicher - Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel [OSDI'20] R. Velitsky - XRP: In-Kernel Storage Functions with eBPF [OSDI'22] Session 8: Specialized Operating System Designs (21/12/2025): E. Shouh - Unikernel Linux (UKL) [EuroSys'23] H. Zevi - DBOS: three years later [VLDB Journal '25)] Session 9: OS Structure and State Management (28/12/2025): G. Granot - Theseus: an Experiment in Operating System Structure and State Management [OSDI'20] L. Zelikman - RedLeaf: Isolation and Communication in a Safe Operating System [OSDI'20] Session 10: System Verification (4/1/2026): D. Rifkind - Hyperkernel: Push-Button Verification of an OS Kernel [SOSP'17] S. Raviv - Ironclad Apps: End-to-End Security via Automated Full-System Verification [OSDI'14] Session 11: Memory Models and Reclamation (11/1/2026): D. Zalman - Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting [PLDI'22] R. Tiefenbrunn - Repairing Sequential Consistency in C/C++11 [PLDI'17] Session 12: Hardware Security and Side-Channel Attacks (18/1/2026): R. Levi - Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks [SP'26] A. Malach - Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest [SP'22] Session 13: Trusted Execution Environments and Their Vulnerabilities (25/1/2026): N. Fostick - VC3: Trustworthy data analytics in the cloud using SGX [SP'15] S. Kvetny - High-Resolution Side Channels for Untrusted Operating Systems [ATC'17] |
| עדכון אחרון ב-7/11/2025, 16:05:07 Last updated on 7/11/2025, 16:05:07 Последняя модификация7/11/2025, 16:05:07 تمت الحتلنة الأخيرة ب-7/11/2025, 16:05:07 |
DBOS Paper Change/Update
|
For the record: I replaced the DBOS paper that we had on our schedule with "DBOS: three years later" [VLDB Journal '25] (it is essentially the same subject). |
| עדכון אחרון ב-7/11/2025, 09:49:48 Last updated on 7/11/2025, 09:49:48 Последняя модификация7/11/2025, 09:49:48 تمت الحتلنة الأخيرة ب-7/11/2025, 09:49:48 |
Extension of Presentation Preferences Deadline
| The deadline for filling in your presentation preferences has been extended to Friday (7/11) at 14:00. |
| עדכון אחרון ב-6/11/2025, 11:33:58 Last updated on 6/11/2025, 11:33:58 Последняя модификация6/11/2025, 11:33:58 تمت الحتلنة الأخيرة ب-6/11/2025, 11:33:58 |
Presentation guides uploaded
| You will find the presentation guidelines uploaded to the course website (as presented in the first session). |
| פורסם ב-6/11/2025, 00:16:15 Created on 6/11/2025, 00:16:15 Создано6/11/2025, 00:16:15 تم النشر ب-6/11/2025, 00:16:15 |
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] Making Kernel Bypass Practical for the Cloud with Junction [NSDI'24] 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: three years later [VLDB Journal '25] 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] |
| עדכון אחרון ב-7/11/2025, 09:52:22 Last updated on 7/11/2025, 09:52:22 Последняя модификация7/11/2025, 09:52:22 تمت الحتلنة الأخيرة ب-7/11/2025, 09:52:22 |