Back to people Atalay Ileri Graduate Student Contact Me Projects Research Groups Contact Me Email atalay@mit.edu Last updated Oct 30 '17 Email atalay@mit.edu 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 Tej Chajed Leads Tej Chajed Research Areas Systems & Networking +1 Tej Chajed Groups Research Group Parallel and Distributed Operating Systems We at PDOS build and investigate software systems for parallel and distributed environments. +8 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 +8
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 Tej Chajed Leads Tej Chajed Research Areas Systems & Networking +1 Tej Chajed
Research Group Parallel and Distributed Operating Systems We at PDOS build and investigate software systems for parallel and distributed environments. +8 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 +8
