USENIX Courses

IronSpec - Increasing the Reliability of Formal Specifications

Innovative framework for enhancing formal specification reliability through automated testing, SpecTesting Proofs, and mutation testing. Discovers bugs in real-world verified systems, strengthening software verification.

• YouTube
• 15 minutes
• On-Demand
• Free Video

Inductive Invariants for Streamlining Distributed Protocol Proofs

Streamlining distributed protocol proofs using invariant taxonomies. Simplifies finding inductive invariants by categorizing them into Regular and Protocol Invariants, reducing developer effort in proving correctness.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Beaver: Practical Partial Snapshots for Distributed Cloud Services

Innovative protocol for capturing partial snapshots in distributed cloud services, ensuring causal consistency without disrupting operations. Leverages load balancers for minimal changes and near-zero overhead.

• YouTube
• 15 minutes
• On-Demand
• Free Video

A Tale of Two Paths - Hybrid Data Plane for Efficient Far-Memory Applications

Hybrid data plane for efficient far-memory access: combines paging and object fetching, dynamically improving locality and performance. Atlas outperforms existing techniques in throughput and latency reduction.

• YouTube
• 16 minutes
• On-Demand
• Free Video

DRust - Language-Guided Distributed Shared Memory with Fine Granularity and Full Transparency

Explores DRust, a Rust-based distributed shared memory system that leverages language ownership semantics for improved efficiency and scalability in distributed computing environments.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Massively Parallel Multi-Versioned Transaction Processing

Explore Epic, a groundbreaking GPU-based database system that revolutionizes multi-versioned transaction processing, offering enhanced performance and efficiency for high-contention OLTP workloads.

• YouTube
• 15 minutes
• On-Demand
• Free Video

FairyWREN - A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces

Innovative flash cache design reduces writes by 12.5×, extending device lifespan and decreasing carbon emissions by 33%. Explores WREN interfaces for sustainable datacenter storage solutions.

• YouTube
• 14 minutes
• On-Demand
• Free Video

Identifying On-CPU and Off-CPU Bottlenecks with Blocked Samples

Innovative profiling technique for comprehensive system performance analysis, capturing both on-CPU and off-CPU events to identify bottlenecks and optimize applications effectively.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Deleting Data at Organizational Scale

Explore strategies for large-scale data deletion, addressing challenges of data sprawl, architectural complexity, and privacy rights while maintaining legitimate data usage in organizational settings.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Building Permissions into Data Modeling

Explore a design pattern for integrating complex permissions into data models, enhancing reliability and performance in large-scale applications like social networks.

• YouTube
• 14 minutes
• On-Demand
• Free Video

Utility Analysis for Differentially-Private Pipelines

Explore a methodology for estimating differential privacy's impact on data quality, aiding informed decision-making in implementing privacy-preserving pipelines.

• YouTube
• 13 minutes
• On-Demand
• Free Video

How We Can Save Anonymization - Principles for Effective Data Protection

Exploring effective data anonymization techniques to restore trust in privacy protection. Discusses operational principles for reliable anonymization methods, addressing past failures and skepticism.

• YouTube
• 15 minutes
• On-Demand
• Free Video

Being Intentional: AB Testing and Data Minimization - PEPR '24

Explore data minimization techniques for AB testing, focusing on statistical approaches that don't require linking to individual customer IDs, promoting privacy-conscious analytics practices.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Governing Identity Respectfully - User-Centric Approaches and Multistakeholder Governance

Exploring user-centric identity governance, balancing individual agency with ecosystem needs. Discusses multistakeholder approaches, lessons from past efforts, and privacy implications in identity systems.

• YouTube
• 15 minutes
• On-Demand
• Free Video

Through the Lens of LLMs - Unveiling Differential Privacy Challenges

Explores LLMs as potential attackers in differential privacy, focusing on Google's Topics API vulnerabilities. Reveals increased re-identification risks and challenges privacy claims using practical simulations and LLM-driven analysis.

• YouTube
• 10 minutes
• On-Demand
• Free Video