This is a list of Matthew M. Papi's PAG-related publications.
Also see all PAG authors, all PAG publications by date, all PAG publications by topic.
“Practical pluggable types for Java”
by Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Ernst.
In ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, (Seattle, WA, USA), July 22-24, 2008, pp. 201-212.
Details.
Download:
PDF,
PostScript,
Talk slides (PDF),
Demo slides (PDF),
Papi thesis (PDF),
Checker Framework implementation.
A tool demonstration appeared as
“Compile-time type-checking for custom type qualifiers in Java”
by Matthew M. Papi, Mahmood Ali, and Michael D. Ernst.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2008), (Nashville, TN, USA), October 21-23, 2008.
An extended version containing expanded explanations and also some additional material appeared as
“Practical Pluggable Types for Java”
by Matthew M. Papi.
Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), May 2008.
A tool description appeared as
“Compile-time type-checking for custom type qualifiers in Java”
by Matthew M. Papi and Michael D. Ernst.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), (Montréal, Canada), October 23-25, 2007, pp. 809-810.
A previous version appeared as
“Pluggable type-checking for custom type qualifiers in Java”
by Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-047, (Cambridge, MA), September 17, 2007.
“Object and reference immutability using Java generics”
by Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kieżun, and Michael D. Ernst.
In ESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Dubrovnik, Croatia), September 5-7, 2007, pp. 75-84.
Details.
Download:
PDF,
PostScript,
IGJ implementation.
A tool demonstration appeared as
“Enforcing reference and object immutability in Java”
by Mahmood Ali, Yoav Zibin, Matthew M. Papi, and Michael D. Ernst.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2008), (Nashville, TN, USA), October 21-23, 2008.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)
Back to Program Analysis Group authors