System Architecture Courses
IEEE via YouTube Protecting the Stack with Metadata Policies and Tagged Hardware
IEEE via YouTube CHERI - A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
IEEE via YouTube CoSMeDis - A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
IEEE via YouTube MySQL Automation at Facebook Scale
USENIX via YouTube AIFM - High-Performance, Application-Integrated Far Memory
USENIX via YouTube Clipper - A Low-Latency Online Prediction Serving System
USENIX via YouTube TAO - Facebookâs Distributed Data Store for the Social Graph
USENIX via YouTube Ghostor - Toward a Secure Data Sharing System from Decentralized Trust
USENIX via YouTube Meaningful Availability
USENIX via YouTube