We expose the foundations of simple theories in a straightforward way including many improved proofs which can only be found scattered in the specialized literature. We start with general model theory and finish with the proof of the independence theorem.

This artifact is based on ConstSanitizer, a dynamic program analysis tool that detects deep immutability violations through const qualifiers. Our tool instruments any code compiled by clang with the -fsanitizer=const flag. Our implementation includes both instrumentation of LLVM code and a runtime library to support our analysis. The provided package includes our tool and all experiments used i...

This paper sketches the design of the Eliot File System (Eliot), a mutable filesystem that maintains the pure immutability of its peer-to-peer (P2P) substrate by isolating mutation in an auxiliary metadata service. The immutability of address-to-content bindings has several advantages in P2P systems. However, mutable filesystems are desirable because they allow clients to update existing files;...