Converting java programs to use generic libraries. - Alan Donovan; Adam Kiezun; Matthew S. Tschantz; Michael D. Ernst (OOPSLA, 2004)

Javari: adding reference immutability to Java. - Matthew S. Tschantz; Michael D. Ernst (OOPSLA, 2005)

The Daikon system for dynamic detection of likely invariants. - Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pacheco; Matthew S. Tschantz; Chen Xiao (Sci. Comput. Program., 2007)

Inference of Reference Immutability. - Jaime Quinonez; Matthew S. Tschantz; Michael D. Ernst (ECOOP, 2008)