JAN. 22: 5:00pm PST, JAN. 23: 9:00am BJT, Zoom | Administrative | N/A | N/A | N/A | Mossaka & Wen | Slide Deck | YouTube |
JAN. 29: 5:00pm PST, JAN. 30: 9:00am BJT, Zoom | Background and Virtualization | Comet Book Chapter on Virtual Machine Monitors | 1. Formal Requirements for Virtualizable Third Generation Architectures (Comm ACM 1974); 2. Disco: Running Commodity Operating Systems on Scalable Multiprocessors (TOCS'97); 3. Scale and Performance in the Denali Isolation Kernel | Paper Reflection | Mossaka | Mossaka’s Note, Meeting note | YouTube |
FEB. 5: 5:00pm PST, FEB. 5: 9:00am BJT, Zoom | GUEST SPEAKER SESSION: TBD | N/A | N/A | N/A | N/A | N/A | N/A |
FEB. 12: 5:00pm PST, FEB. 13: 9:00am BJT, Zoom YouTube Live | Virtulization CPU | A Comparison of Software and Hardware Techniques for x86 Virtualization (ASPLOS'06) | 1. The Evolution of an x86 Virtual Machine Monitor; 2. Software Techniques for Avoiding Hardware Virtualization Exits; 3. Embra: Fast and Flexible Machine Simulation; 4. Fast Dynamic Binary Translation for the Kernel; 5. Enabling Intel Virtualization Technology Features and Benefits | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
FEB. 19: 5:00pm PST, FEB. 20: 9:00am BJT, Zoom | GUEST SPEAKER SESSION: TBD | N/A | N/A | N/A | N/A | N/A | N/A |
MAR. 4: 5:00pm PST, MAR. 5: 9:00am BJT, Zoom | Virtualization Memory | 1. The first three pages of Performance Evaluation of Intel EPT Hardware Assist; 2. At least the first four sections of Memory Resource Management in VMware ESX Server (OSDI'02) | Difference Engine: Harnessing Memory Redundancy in Virtual Machines | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
MAR. 11: 5:00pm PST, MAR. 12: 8:00am BJT, Zoom | Virtualization I/O | 1. First three sections of virtio: Towards a De-Facto Standard For Virtual I/O Devices; 2. First three sections of High Performance Network Virtualization with SR-IOV; 3. Network Virtualization Overview | 1. vIC: Interrupt Coalescing for Virtual Machine Storage Device IO; 2. ELI: Bare-Metal Performance for I/O Virtualization; 3. Virtualizing I/O Devices on VMware Workstation’s Hosted Virtual Machine Monitor (ATC'01); 4. Network Virtualization in Multi-tenant Datacenters (NSDI'14); 5. The Design and Implementation of Open vSwitch (NSDI'15) | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
MAR. 19: 5:00pm PST, MAR. 20: 8:00am BJT, Zoom | Guest Talk: TBD | N/A | N/A | N/A | N/A | N/A | N/A |
APR. 8: 5:00pm PST, APR. 9: 8:00am BJT, Zoom | Guest Talk: Network Virtualization | Bluebird: High-performance SDN for Bare-metal Cloud Services | N/A | N/A | Riff Jiang | N/A | YouTube |
APR. 15: 5:00pm PST, APR. 2: 8:00am BJT, Zoom | Container Basics | Understanding and Hardening Linux Containers (mainly Ch 2 to Ch 5; you can ignore many of the details in these chapters. Read Ch 1 for more background on virtualization. Read other chapters if you are interested in security.) | 1. LXC/LXD; 2. Docker; 3. Understanding Security Implications of Using Containers in the Cloud 4. Container Security: Issues, Challenges, and the Road Ahead; 5. Slacker: Fast Distribution with Lazy Docker Containers | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
APR. 22: 4:00pm PST, APR. 23: 7:00am BJT, Zoom | GUEST SPEAKER: Brendan Burns | Kubernetes | N/A | Questions for Brendan | N/A | N/A | YouTube |
APR. 29: 5:00pm PST, APR. 16: 8:00am BJT, Zoom | Kubernetes and gVisor | Kubernetes and gVisor | 1. Borg, Omega, and Kubernetes (Google); 2. The True Cost of Containing: A gVisor Case Study; 3. Container Isolation at Scale (Introducing gVisor) - Dawn Chen & Zhengyu He, Google; 4. Nabla Containers | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
MAY. 6: 4:00pm PST, APR. 30: 8:00am BJT, Zoom | Serverless Computing | 1. Pages 3 to 8 of Cloud Programming Simplified: A Berkeley View on Serverless Computing; 2. Briefly about Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider (ATC'20) | 1. Amazon Lambda; 2. Google Cloud Functions; 3. Azure Functions; 4. Serverless Computing: Current Trends and Open Problems; 5. Serverless Workflows with Durable Functions and Netherite; 6.Serverless Computing: One Step Forward, Two Steps Back | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
MAY. 15: 5:00pm PST, MAY. 16: 8:00am BJT, Zoom | GUEST SPEAKER: Dongxu (Ed) Huang | Serverless | N/A | N/A | Dongxu (Ed) Huang | Slides | YouTube |
MAY. 20: 5:00pm PST, MAY. 7: 8:00am BJT, Zoom | Serverless Computing 2 | Pocket: Elastic Ephemeral Storage for Serverless Analytics (OSDI'18) | 1. Occupy the Cloud: Distributed Computing for the 99% (PyWren); 2. Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads; 3. SAND: Towards High-Performance Serverless Computing; 4. Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads; 5. A Case for Serverless Machine Learning; 6.Archipelago: A Scalable Low-Latency Serverless Platform; 7. Cloudburst: Stateful Functions-as-a-Service | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
MAY. 27: 5:00pm PST, MAY. 21: 8:00am BJT, Zoom | (U.S. Holiday) | | | N/A | N/A | N/A | |
JUN. 3: 5:00pm PST, JUN. 4: 8:00am BJT, Zoom | LibraryOS | Unikernels: Library Operating Systems for the Cloud (ASPLOS'13) | 1. Unikernels as Processes; 2. Unikernels are unfit for production; 3. Rethinking the Library OS from the Top-Down; 4. Mirage OS; 5. Nabla Containers; 6. ClickOS and the Art of Network Function Virtualization; 7. Libra: a library operating system for a JVM in a virtualized execution environment; 8. Exokernel: an operating system architecture for application-level resource management; 9. Dune: Safe User-level Access to Privileged CPU Features (OSDI'12) | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
JUN. 10: 5:00pm PST, JUN. 11: 8:00am BJT, Zoom | Amazon Firecracker | Firecracker: Lightweight Virtualization for Serverless Applications (NSDI'20) | 1. Amazon Firecracker Git repo; 2. Kata Containers | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
JUN. 17: 5:00pm PST, JUN. 18: 8:00am BJT, Zoom | CANCELLED | N/A | N/A | N/A | N/A | N/A | N/A |
JUN. 24: 5:00pm PST, JUN. 25: 8:00am BJT, Zoom | Para-Virtualization | Xen and the Art of Virtualization (SOSP'03) | 1. Understanding Full Virtualization, Paravirtualization, and Hardware Assist; 2. Safe Hardware Access with the Xen Virtual Machine Monitor; 3. Optimizing Network Virtualization in Xen; 4.Measuring CPU Overhead for I/O Processing in the Xen Virtual Machine Monitor; 5. Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor (SOSP'11) | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
JUL. 1: 5:00pm PST, JUL. 2: 8:00am BJT, Zoom | KVM and QEMU | 1. kvm: the Linux Virtual Machine Monitor; 2. QEMU, a Fast and Portable Dynamic Translator (It’s OK to not fully understand Section 2) | KVM Documentation | Paper Reflection | Mossaka | Mossaka’s Note | YouTube |
JUL. 8: 5:00pm PST, JUL. 9: 8:00am BJT, Zoom | GUEST SPEAKER SESSION: TBD | N/A | N/A | N/A | N/A | N/A | N/A |
JUL. 22: 5:00pm PST, JUL. 23: 8:00am BJT, Zoom | Security | 1. When Virtual is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments (HotOS'05); 2. Hey, You, Get Off of My Cloud: Exploring Information Leakage in Third-Party Compute Clouds (CCS'09) | 1. Secure Container Isolation: Problem Statement & Solution Space; 2. When Virtual Is Better Than Real (HotOS'01); 3. Secure Pods: Sandboxing workloads in Kubernetes; 4. TrustVisor: Efficient TCB Reduction and Attestation; 5. SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes (SOSP'07); 6. Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor (SOSP'11); 7. InkTag: Secure Applications on an Untrusted Operating System (ASPLOS'13); 8. Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems; 9. VirtuOS: An Operating System with Kernel Virtualization; 10. SCONE: Secure Linux Containers with Intel SGX; 11. Understanding Security Implications of Using Containers in the Cloud (ASPLOS'08); 12. Container Security: Issues, Challenges, and the Road Ahead | Paper Reflection | Mossaka | Mossaka’s Notes | YouTube |
SEP. 9: 5:00pm PST, SEP. 3: 8:00am BJT, Zoom | GUEST SPEAKER SESSION: Next frontier of virtualization - WebAssembly | N/A | N/A | N/A | Alex Crichton | Slides | YouTube |
TBD | Virtualizing non-CPU Processors (Accelerators) | 1. GPU Virtualization on VMware’s Hosted I/O Architecture; 2. Do OS abstractions make sense on FPGAs? (OSDI'20) | 1. AvA: Accelerated Virtualization of Accelerators; 2. A Full GPU Virtualization Solution with Mediated Pass-Through (ATC'14); 3. Sharing, Protection and Compatibility for Reconfigurable Fabric with AmorphOS (OSDI'18); 4. Accelerating & Optimizing HPC/ML on vSphere Leveraging NVIDIA GPU (2019/02 talk); 5. GPUvm: Why Not Virtualizing GPUs at the Hypervisor? (ATC'14); 6. PTask: Operating System Abstractions To Manage GPUs as Compute Devices (SOSP'11) | Paper Reflection | N/A | N/A | N/A |
TBD | New Cloud Infrastructure | Amazon Nitro (esp. the video talk on that page) | Intel Unveils Infrastructure Processing Unit | Paper Reflection | N/A | N/A | N/A |