Compile-time type-checking for custom type qualifiers in Java. - Matthew M. Papi; Michael D. Ernst (OOPSLA Companion, 2007)

Practical pluggable types for java. - Matthew M. Papi; Mahmood Ali; Telmo Luis Correa Jr.; Jeff H. Perkins; Michael D. Ernst (ISSTA, 2008)

Enforcing reference and object immutability in Java. - Mahmood Ali; Yoav Zibin; Matthew M. Papi; Michael D. Ernst (OOPSLA Companion, 2008)

Compile-time type-checking for custom type qualifiers in Java. - Matthew M. Papi; Mahmood Ali; Michael D. Ernst (OOPSLA Companion, 2008)