| 2008 |
|---|
| 4 | EE | Jaime Quinonez,
Matthew S. Tschantz,
Michael D. Ernst:
Inference of Reference Immutability.
ECOOP 2008: 616-641 |
| 2007 |
|---|
| 3 | EE | Michael D. Ernst,
Jeff H. Perkins,
Philip J. Guo,
Stephen McCamant,
Carlos Pacheco,
Matthew S. Tschantz,
Chen Xiao:
The Daikon system for dynamic detection of likely invariants.
Sci. Comput. Program. 69(1-3): 35-45 (2007) |
| 2005 |
|---|
| 2 | EE | Matthew S. Tschantz,
Michael D. Ernst:
Javari: adding reference immutability to Java.
OOPSLA 2005: 211-230 |
| 2004 |
|---|
| 1 | EE | Alan Donovan,
Adam Kiezun,
Matthew S. Tschantz,
Michael D. Ernst:
Converting java programs to use generic libraries.
OOPSLA 2004: 15-34 |
