Programming Methodology Group publications by Barbara Liskov

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

Copyright notice.


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

“Aeolus Reference Manual”
by Barbara Liskov.
MIT technical report MIT-CSAIL-TR-2012-030, Sep. 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.

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

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

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

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

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

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

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

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

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

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


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:41 2013 by bibtex2web

Programming Methodology Group