- Erik Dietrich, in collaboration with Gitty Gottlieb, 2010: Testability of C# Code Bases
- Erik Dietrich, in collaboration with Dave McCloskey, 2010: Creating a live virtual copy of a running physical OS (proof of concept)
- Erik Dietrich, in collaboration with Anu Pardeshi and John Svitek, 2011: Designing a No Exception Library Using Code Contracts
