Atalay Ileri Graduate Student Email atalay@mit.edu Last updated Oct 30 '17 Projects Project FSCQ: File-system verification Parallel and Distributed Operating Systems FSCQ is the first file system with a machine-checkable proof (in the Coq proof assistant) that its implementation meets its specification and whose specification includes behavior under crashes. +1 Leads Research Areas Systems & Networking +1 Groups Research Group Parallel and Distributed Operating Systems We at PDOS build and investigate software systems for parallel and distributed environments. +1 Leads Frans Kaashoek Robert Morris Nickolai Zeldovich Adam Belay Research Areas Systems & Networking Impact Areas Cybersecurity Lead Frans Kaashoek Robert Morris Nickolai Zeldovich Adam Belay +1
Project FSCQ: File-system verification Parallel and Distributed Operating Systems FSCQ is the first file system with a machine-checkable proof (in the Coq proof assistant) that its implementation meets its specification and whose specification includes behavior under crashes. +1 Leads Research Areas Systems & Networking +1
Research Group Parallel and Distributed Operating Systems We at PDOS build and investigate software systems for parallel and distributed environments. +1 Leads Frans Kaashoek Robert Morris Nickolai Zeldovich Adam Belay Research Areas Systems & Networking Impact Areas Cybersecurity Lead Frans Kaashoek Robert Morris Nickolai Zeldovich Adam Belay +1