Coursera Plus Annual is 40% Off — Ends July 13.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based File Systems

USENIX via YouTube

Start learning Write review
Scrimba Ad

Get 20% off all career paths from fullstack to AI

Learn More → CodeSignal Ad

Learn the Skills Netflix, Meta, and Capital One Actually Hire For

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
This conference talk from USENIX FAST '25 explores "Silhouette," a bug-detection framework specifically designed for persistent memory (PM)-based file systems. Discover how researchers from Florida State University and University of Toronto address the challenges of crash-consistency bugs in PM software, which requires careful flushing and ordering of stores from CPU caches. Learn about Silhouette's innovative approach that combines static instrumentation with data-type-based dynamic analysis to verify correct implementation of standard crash-consistency mechanisms like journaling and replication. The presentation demonstrates how Silhouette significantly reduces the exploration space for bug detection, finds existing bugs 10 times faster than current tools, and identifies several previously unknown bugs in various PM file systems.

Syllabus

FAST '25 - Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based..

Taught by

USENIX

Reviews

Start your review of Silhouette: Leveraging Consistency Mechanisms to Detect Bugs in Persistent Memory-Based File Systems

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.