Programming Methodology Group publications by date

Also see our publications by topic and by author.

Copyright notice.


2013

“IFDB: Decentralized Information Flow Control for Databases”
by David Schultz and Barbara Liskov.
In Proceedings of the 8th ACM European Conference on Computer Systems, (Prague, Czech Republic), Apr. 2013.
Details. Download: pdf.

2012

“Summarizing Audit Trails in the Aeolus Security Platform”
by Wissam Jarjoui.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2012.
Details. Download: pdf.

“Aeolus Reference Manual”
by Barbara Liskov.
MIT technical report MIT-CSAIL-TR-2012-030, Sep. 2012.
Details. Download: pdf.

“Serializable Snapshot Isolation in PostgreSQL”
by Dan R. K. Ports and Kevin Grittner.
In Proceedings of the 38th International Conference on Very Large Data Bases (VLDB '12), (Istanbul, Turkey), Aug. 2012.
Details. Download: pdf .

“Viewstamped Replication Revisited”
by Barbara Liskov and James Cowling.
MIT technical report MIT-CSAIL-TR-2012-021, July 2012.
Details. Download: pdf.

“Decentralized Information Flow Control for Databases”
by David Schultz.
Ph.D. dissertation, MIT, July 2012.
Details. Download: pdf.

“Low-Overhead Distributed Transaction Coordination”
by James Cowling.
Ph.D. dissertation, MIT, June 2012.
Details. Download: pdf .

“Granola: Low-Overhead Distributed Transaction Coordination”
by James Cowling and Barbara Liskov.
In Proceedings of the 2012 USENIX Annual Technical Conference, (Boston, MA, USA), June 2012, USENIX.
Details. Download: pdf .

“Application-Level Caching with Transactional Consistency”
by Dan R. K. Ports.
Ph.D. dissertation, MIT, (Cambridge, MA, USA), June 2012.
Details. Download: pdf .

“Abstractions for Usable Information Flow Control in Aeolus”
by Winnie Cheng, Dan R. K. Ports, David Schultz, Victoria Popic, Aaron Blankstein, James Cowling, Dorothy Curtis, Liuba Shrira, and Barbara Liskov.
In Proceedings of the 2012 USENIX Annual Technical Conference, (Boston, MA, USA), June 2012.
Details. Download: pdf.

“Automatic Reconfiguration for Large-Scale Reliable Storage Systems”
by Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, and David Schultz.
IEEE Transactions on Dependable and Secure Computing, vol. 9, no. 2, Mar. 2012, pp. 146-158.
Details. Download: pdf.

2011

“A File System Design for the Aeolus Security Platform”
by F. Peter McKee.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2011.
Details. Download: pdf.

“Analyzing Audit Trails in the Aeolus Security Platform”
by Aaron Blankstein.
Masters thesis, MIT, (Cambridge, MA, USA), June 2011.
Details. Download: pdf.

2010

“From Viewstamped Replication to Byzantine Fault Tolerance”
by Barbara Liskov.
In Replication: Theory and Practice, 2010.
Details. Download: pdf.

MPSS: Mobile Proactive Secret Sharing
by David Schultz, Barbara Liskov, and Moses Liskov.
ACM Transactions on Information and System Security (TISSEC), vol. 13, Dec. 2010, ACM.
Details. Download: pdf.

“Transactional Consistency and Automatic Management in an Application Data Cache”
by Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, and Barbara Liskov.
In Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), (Vancouver, BC, Canada), Oct. 2010, USENIX.
Details. Download: pdf, ps.

“Audit Trails in the Aeolus Distributed Security Platform”
by Victoria Popic.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2010. Also as Technical Report MIT-CSAIL-TR-2010-048.
Details. Download: pdf.

2009

“Information Flow for Secure Distributed Applications”
by Winnie Wing-Yee Cheng.
Ph.D. dissertation, MIT, (Cambridge, MA, USA), Aug. 2009. Also as Technical Report MIT-CSAIL-TR-2009-040.
Details. Download: pdf.

