Filesystems
With others, I worked on formally specifying, implementing and verifying filesystems.
-
mini-btree, 2021
A new minimal B-tree implementation. -
ImpFS, 2017 - 2021
A new filesystem based on B-trees and persistent logs. -
Tjr-kv, 2018 - 2020
A key-value store for OCaml. -
Tjr-btree, 2017 - 2020
A B-tree-like on-disk datastructure. -
mini-fs, 2017 - 2019
Frontend filesystem components, including FUSE bindings, networking etc. -
SibylFS, 2012 - 2015
A formal model of POSIX-like and real-world filesystems, usable as a test oracle.
Some additional resources: