research
∙
12/14/2020
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Despite significant research and engineering efforts, many of today's im...
share
research
∙
07/18/2020
PaSh: Light-touch Data-Parallel Shell Processing
This paper presents PaSh, a system for parallelizing POSIX shell scripts...
research
∙
07/10/2018
