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 |