Telmo Luis Correa

Practical pluggable types for java

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

Tools for enforcing and inferring reference immutability in Java

Michael D. Ernst, Jaime Quinonez, Telmo Luis Correa, 2007, OOPSLA '07.

A model for transition-based visuospatial pattern recognition

Telmo Luis Correa, 2011 .

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 .