Rice JavaPLT Publications

All papers are in pdf format.

Publications

Cartwright, AbdelGawad. Inheritance Is Subtyping. 25th Nordic Workshop on Programming Theory, November 2013.

Cave, Sarkar, Payne, Raman, Ricken, Cartwright. DrHJ: the Cure to Your Multicore Programming Woes. PPPJ 2011.[ACM]

Payne, Cave, Raman, Ricken, Cartwright, Sarkar. DrHJ: a Lightweight Pedagogic IDE for Habanero Java. SPLASH 2011.[ACM]

Ricken, Cartwright. Test-First Java Concurrency for the Classroom. SIGCSE 2010. [ACM]

Ricken, Cartwright. ConcJUnit: Unit Testing for Concurrent Programs. PPPJ 2009. [ACM]

Smith, Cartwright. Java Type Inference Is Broken: Can We Fix It? OOPSLA 2008. [ACM]

Sasitorn, Cartwright. Component NextGen: A Sound and Expressive Component Framework for Java. OOPSLA 2007. [ACM]

Sasitorn, Cartwright. Deriving Components from Genericity. SAC 2007. [ACM]

Nguyen, Ricken. Nifty Assignments: Programming for Change - The Temperature Calculator. OOPSLA 2006.

Sasitorn, Cartwright. Efficient First-Class Generics on Stock Java Virtual Machines. SAC 2006. [ACM]

Nguyen, Ricken, Wong. Design Patterns for Parsing. SIGCSE 2005. [ACM]

Hsia, Simpson, Smith, Cartwright. Taming Java for the Classroom. SIGCSE 2005. [ACM]

Cheng, Nguyen, Ricken, Wong. Nifty Assignments: Abstract Factories and the Shape Calculator. OOPSLA 2004. [ACM]

Cheng, Nguyen, Ricken, Wong. Nifty Assignments: Marine Biology Simulation. OOPSLA 2004. [ACM]

Cartwright, Fagan. Soft Typing. SIGPLAN Notices Volume 39, Issue 4. [ACM]

Allen, Cartwright. Safe Instantiation in Generic Java. PPPJ 2004. [ACM]

Nguyen, Ricken, Wong. Design Patterns for Marine Biology Simulation. SIGCSE 2004. [ACM]

Reis, Cartwright. Taming A Professional IDE for the Classroom., SIGCSE 2004. [ACM]

Reis, Cartwright. A Friendly Face for Eclipse. Eclipse Technology Exchange (eTX) at OOPSLA 2003. [ACM]

Allen, Cartwright. A First-Class Approach to Genericity. OOPSLA 2003. [ACM]

Allen, Cartwright, Reis. Production Programming in the Classroom. SIGCSE 2003. [ACM]

Nguyen, Wong. Design Patterns for Self-Balancing Trees. OOPSLA 2002.

Allen, Cartwright. The Case for Run-time Types in Generic Java. PPPJ 2002. [ACM]

Allen, Cartwright, Stoler. Efficient Implementation of Run-time Generic Types for Java. IFIP WG2.1 WCGP 2002. [ACM]

Nguyen, Wong. Design Patterns for Games. SIGCSE 2002. [ACM]

Allen, Cartwright, Stoler. DrJava: A Lightweight Pedagogic Programming Environment for Java. SIGCSE 2002. [ACM]

Cartwright, Nguyen. OOP as an Enrichment of FP. Fifth Workshop on Pedagogies and Tools for Assimilating Object Oriented Concepts, OOPSLA'01.

Nguyen, Wong. Design Patterns for Sorting. SIGCSE 2001. [ACM]

Nguyen, Wong. Design Patterns for Lazy Evaluation. SIGCSE 2000. [ACM]

Nguyen, Wong. Patterns for Decoupling Data Structures and Algorithms. SIGCSE 1999. [ACM]

Nguyen. Design Patterns for Data Structures. SIGCSE 1998.

Cartwright, Steele. Compatible Genericity with Runtime Types for the Java programming language. OOPSLA 1998. [ACM]

Technical Reports

Sasitorn, Cartwright. The Soundness of Component NextGen.. July 2007.

Ricken, Cartwright. Synchronization During Java VM Initialization and Termination. January 2006.

Ricken. Assignments for an Objects-First Introductory Computer Science Curriculum. April 2005.

Allen, Cartwright. Safe Instantiation in Generic Java. June 2003.

Allen, Bannet, Cartwright. Mixins in Generic Java are Sound. January 2003.

Stoler, Allen. Improved Error Reporting for the Cryptyc Protocol Language. December 2001.

Allen. Proving Type Soundness: Featherweight GJ. June 2001.

Dissertations & Theses

Ricken. A Framework for Testing Concurrent Programs (extended). Ph.D. Thesis, April 2011.

Smith. Designing Type Inference for Typed Object-Oriented Languages. Ph.D. Thesis, May 2010.

Smith. Completing the Java Type System. M.S. Thesis, November 2007.

Ricken. A Framework for Testing Concurrent Programs. M.S. Thesis, October 2007.

Sasitorn. Component NextGen: A sound and expressive component framework for Java. Ph.D. Thesis, April 2007.

Sasitorn. Efficient Implementation of First-class Polymorphic Methods in Java. M.S. Thesis, April 2005.

Hsia. Adding Support for Language Levels to DrJava. M.S. Thesis, June 2004.

Allen. A First-Class Appporach to Genericity. Ph.D. Thesis, April 2003.

Lu. Dr. C#: A Pedagogic IDE for C# Featuring a Read-Eval-Print-Loop. M.S. Thesis, April 2003.

Stoler. A Framework for Building Pedagogic Programming Environments for Java. M.S. Thesis, May 2002.

Allen. Efficient Implementation of Run-time Generic Types for Java. M.S. Thesis, May 2002.

Send comments, questions, and bug reports to JavaPLT.