Matthew M. Papi

Compile-time type-checking for custom type qualifiers in java

Michael D. Ernst, Matthew M. Papi, Mahmood Ali, 2008, OOPSLA Companion.

Practical pluggable types for java

Michael D. Ernst, Jeff H. Perkins, Matthew M. Papi, 2008, ISSTA '08.

Custom type qualiers via annotations on Java types

Michael D. Ernst, Matthew M. Papi, 2012 .

Enforcing reference and object immutability in Java

Michael D. Ernst, Yoav Zibin, Matthew M. Papi, 2008, OOPSLA Companion.

Compile-time type-checking for custom type qualifiers in Java

Michael D. Ernst, Matthew M. Papi, 2007, OOPSLA '07.

Pluggable type-checking for custom type qualifiers in Java

Michael D. Ernst, Jeff H. Perkins, Matthew M. Papi, 2007 .

Features of Annotations and their Applications

Shiva Prakash, Karan Singh, Matthew M. Papi, 2011 .