2008 |
6 | 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 |
5 | EE | Matthew M. Papi,
Mahmood Ali,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2008: 723-724 |
4 | EE | Mahmood Ali,
Yoav Zibin,
Matthew M. Papi,
Michael D. Ernst:
Enforcing reference and object immutability in Java.
OOPSLA Companion 2008: 725-726 |
3 | 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 |
2 | EE | Matthew M. Papi,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2007: 809-810 |
1 | EE | Matthew M. Papi,
Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
OOPSLA Companion 2007: 809-810 |