Presentations Uploaded | |
The presentations from today's session were uploaded, if you need them to fill in your feedback. The presentation from the first session on how to prepare a presentation was uploaded as well. |
פורסם ב-17/11/2024, 21:43:41 Created on 17/11/2024, 21:43:41 Создано17/11/2024, 21:43:41 تم النشر ب-17/11/2024, 21:43:41 |
Presentation Feedback Form 17/11 | |
Please fill in the presentation feedback from until Thursday 8am. The link would open after the class is over. Link: https://forms.office.com/r/NmVaKCpmrE Reminder that this is considered for your class participation score. |
פורסם ב-17/11/2024, 17:17:30 Created on 17/11/2024, 17:17:30 Создано17/11/2024, 17:17:30 تم النشر ب-17/11/2024, 17:17:30 |
Presentation Schedule 17/11 | |
Just to avoid any misunderstandings: there is a class today, in which we will two papers about machine learning would be presented. - Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents [OSDI'24] - VELTAIR: towards high-performance multi-tenant deep learning services via adaptive compilation and scheduling [ASPLOS'22] [ These were not included in the presentation preferences since they were scheduled before the semester started to allow the students sufficient preparation time ] See you at room 201! |
פורסם ב-17/11/2024, 09:24:13 Created on 17/11/2024, 09:24:13 Создано17/11/2024, 09:24:13 تم النشر ب-17/11/2024, 09:24:13 |
Presentation Schedule | |
## November 24, 2024 - "New" OS 1. Careen Matar - *Unikernels: Library Operating Systems for the Cloud* [ASPLOS'13] 2. Omer Daube - *DBOS: A DBMS-oriented Operating System* [VLDB'21] - *A Progress Report on DBOS: A Database-oriented Operating System* [CIDR'22] ## December 1, 2024 - Containers/VMs 1. Tom Ostfeld - *Blending Containers and Virtual Machines: A Study of Firecracker and gVisor* [VEE'20] 2. Michael Blum - *gVisor optimizations: Optimizing seccomp usage in gVisor; Releasing Systrap - A high-performance gVisor platform* ## December 8, 2024 - Memory Management 1. Adan Sarhan - *Thermostat: Application-transparent Page Management for Two-tiered Main Memory* [ASPLOS'17] 2. Rami Abu-Much - *FBMM: Making Memory Management Extensible With Filesystems* [ATC'24] ## December 15, 2024 - CXL 1. Shada Darawshi - *Pond: CXL-Based Memory Pooling Systems for Cloud Platform* [ASPLOS'23] 2. Shira Gahtan - *A Case Against CXL Memory Pooling* [HotNets'23] ## December 22, 2024 - Low Latency 1. Omar Garah - *Harvesting Memory-bound CPU Stall Cycles in Software with MSH* [OSDI'24] 2. Yasmin Mitkal - *Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices* [ASPLOS'21] ## January 5, 2025 - Safety 1. Tal-Nave Nisan-Cohen - *seL4: Formal Verification of an OS Kernel* [SOSP'09] 2. Oren Hecht - *An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise* [ATC'24] ## January 12, 2025 - eBPF Use-cases 1. Ameer Khalaily - *Syrup: User-Defined Scheduling Across the Stack* [SOSP'21] 2. Amal Kassem - *PET: Prevent Discovered Errors from Being Triggered in the Linux Kernel* [Usenix Security 2023] ## January 19, 2025 - Hardware 1. Basel Salameh - *Processing-in-memory: A workload-driven perspective* [IBM Journal, 2019] 2. Amir Watted - *Reconfigurable Virtual Memory for FPGA-Driven I/O* [ASPLOS'23] ## January 26, 2025 - File Systems 1. Mohammad-Baraa Agbariya - *EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices* [ATC'19] 2. Aya Yunis - *NOVA: A log-structured file system for hybrid Volatile/Non-volatile main memories* [FAST'16] ## February 2, 2025 - Speculative Execution Data Leaks 1. Yuval Carmelli - *Uncovering and Exploiting AMD Speculative Memory Access Predictors for Fun and Profit* [HPCA'24] 2. Tomer Cory - *Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest* [SP'22] |
עדכון אחרון ב-15/11/2024, 15:46:16 Last updated on 15/11/2024, 15:46:16 Последняя модификация15/11/2024, 15:46:16 تمت الحتلنة الأخيرة ب-15/11/2024, 15:46:16 |
Presentation Preferences | |
Please fill in your presentation preferences at https://forms.office.com/r/4TBQnCmtSH . You can fill the form until Thursday 14-Nov at 8PM. If you cannot fill in the form and you think you should be registered to the course (as in you were told you will be registered), contact Nadav ( unamitattechnion.ac.il ). |
פורסם ב-11/11/2024, 10:51:24 Created on 11/11/2024, 10:51:24 Создано11/11/2024, 10:51:24 تم النشر ب-11/11/2024, 10:51:24 |
Seminar room - Taub 201 | |
The seminar would be held in Taub 201. Sorry for the spam. |
עדכון אחרון ב-7/11/2024, 14:55:15 Last updated on 7/11/2024, 14:55:15 Последняя модификация7/11/2024, 14:55:15 تمت الحتلنة الأخيرة ب-7/11/2024, 14:55:15 |
The seminar would be delivered in person | |
The seminar would be held in person. A message regarding the room would follow. Attendance in the first class is mandatory for registration. If for some reason someone who was accepted cannot attend (for a very good reason), please contact me. |
עדכון אחרון ב-7/11/2024, 14:35:07 Last updated on 7/11/2024, 14:35:07 Последняя модификация7/11/2024, 14:35:07 تمت الحتلنة الأخيرة ب-7/11/2024, 14:35:07 |
Course - zoom or in person? | |
The good questions of whether the seminar would be held in zoom or in person is being raised by some of you. I am still hoping to get approval to make it in person. Final answer would follow by Friday. |
פורסם ב-6/11/2024, 17:38:26 Created on 6/11/2024, 17:38:26 Создано6/11/2024, 17:38:26 تم النشر ب-6/11/2024, 17:38:26 |
Course papers | |
The papers that we would present in the class are from the following list. One subject (i.e., 2 papers) would be removed due to the fact that the semester has been shortened. Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents [OSDI'24] VELTAIR: towards high-performance multi-tenant deep learning services via adaptive compilation and scheduling [ASPLOS'22] Blending Containers and Virtual Machines: A Study of Firecracker and gVisor [VEE'20] gVisor optimizations: Optimizing seccomp usage in gVisor; Releasing Systrap - A high-performance gVisor platform [ https://gvisor.dev/blog/ ] (*) Unikernels: Library Operating Systems for the Cloud [ASPLOS'13] DBOS: A DBMS-oriented Operating System [VLDB’21] and A Progress Report on DBOS: A Database-oriented Operating System [CIDR'22] (*) Thermostat: Application-transparent Page Management for Two-tiered Main Memory [ASPLOS'17] FBMM: Making Memory Management Extensible With Filesystems [ATC'24] Pond: CXL-Based Memory Pooling Systems for Cloud Platform [ASPLOS'23] A Case Against CXL Memory Pooling [HotNets'23] Harvesting Memory-bound CPU Stall Cycles in Software with MSH [OSDI'24] Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices [ASPLOS'21] What is RCU, Fundamentally? [LWN'2007; all 3 parts] (*) Temporally Bounding TSO for Fence-Free Asymmetric Synchronization [ASPLOS'15] seL4: Formal Verification of an OS Kernel [SOSP'09] An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise [ATC'24] Syrup: User-Defined Scheduling Across the Stack [SOSP'21] PET: Prevent Discovered Errors from Being Triggered in the Linux Kernel [Usenix Security 2023] Processing-in-memory: A workload-driven perspective [IBM Journal, 2019] (*) Reconfigurable Virtual Memory for FPGA-Driven I/O [ASPLOS'23] EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices [ATC'19] NOVA: A log-structured file system for hybrid Volatile/Non-volatile main memories [FAST'16] Uncovering and Exploiting AMD Speculative Memory Access Predictors for Fun and Profit [HPCA'24] Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest [SP'22] |
פורסם ב-23/10/2024, 07:25:48 Created on 23/10/2024, 07:25:48 Создано23/10/2024, 07:25:48 تم النشر ب-23/10/2024, 07:25:48 |
Welcome | |
Welcome to Seminar 236005. The registration is manual. Those who got message approving the registration are obviously registered. To allow graduate students to register, I kept *few* seats open. Following the first class, the registration would close and a message for the remaining ones would follow. I would note that the situation now appears that many of those whose registration was not approved would not be able to take the course. |
פורסם ב-23/10/2024, 07:23:11 Created on 23/10/2024, 07:23:11 Создано23/10/2024, 07:23:11 تم النشر ب-23/10/2024, 07:23:11 |