Programming Methodology Group publications by Chandrasekhar Boyapati

Also see all authors, all publications by date, all publications by topic.

Copyright notice.

“SafeJava: A Unified Type System for Safe Programming”
by Chandrasekhar Boyapati.
Ph.D. dissertation, MIT, Feb. 2004, 167 pages.
Details. Download: ps, pdf.

“Lazy Modular Upgrades in Persistent Object Stores”
by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, and Steven Richman.
In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Anaheim, California), Oct. 2003.
Details. Download: pdf, ps.

“Ownership Types for Object Encapsulation”
by Chandrasekhar Boyapati, Barbara Liskov, and Liuba Shrira.
In ACM Symposium on Principles of Programming Languages (POPL), (New Orleans, Louisiana), Jan. 2003.
Details. Download: pdf, ps .

“Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases”
by Chandrasekhar Boyapati, Barbara Liskov, and Liuba Shrira.
MIT technical report MIT-LCS-TR-858, July 2002.
Details. Download: ps, pdf .

“Safe Lazy Software Upgrades in Object-Oriented Databases”
by Barbara Liskov, Chuang-Hue Moh, Steven Richman, Liuba Shrira, Yin Cheung, and Chandrasekhar Boyapati.
MIT technical report MIT-LCS-TR-851, June 2002.
Details. Download: ps, pdf .

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 page was generated Tue Apr 9 20:09:22 2019 by bibtex2web

Programming Methodology Group