Skip to main content

Certifying a crash-safe file system

Department: Computer Science

Quarter:

Seminar Date: May 26, 2016

Speaker Name:
Frans Kaashoek

Organization:
Massachusetts Institute of Technology

Start Time:

End Time:

Speaker Website:

Bio:
Frans Kaashoek is the Charles Piper Professor in MIT's EECS department and a member of CSAIL, where he co-leads the parallel and distributed operating systems group (

Photo Link:

Summary:
FSCQ is the first file system with a machine-checkable proof (using the Coq proof assistant) that its implementation meets its specification and whose specification includes crashes. FSCQ provably av…

Notes:

Host:

Host Notes:
Distinguished Seminar Series

Alt Text:

Slides:

Video:


Skip to content