Rice JavaPLT Publications

All papers are in pdf format.

Publications

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

Nguyen. Design Patterns for Data Structures SIGCSE 1998.

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

Nguyen, Wong. Design Patterns for Lazy Evaluation SIGCSE 2000.

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

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

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

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

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

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

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

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

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

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

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

Nguyen, Ricken, Wong. Design Patterns for Parsing. SIGCSE 2005.

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

Sasitorn, Cartwright. Deriving Components from Genericity. SAC 2007.

Technical Reports

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

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

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

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

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

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

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

Dissertations

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

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

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

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

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

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

Send comments, questions, and bug reports to JavaPLT.