“Census: Location-Aware Membership Management for Large-Scale Distributed Systems”
by James Cowling, Dan R. K. Ports, Barbara Liskov, Raluca Ada Popa, and Abhijeet Gaikwad.
In Proceedings of the 2009 USENIX Annual Technical Conference, (San Diego, CA, USA), June 2009, USENIX.
Details. Download: pdf, ps .

“Tolerating Latency in Replicated State Machines”
by Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, and Barbara Liskov.
In Proceedings of the Sixth Symposium on Networked Systems Design and Implementation (NSDI), (Boston, Massachusetts), Apr. 2009.
Details. Download: pdf.

2008

“Mobile Proactive Secret Sharing”
by David Schultz, Barbara Liskov, and Moses Liskov.
In Twenty-Seventh Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Aug. 2008. Brief Announcement.
Details. Download: ps, pdf.

“Towards Application Security on Untrusted Operating Systems”
by Dan R. K. Ports and Tal Garfinkel.
In Proceedings of the 3rd Workshop on Hot Topics in Security (HotSec '08), (San Jose, CA, USA), July 2008, USENIX.
Details. Download: pdf, ps.

“Detecting and Tolerating Byzantine Faults in Database Systems”
by Ben Vandiver.
Ph.D. dissertation, MIT, June 2008. Also as Technical Report MIT-CSAIL-TR-2008-040.
Details. Download: pdf.

“Computing Network Coordinates in the Presence of Byzantine Faults”
by You Zhou.
Masters thesis, MIT, (Cambridge, MA, USA), June 2008. Also as Technical Report MIT-CSAIL-TR-2009-015.
Details. Download: pdf.

“Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems”
by Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey Dwoskin, and Dan R. K. Ports.
In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), (Seattle, WA, USA), Mar. 2008.
Details. Download: pdf, ps.

2007

“Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling”
by Ben Vandiver, Hari Balakrishnan, Barbara Liskov, and Sam Madden.
In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), (Stevenson, Washington, USA), Oct. 2007.
Details. Download: pdf.

“MapJAX: Data Structure Abstractions for Asynchronous Web Applications”
by Daniel Myers, Jennifer Carlisle, James Cowling, and Barbara Liskov.
In Proceedings of the 2007 USENIX Annual Technical Conference, (Santa Clara, CA), June 2007.
Details. Download: pdf, html.

“HQ Replication”
by James Cowling.
Masters thesis, MIT, May 2007.
Details. Download: pdf.

“HQ Replication: Properties and Optimizations”
by James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, and Liuba Shrira.
MIT Technical Report MIT-CSAIL-TR-2007-009, (Cambridge, MA), Feb. 2007.
Details. Download: pdf.

“Mobile Proactive Secret Sharing”
by David Schultz.
Masters thesis, MIT, Jan. 2007.
Details. Download: ps, pdf.

2006

“HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance”
by James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, and Liuba Shrira.
In Proceedings of the Seventh Symposium on Operating Systems Design and Implementations (OSDI), (Seattle, Washington), Nov. 2006.
Details. Download: pdf, html.

“Tolerating Byzantine Faulty Clients in a Quorum System”
by Barbara Liskov and Rodrigo Rodrigues.
In Proceedings of the 26th IEEE International Confererence on Distributed Computing SYstems (ICDCS06), (Lisbon, Portugal), July 2006.
Details. Download: pdf .

“Modular Software Upgrades for Distributed Systems”
by Sameer Ajmani, Barbara Liskov, and Liuba Shrira.
In European Conference on Object-Oriented Programming (ECOOP), July 2006.
Details. Download: ps, pdf .

2005

“Byzantine Clients Rendered Harmless”
by Barbara Liskov and Rodrigo Rodrigues.
MIT Technical Report MIT-CSAIL-TR-2005-047, (Cambridge, MA), July 2005.
Details. Download: pdf .

“High Availability in DHTs: Erasure Coding vs. Replication”
by Rodrigo Rodrigues and Barbara Liskov.
In Peer-to-Peer Systems IV 4th International Workshop IPTPS 2005, (Ithaca, New York), Feb. 2005.
Details. Download: pdf .

2004

“EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management”
by Ben Leong, Barbara Liskov, and Erik D. Demaine.
In 12th International Conference on Networks (ICON), (Singapore), Nov. 2004.
Details. Download: pdf, ps .

