 | 2010 |
| 7 |  | Yoav Zibin,
Alex Potanin,
Paley Li,
Mahmood Ali,
Michael D. Ernst:
Ownership and immutability in generic Java.
OOPSLA 2010: 598-617 |
| 6 |  | Michael D. Ernst,
Mahmood Ali:
Building and using pluggable type systems.
SIGSOFT FSE 2010: 375-376 |
| 2008 |
| 5 |  | 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 |  | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2008: 723-724 |
| 3 |  | Mahmood Ali,
Yoav Zibin,
Matthew M. Papi,
Michael D. Ernst:
Enforcing reference and object immutability in Java.
OOPSLA Companion 2008: 725-726 |
| 2 |  | 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 |  | 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 |