MIT PDOS

icon indicating a website link https://pdos.csail.mit.edu

icon location Cambridge, MA icon location Parallel and Distributed Operating Systems group at MIT CSAIL

Results 23 repositories owned by MIT PDOS

daisy-nfsd

27
Stars
4
Forks
Watchers

DaisyNFS is an NFS server verified using Dafny and Perennial.

verified publisher icon mit-pdos

secfs-skeleton

17
Stars
10
Forks
Watchers

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system

verified publisher icon mit-pdos

sigmaos

16
Stars
5
Forks
Watchers

verified publisher icon mit-pdos