3 ms·
There have already been two file system verification projects, this year's OSDI best paper is the most recent example, http://locore.cs.washington.edu/papers/si
by jroesch 10y ago
There have already been two file system verification projects, this year's OSDI best paper is the most recent example, http://locore.cs.washington.edu/papers/sigurbjarnarson-yggdrasil.pdf http://locore.cs.washington.edu/papers/sigurbjarnarson-yggdr..., and last year as SOSP FSCQ: http://sigops.org/sosp/sosp15/current/2015-Monterey/013-chen-online.pdf http://sigops.org/sosp/sosp15/current/2015-Monterey/013-chen...
- nickpsecurity 10y agoHoly crap! That some great improvements together with the COGENT paper I posted in this sub-thread. I'd love to see them try to overlap in their strong suits. Push-button is hard to argue with, though. Thanks for the links. :)