Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework | IEEE Conference Publication | IEEE Xplore