“Achieving One-Hop DHT Lookup and Strong Stabilization by Passing Tokens”
by Ben Leong and Ji Li.
In 12th International Conference on Networks (ICON), (Singapore), Nov. 2004.
Details. Download: pdf, ps.

“Transactional File Systems Can Be Fast”
by Barbara Liskov and Rodrigo Rodrigues.
In 11th ACM SIGOPS European Workshop, (Leuven, Belgium), Sep. 2004.
Details. Download: ps, pdf .

“Automatic Software Upgrades for Distributed Systems”
by Sameer Ajmani.
Ph.D. dissertation, MIT, Sep. 2004. Also as Technical Report MIT-LCS-TR-1012.
Details. Download: ps, pdf .

“EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management”
by Ben Leong, Barbara Liskov, and Erik D. Demaine.
MIT Technical Report MIT-LCS-TR-963, (Cambridge, MA), Aug. 2004.
Details. Download: pdf, ps .

“Reconfigurable Byzantine-Fault-Tolerant Atomic Memory”
by Rodrigo Rodrigues and Barbara Liskov.
In Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), (St. John's, Newfoundland, Canada), July 2004. Brief Announcement.
Details. Download: ps, pdf .

“Authentication in a Reconfigurable Byzantine Fault Tolerant System”
by Kathryn Chen.
Masters thesis, MIT, July 2004.
Details. Download: pdf .

“Byzantine Modification Detection in Multicast Networks using Randomized Network Coding”
by Tracey Ho, Ben Leong, Ralf Koetter, Muriel M├ędard, Michelle Effros, and David Karger.
In Proceedings of the 2004 IEEE International Symposium on Information Theory (ISIT), June 2004.
Details. Download: pdf, ps.

“Byzantine Fault Tolerance in Long-Lived Systems”
by Rodrigo Rodrigues and Barbara Liskov.
In 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II), (Bertinoro, Italy), June 2004. Also as Technical Report MIT-LCS-TR-962.
Details. Download: ps, pdf .

“TimeLine: A High Performance Archive for a Distributed Object Store”
by Chuang-Hue Moh and Barbara Liskov.
In First Symposium on Networked Systems Design and Implementation (NSDI), (San Francisco, CA), Mar. 2004.
Details. Download: ps, pdf.

“Efficient Routing for Peer-to-Peer Overlays”
by Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues.
In First Symposium on Networked Systems Design and Implementation (NSDI), (San Francisco, CA), Mar. 2004.
Details. Download: pdf .

“When Multi-Hop Peer-to-Peer Routing Matters”
by Rodrigo Rodrigues and Charles Blake.
In 3rd International Workshop on Peer-to-Peer Systems (IPTPS), Feb. 2004.
Details. Download: ps, pdf.

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

2003

“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.

“BASE: Using Abstraction to Improve Fault Tolerance”
by Miguel Castro, Rodrigo Rodrigues, and Barbara Liskov.
ACM Transactions on Computer Systems (TOCS), vol. 21, no. 3, Aug. 2003.
Details. Download: abstract.

“Two Hop Lookups for Large Scale Peer-to-Peer Overlays”
by Anjali Gupta.
In First IRIS Student Workshop, (Cambridge, Massachusetts), Aug. 2003.
Details.

“An Agenda for Robust Peer-to-Peer Storage”
by Rodrigo Rodrigues.
In First IRIS Student Workshop, (Cambridge, Massachusetts), Aug. 2003.
Details. Download: ps, pdf, ppt, ps:slides.

“Snapshots in a Distributed Persistent Object Storage System”
by Chuang-Hue Moh.
Masters thesis, MIT, (Cambridge, MA, USA), May 2003.
Details.

“Scheduling and Simulation: How to Upgrade Distributed Systems”
by Sameer Ajmani, Barbara Liskov, and Liuba Shrira.
In Ninth Workshop on Hot Topics in Operating Systems (HotOS-IX), (Lihue, Hawaii), May 2003, pp. 43-48.
Details. Download: ppt, pdf, ps.

