Certifying a crash-safe file system
Department: Computer Science
Quarter:
Seminar Date: May 26, 2016
Speaker Name:
Frans Kaashoek
Frans Kaashoek
Organization:
Massachusetts Institute of Technology
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 (
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…
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
Distinguished Seminar Series
Alt Text:
Video: