With Clay we showed that safe languages are applicable to a wider class of applications than previously thought, and that these applications can benefit from the strong guarantees that a safe language's type system provides.
Our other project produced a middle ground between traditional operating systems and safe language systems. It allows more flexible, fine-grained sharing between processes than traditional operating systems, but with clearer inter-process boundaries than conventional safe language systems. Our work was one influence on the Java isolation API.