“One Hop Lookups for Peer-to-Peer Overlays”
by Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues.
In Ninth Workshop on Hot Topics in Operating Systems (HotOS-IX), (Lihue, Hawaii), May 2003, pp. 7-12.
Details. Download: ps, pdf.

“High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two”
by Charles Blake and Rodrigo Rodrigues.
In Ninth Workshop on Hot Topics in Operating Systems (HotOS-IX), (Lihue, Hawaii), May 2003, pp. 1-6.
Details. Download: ps, pdf, html, pdf:slides.

“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 .

2002

“Practical Byzantine Fault Tolerance and Proactive Recovery”
by Miguel Castro and Barbara Liskov.
ACM Transactions on Computer Systems (TOCS), vol. 20, no. 4, Nov. 2002, pp. 398-461.
Details. Download: abstract.

“The Design of a Robust Peer-to-Peer System”
by Rodrigo Rodrigues, Barbara Liskov, and Liuba Shrira.
In 10th ACM SIGOPS European Workshop, (Saint Emilion, France), Sep. 2002.
Details. Download: ps, pdf, ppt.

“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 .

“ConChord: Cooperative SDSI Certificate Storage and Name Resolution”
by Sameer Ajmani, Dwaine E. Clarke, Chuang-Hue Moh, and Steven Richman.
In First International Workshop on Peer-to-Peer Systems (IPTPS), Mar. 2002, pp. 141-154.
Details. Download: pdf, ps.

2001

“BASE: Using Abstraction to Improve Fault Tolerance”
by Rodrigo Rodrigues, Miguel Castro, and Barbara Liskov.
In 18th Symposium on Operating Systems Principles (SOSP), (Banff, Canada), Oct. 2001. Best paper award.
Details. Download: ps, pdf, ppt.

“Lazy Schema Evolution in Object-Oriented Databases”
by Yin Cheung.
Masters thesis, MIT, Sep. 2001.
Details. Download: ps, pdf .

“Byzantine fault tolerance can be fast”
by Miguel Castro and Barbara Liskov.
In International Conference on Dependable Systems and Networks (DSN), (Goteborg, Sweden), July 2001, pp. 513-518.
Details. Download: pdf.

“Using Abstraction to Improve Fault Tolerance”
by Miguel Castro, Rodrigo Rodrigues, and Barbara Liskov.
In 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), (Elmau/Oberbayern, Germany), May 2001.
Details. Download: ps, pdf.

“Combining Abstraction with Byzantine Fault Tolerance”
by Rodrigo Rodrigues.
Masters thesis, MIT, May 2001. Also as Technical Report MIT-LCS-TR-850.
Details. Download: ps, pdf .

“A Trusted Third-Party Computation Service”
by Sameer Ajmani, Robert Morris, and Barbara Liskov.
MIT technical report MIT-LCS-TR-847, May 2001.
Details. Download: pdf, ps.

“Practical Byzantine Fault Tolerance”
by Miguel Castro.
Ph.D. dissertation, MIT, Jan. 2001. Also as Technical Report MIT-LCS-TR-817.
Details. Download: ps, pdf .

“A Scalable Byzantine Fault Tolerant Secure Domain Name System”
by Sarah Ahmed.
Masters thesis, MIT, Jan. 2001. Also as Technical Report MIT-LCS-TR-849.
Details. Download: pdf .

2000

Generalized Isolation Level Definitions
by Atul Adya, Barbara Liskov, and Patrick E. O'Neil.
In International conference on Data Engineering ICDE, 2000, pp. 67-78.
Details. Download: pdf, ps.

“Proactive Recovery in a Byzantine-Fault-Tolerant System”
by Miguel Castro and Barbara Liskov.
In Fourth Symposium on Operating Systems Design and Implementation (OSDI), (San Diego, USA), Oct. 2000.
Details. Download: pdf, ps, html.

“Dynamic Reconfiguration of Component-Based Applications in Java”
by Ziqiang Tang.
Masters thesis, MIT, Sep. 2000.
Details. Download: ps .

“A Trusted Execution Platform for Multiparty Computation”
by Sameer Ajmani.
Masters thesis, MIT, Sep. 2000. Also available as MIT technical report MIT-LCS-TR-846.
Details. Download: pdf, ps.

