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

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
Simplilearn Ad

Become an AI & ML Engineer with Cal Poly EPaCE — IBM-Certified Training

Learn More → Coursera Ad

Learn AI, Data Science & Business — Earn Certificates That Get You Hired

Learn More →

Overview

AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
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.