| 2008 |
|---|
| 5 | EE | Matthew M. Papi,
Mahmood Ali,
Telmo Luis Correa Jr.,
Jeff H. Perkins,
Michael D. Ernst:
Practical pluggable types for java.
ISSTA 2008: 201-212 |
| 4 | EE | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2008: 723-724 |
| 3 | EE | Mahmood Ali,
Yoav Zibin,
Matthew M. Papi,
Michael D. Ernst:
Enforcing reference and object immutability in Java.
OOPSLA Companion 2008: 725-726 |
| 2 | EE | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in java.
OOPSLA Companion 2008: 759-760 |
| 2007 |
|---|
| 1 | EE | Yoav Zibin,
Alex Potanin,
Mahmood Ali,
Shay Artzi,
Adam Kiezun,
Michael D. Ernst:
Object and reference immutability using java generics.
ESEC/SIGSOFT FSE 2007: 75-84 |