“Lazy Type Changes in Object-Oriented Databases”
by Shan-Ming Woo.
Masters thesis, MIT, Jan. 2000.
Details. Download: ps .

1999

“Providing Persistent Objects in Distributed Systems”
by Barbara Liskov, Miguel Castro, Liuba Shrira, and Atul Adya.
In European Conference on Object-Oriented Programming (ECOOP), (Lisbon, Portugal), June 1999.
Details. Download: pdf, ps.

“Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography”
by Miguel Castro and Barbara Liskov.
MIT Technical Memo MIT-LCS-TM-589, June 1999.
Details. Download: ps, pdf .

“A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm”
by Miguel Castro and Barbara Liskov.
MIT Technical Memo MIT-LCS-TM-590, June 1999.
Details. Download: ps, pdf .

“Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions”
by Atul Adya.
Ph.D. dissertation, MIT, (Cambridge, MA, USA), Mar. 1999. Also as Technical Report MIT/LCS/TR-786.
Details. Download: pdf.

“Practical Byzantine Fault Tolerance”
by Miguel Castro and Barbara Liskov.
In Third Symposium on Operating Systems Design and Implementation (OSDI), (New Orleans, Louisiana), Feb. 1999.
Details. Download: pdf, ps, html.

JFlow: Practical Mostly-Static Information Flow Control
by Andrew C. Myers.
In Symposium on Principles of Programming Languages (POPL), (San Antonio, Texas), Jan. 1999, pp. 228-241.
Details. Download: pdf, ps.

“Using a Byzantine-Fault-Tolerant Algorithm to Provide a Secure DNS”
by Zheng Yang.
Masters thesis, MIT, Jan. 1999.
Details. Download: ps, pdf .

1998

Complete, Safe Information Flow with Decentralized Labels
by Andrew C. Myers and Barbara Liskov.
In 19th IEEE Symposium on Research in Security and Privacy (RSP), (Oakland, California), May 1998.
Details. Download: pdf, ps .

1997

Parameterized Types for Java
by Andrew C. Myers, Joseph A. Bank, and Barbara Liskov.
In 24th ACM Symposium on Principles of Programming Languages (POPL), (New York, NY), 1997, pp. 132-145.
Details.

HAC: Hybrid Adaptive Caching for Distributed Storage Systems
by Miguel Castro, Atul Adya, Barbara Liskov, and Andrew C. Myers.
In ACM Symposium on Operating Systems Principles (SOSP), (Saint Malo, France), Oct. 1997, pp. 102-115.
Details. Download: pdf, ps.

A Decentralized Model for Information Flow Control
by Andrew C. Myers and Barbara Liskov.
In ACM Symposium on Operating Systems Principles (SOSP), (Saint Malo, France), Oct. 1997, pp. 129-142.
Details. Download: pdf, ps.

Lazy Consistency Using Loosely Synchronized Clocks
by Atul Adya and Barbara Liskov.
In ACM Symposium on Principles of Distributed Computing (PODC), (Santa Barbara, CA), Aug. 1997, pp. 73-82.
Details.

Collecting Distributed Garbage Cycles by Back Tracing
by Umesh Maheshwari and Barbara Liskov.
In ACM Symposium on Principles of Distributed Computing (PODC), (Santa Barbara, CA), Aug. 1997, pp. 239-248.
Details.

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System
by Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, and Liuba Shrira.
In International Conference on Distributed Computing Systems, (Baltimore, Maryland), May 1997.
Details.

1995

Collecting Cyclic Distributed garbage by Controlled Migration
by Umesh Maheshwari and Barbara Liskov.
In Proceedings of Principles of Distributed Computing (PODC), 1995. Best student paper award.
Details.

Subtypes vs. where clauses: Constraining parametric polymorphism
by Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Meyers.
In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Austin, TX), Oct. 1995, pp. 156-168.
Details.

Bidirectional Object Layout for Separate Compilation
by Andrew C. Myers.
In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Austin, TX), Oct. 1995, pp. 124-139.
Details.

