- 2013-01-01 | OwnKit: Inferring Modularly Checkable Ownership Annotations for Java
- 2011-01-01 | Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types
- 2011-01-01 | JPure: a Modular Purity System for Java
- 2008-11-01 | Optimising Java Programs with Pure Functions
- 2008-11-01 | The Java Collections Profiler
- 2008-01-01 | Java Bytecode Verification for @NonNull Types
- 2008-01-01 | The Java Compiler Kit
Dr. David J. Pearce