Presentation Feedback Form 2/2 | |
|
Please fill in by Friday 12pm: https://forms.office.com/r/3BGpfaV61k |
| פורסם ב-2/2/2025, 17:00:44 Created on 2/2/2025, 17:00:44 Создано2/2/2025, 17:00:44 تم النشر ب-2/2/2025, 17:00:44 |
Last session is shortened | |
|
The next session, on February 2nd, would be between 17:30 - 18:30 (shorter by an hour). |
| פורסם ב-28/1/2025, 15:50:00 Created on 28/1/2025, 15:50:00 Создано28/1/2025, 15:50:00 تم النشر ب-28/1/2025, 15:50:00 |
Presentation Feedback Form 26/1 | |
| Please fill by Friday 31/1 12pm - https://forms.office.com/r/MNStwgXVV4 |
| פורסם ב-26/1/2025, 17:06:21 Created on 26/1/2025, 17:06:21 Создано26/1/2025, 17:06:21 تم النشر ب-26/1/2025, 17:06:21 |
Fixed Feedback Form for 19/1 | |
|
Please use this link if the previous one did not work https://forms.office.com/Pages/ResponsePage.aspx?id=TCxQ8S7uHEGXFchV9nU7hD8SEPhRa6FItcUuB4K8jElUMzFMVlNVMFdGS0IyN1NKNzJMRjBPWElRTi4u |
| פורסם ב-20/1/2025, 08:58:03 Created on 20/1/2025, 08:58:03 Создано20/1/2025, 08:58:03 تم النشر ب-20/1/2025, 08:58:03 |
Presentation Feedback Form 19/1 | |
|
Please fill in before Friday 12PM : https://forms.office.com/r/6DirfsEvFv |
| פורסם ב-19/1/2025, 17:19:33 Created on 19/1/2025, 17:19:33 Создано19/1/2025, 17:19:33 تم النشر ب-19/1/2025, 17:19:33 |
Presentation Feedback Form 12/1 | |
|
Please fill in before Friday 8am : https://forms.office.com/r/6DirfsEvFv |
| עדכון אחרון ב-12/1/2025, 11:14:05 Last updated on 12/1/2025, 11:14:05 Последняя модификация12/1/2025, 11:14:05 تمت الحتلنة الأخيرة ب-12/1/2025, 11:14:05 |
Presentation Feedback Form 5/1 | |
|
Please fill in by Friday 8am: https://forms.office.com/r/KVQH7mFPiN |
| פורסם ב-5/1/2025, 13:46:26 Created on 5/1/2025, 13:46:26 Создано5/1/2025, 13:46:26 تم النشر ب-5/1/2025, 13:46:26 |
Presentation Feedback Form 22/12 | |
|
Fill in until Friday 8am: https://forms.office.com/r/Pq1U0bWL9v |
| פורסם ב-22/12/2024, 12:48:58 Created on 22/12/2024, 12:48:58 Создано22/12/2024, 12:48:58 تم النشر ب-22/12/2024, 12:48:58 |
Session 6 slides are online |
| פורסם ב-16/12/2024, 21:23:07 Created on 16/12/2024, 21:23:07 Создано16/12/2024, 21:23:07 تم النشر ب-16/12/2024, 21:23:07 |
Presentation Feedback Form 15/12 | |
|
https://forms.office.com/r/Ve4cSJdbJ1 Please fill in before Friday 8am (added a day). No late submissions. |
| פורסם ב-15/12/2024, 10:12:04 Created on 15/12/2024, 10:12:04 Создано15/12/2024, 10:12:04 تم النشر ب-15/12/2024, 10:12:04 |
Slides from 5th session are fully available & submission for 5th session reopened | |
|
Slides from both sessions of the 5th session are now online. Submission of your feedback has been extended until 12pm on Friday December 13 (editing of previous submission should be enabled). |
| פורסם ב-12/12/2024, 16:40:48 Created on 12/12/2024, 16:40:48 Создано12/12/2024, 16:40:48 تم النشر ب-12/12/2024, 16:40:48 |
Slides from 5th session are partially available |
| פורסם ב-11/12/2024, 18:15:02 Created on 11/12/2024, 18:15:02 Создано11/12/2024, 18:15:02 تم النشر ب-11/12/2024, 18:15:02 |
Presentation Feedback Form 8/12 | |
|
Please fill in the presentation feedback form until 12/12 8am : https://forms.office.com/r/C7Vs6np6z8 |
| פורסם ב-8/12/2024, 18:53:38 Created on 8/12/2024, 18:53:38 Создано8/12/2024, 18:53:38 تم النشر ب-8/12/2024, 18:53:38 |
Session 4 slides uploaded |
| פורסם ב-2/12/2024, 20:06:57 Created on 2/12/2024, 20:06:57 Создано2/12/2024, 20:06:57 تم النشر ب-2/12/2024, 20:06:57 |
Presentation Feedback Form 1/12 | |
| Following the presentations today and before 5/12 at 8am (yes, AM), please fill in https://forms.office.com/r/15xc2k3S3e . |
| פורסם ב-1/12/2024, 09:03:46 Created on 1/12/2024, 09:03:46 Создано1/12/2024, 09:03:46 تم النشر ب-1/12/2024, 09:03:46 |
Back to Taub 3 | |
|
As home front and Technion removed the protection requirements, we will "return" to our original seminar room of Taub 3. This would apply from now on. |
| פורסם ב-30/11/2024, 19:25:52 Created on 30/11/2024, 19:25:52 Создано30/11/2024, 19:25:52 تم النشر ب-30/11/2024, 19:25:52 |
Presentation Feedback Form 24/11 - Link correction | |
|
https://forms.office.com/r/nvhLeu6YKw Sorry for the wrong link before. (I changed it in the previous message to avoid mistakes; no gaslighting) |
| פורסם ב-25/11/2024, 09:25:31 Created on 25/11/2024, 09:25:31 Создано25/11/2024, 09:25:31 تم النشر ب-25/11/2024, 09:25:31 |
Presentation Feedback Form 24/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/nvhLeu6YKw Reminder that this is considered for your class participation score. |
| עדכון אחרון ב-25/11/2024, 09:24:55 Last updated on 25/11/2024, 09:24:55 Последняя модификация25/11/2024, 09:24:55 تمت الحتلنة الأخيرة ب-25/11/2024, 09:24:55 |
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 |