Efficient optimistic concurrency control using loosely synchronized clocks
by Atul Adya, Robert Gruber, Barbara Liskov, and Umesh Maheshwari.
In ACM Conference on Management of Data (SIGMOD), (San Jose, CA), June 1995, pp. 23-34.
Details.

1994

“The Language-Independent Interface of the Thor Persistent Object System”
by Barbara Liskov, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew Myers, and Liuba Shrira.
Object-Oriented Multidatabase Systems, (O. Bukhres and A. Elmagarmid, eds.), 1994, Prentice-Hall.
Details.

“Disconnected Operation in the Thor Object-Oriented Database System”
by Robert Gruber, Frans Kaashoek, Barbara Liskov, and Liuba Shrira.
In IEEE Workshop on Mobile Computing Systems and Applications, (Santa Cruz, CA), Dec. 1994.
Details.

“Opportunistic Log: Efficient Installation Reads in a Reliable Object Server”
by James O'Toole and Liuba Shrira.
In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Nov. 1994.
Details.

“A Behavioral Notion of Subtyping”
by Barbara Liskov and Jeannette Wing.
ACM Transactions on Programming Languages and Systems, vol. 16, no. 6, Nov. 1994, pp. 1811-1841.
Details.

“Hybrid Caching for Scalable Object Systems (Think Globally, Act Locally)”
by James O'Toole and Liuba Shrira.
In 6th International Workshop on Persistent Object Systems, Sep. 1994.
Details.

“Fault-Tolerant Distributed Garbage Collection in a Client-Server, Object-Oriented Database”
by Umesh Maheshwari and Barbara Liskov.
In Parallel and Distributed Information Systems, (Austin, TX), Sep. 1994.
Details.

“References to Remote Mobile Objects in Thor”
by Mark Day, Barbara Liskov, Umesh Maheshwari, and Andrew Myers.
In ACM Letters on Programming Languages and Systems, Mar. 1994.
Details.

1993

“Distributed Object Management in Thor”
by Barbara Liskov, Mark Day, and Liuba Shrira.
Distributed Object Management, (T. Ozsu, U. Dayal, and P. Valduriez, eds.), 1993, pp. 79-91, Morgan Kaufmann.
Details.

“Lockup of a Client Object Cache and How to Avoid It”
by Mark Day.
In 3rd International Workshop on Object-Oriented Operating Systems, (Asheville, North Carolina), Dec. 1993.
Details.

“Disk Management for Object-Oriented Databases”
by Sanjay Ghemawat.
In 3rd International Workshop on Object-Oriented Operating Systems, (Asheville, North Carolina), Dec. 1993.
Details.

“Resolving the Integrity/Performance Conflict”
by Andrew Myers.
In 4th Workshop on Workstation Operating Systems, (Napa, California), Oct. 1993.
Details.

“Object Clusters May Be Better Than Pages”
by Mark Day.
In 4th Workshop on Workstation Operating Systems, (Napa, California), Oct. 1993.
Details.

1992

“Reconfiguration in Argus”
by Toby Bloom and Mark Day.
In Intl. Workshop on Configurable Dist. Systems, (London, England), Mar. 1992, pp. 176-187.
Details.

1991

“Replication in the Harp File System”
by Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, and Michael Williams.
In 13th ACM Symposium on Operating Systems Principles (SOSP), (Pacific Grove, CA), Oct. 1991. Also as Technical Memo MIT/LCS/TM-456, MIT Laboratory for Computer Science, Cambridge, MA, August 1991.
Details. Download: pdf.

1988

“Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems”
by Brian Oki and Barbara Liskov.
In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing (PODC), Aug. 1988.
Details. Download: pdf.

“Viewstamped Replication for Highly Available Distributed Systems”
by Brian Oki.
Ph.D. dissertation, MIT, Aug. 1988. Also as Technical Report MIT-LCS-TR-423.
Details. Download: pdf, ps .

1983

“Dynamic Module Replacement in a Distributed Programming System”
by Toby Bloom.
Ph.D. dissertation, MIT, 1983, 134 pages. Also as MIT LCS Tech. Report 303.
Details. Download: 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 Wed May 1 12:49:34 2013 by bibtex2web

Programming Methodology Group