Programming Methodology Group publications by Barbara Liskov

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

Copyright notice.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Jul 15 13:48:30 2008 by bibtex2web

Programming Methodology Group