These technical reports are preliminary versions of papers subsequently
published elsewhere.
Technical Reports
-
A Type System for Safe Region-Based Memory Management in Real-Time Java
Alexandru Salcianu, Chandrasekhar Boyapati, William Beebee, Martin Rinard.
MIT-LCS-TR-869, Laboratory for Computer Science, MIT, November 2002.
[ PostScript |
PDF ]
This contains details on the translation to RTSJ described in the PLDI 2003 paper.
-
Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira.
MIT-LCS-TR-858, Laboratory for Computer Science, MIT, July 2002.
[ PostScript |
PDF ]
The ownership types work is a preliminary version of the POPL 2003 paper.
The upgrades work is a preliminary version of the OOPSLA 2003 paper.
-
Safe Runtime Downcasts With Ownership Types
Chandrasekhar Boyapati, Robert Lee, Martin Rinard.
MIT-LCS-TR-853, Laboratory for Computer Science, MIT, June 2002.
[ PostScript |
PDF ]
This is a preliminary version of the IWACO 2003 paper.
-
Safe Lazy Software Upgrades in Object-Oriented Databases
Barbara Liskov, Chuang-Hue Moh, Steven Richman, Liuba Shrira, Yin Cheung, Chandrasekhar Boyapati.
MIT-LCS-TR-851, Laboratory for Computer Science, MIT, June 2002.
[ PostScript |
PDF ]
This contains implementation details of the OOPSLA 2003 paper.
-
A Type System for Preventing Data Races and Deadlocks in Java Programs
Chandrasekhar Boyapati, Robert Lee, Martin Rinard.
MIT-LCS-TR-839, Laboratory for Computer Science, MIT, March 2002.
[ PostScript |
PDF ]
This is a preliminary version of the OOPSLA 2002 paper.
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.
Chandrasekhar Boyapati