Matthew M. Papi

According to our database, Matthew M. Papi authored at least 4 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Compile-time type-checking for custom type qualifiers in java.

Matthew M. Papi, Mahmood Ali, Michael D. Ernst

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Enforcing reference and object immutability in Java.

Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Practical pluggable types for java.

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Compile-time type-checking for custom type qualifiers in Java.

Matthew M. Papi, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007