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 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] 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] |
| פורסם ב-1/9/2025, 10:45:17 Created on 1/9/2025, 10:45:17 Создано1/9/2025, 10:45:17 تم النشر ب-1/9/2025, 10:45:17 |