Jack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown. Using declarative invariants for protecting file-system integrity. In Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011. ACM, 2011. [doi]
Abstract is missing.