- Rice University leads $11 million effort in big data software analytics
- The Hoogle Search Engine
- Don’t mock?
- Why do need modules?
- Every Java @FunctionalInterface you want
- Prismatic Schema
- Whiley Programming Language - Generating Verification Conditions for Whiley