We are redesigning file system implmentation structures to enable synthesis of file system components and automated file system assembly.
Our long term goal is to facilitate synthesis of file systems. There are two aspects to this problem: decomposing file sytems into primitive components that are amenable to synthesis and then developing tools and techniques to assemble working file systems from these components.
This approach will enable exciting opportunites in file system research such as file systems with multiple namesspaces, single file systems capable of supporting multiple file representations, and much more.
Systopia lab is supported by a number of government and industrial sources, including Cisco Systems, the Communications Security Establishment Canada, Intel Research, the National Sciences and Engineering Research Council of Canada (NSERC), Network Appliance, Office of the Privacy Commissioner of Canada, and the National Science Foundation (NSF).