Barbara Liskov

发表

Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2003, POPL '03.
Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2003, OOPSLA '03.
Eddie Kohler, Samuel Madden, Stephen Tu, 2013, SOSP.
Barbara Liskov, Umesh Maheshwari, B. Liskov, 1997, PODC '97.
Barbara Liskov, Robert Scheifler, B. Liskov, 1983, TOPL.
Rodrigo Rodrigues, Barbara Liskov, 2004, EW 11.
Barbara Liskov, Umesh Maheshwari, B. Liskov, 1997, PODC '95.
Liuba Shrira, Barbara Liskov, Sameer Ajmani, 2003, HotOS.
Craig Schaffert, Alan Snyder, Barbara Liskov, 1984, Lecture Notes in Computer Science.
Miguel Castro, Barbara Liskov, M. Castro, 2000, OSDI.
Miguel Castro, Liuba Shrira, Andrew C. Myers, 1996, SIGMOD '96.
William E. Weihl, Barbara Liskov, 2005, Distributed Computing.
Barbara Liskov, 2012 .
Ben Leong, Sayan Mitra, Barbara Liskov, 2005, 13TH IEEE International Conference on Network Protocols (ICNP'05).
Patrick E. O'Neil, Barbara Liskov, Atul Adya, 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).
Barbara Liskov, B. Liskov, 1978, HOPL.
Barbara Liskov, Brian M. Oki, Robert W. Scheifler, 1983, SOSP 1985.
Barbara Liskov, B. Liskov, 1978, HOPL.
Maurice Herlihy, Gary T. Leavens, Barbara Liskov, 1987 .
Barbara Liskov, Geoffrey Gordon, 1981 .
Barbara Liskov, B. Liskov, 1987 .
Barbara Liskov, B. Liskov, 1978, History of Programming Languages.
Anjali Gupta, Rodrigo Rodrigues, Barbara Liskov, 2004, NSDI.
Barbara Liskov, B. Liskov, 2011 .
Liuba Shrira, Rodrigo Rodrigues, Barbara Liskov, 2002, EW 10.
Stephen N. Zilles, Barbara Liskov, 1975 .
Elliot K. Kolodner, William E. Weihl, Barbara Liskov, 2022 .
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2015, PLDI.
Liuba Shrira, Barbara Liskov, Rivka Ladin, 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.
Barbara Liskov, B. Liskov, 1978, HOPL.
Maurice Herlihy, Barbara Liskov, B. Liskov, 1982, TOPL.
Barbara Liskov, Rivka Ladin, B. Liskov, 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
Robert Tappan Morris, Ben Leong, Barbara Liskov, 2006, NSDI.
Leslie Lamport, Günter Hommel, Fred B. Schneider, 1985, Advanced Course: Distributed Systems.
Moses D. Liskov, Barbara Liskov, David A. Schultz, 2008, PODC '08.
Barbara Liskov, B. Liskov, 1988, CACM.
Craig Schaffert, Alan Snyder, Barbara Liskov, 1977, Commun. ACM.
Barbara Liskov, Daniel S. Myers, James A. Cowling, 2007, USENIX Annual Technical Conference.
Barbara Liskov, Chuang-Hue Moh, B. Liskov, 2004, NSDI.
Barbara Liskov, Anita K. Jones, B. Liskov, 1976, IEEE Transactions on Software Engineering.
Liuba Shrira, John Wroclawski, Barbara Liskov, 1990, SIGCOMM 1990.
Barbara Liskov, B. Liskov, 1979, Abstract Software Specifications.
Barbara Liskov, Anita K. Jones, 1976 .
Stephen N. Zilles, Barbara Liskov, 1975, IEEE Trans. Software Eng..
Liuba Shrira, Rodrigo Rodrigues, Barbara Liskov, 2007 .
William E. Weihl, Barbara Liskov, 1985, TOPL.
Barbara Liskov, B. Liskov, 1979, SOSP '79.
Barbara Liskov, B. Liskov, 1978, AFIPS National Computer Conference.
Robert Gruber, Barbara Liskov, Umesh Maheshwari, 1995, SIGMOD '95.
Deborah Estrin, William J. Kaiser, Nancy G. Leveson, 2001 .
Barbara Liskov, B. Liskov, 1982, IEEE Transactions on Software Engineering.
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2015 .
Rodrigo Rodrigues, Moses D. Liskov, Barbara Liskov, 2012, IEEE Transactions on Dependable and Secure Computing.
Andrew C. Myers, Barbara Liskov, A. Myers, 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2002 .
Andrew C. Myers, Barbara Liskov, A. Myers, 1998, Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).
Liuba Shrira, Barbara Liskov, Rivka Ladin, 2005, Algorithmica.
Barbara Liskov, B. Liskov, 1988, OOPSLA '87.
Kristen Nygaard, Barbara Liskov, Ole-Johan Dahl, 1981 .
Eddie Kohler, Liuba Shrira, Barbara Liskov, 2018, ArXiv.
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2003 .
Miguel Castro, Andrew C. Myers, Barbara Liskov, 1997, SOSP.
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2004 .
Alan Snyder, Barbara Liskov, B. Liskov, 1979, IEEE Transactions on Software Engineering.
Barbara Liskov, Robert Scheifler, Dorothy Curtis, 1987, SOSP '87.
Andrew C. Myers, Robert Gruber, Barbara Liskov, 1995, OOPSLA.
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov, 2003, TOCS.
Barbara Liskov, Phillip Bogle, B. Liskov, 1994, OOPSLA '94.
Barbara Liskov, Robert Scheifler, Brian M. Oki, 1983, SOSP '85.
Michael Williams, Liuba Shrira, Robert Gruber, 1991, SOSP '91.
Barbara Liskov, B. Liskov, 1978, History of Programming Languages.
Barbara Liskov, 2019, ASPLOS.
Andrew C. Myers, Joseph A. Bank, Barbara Liskov, 1997, POPL '97.
Anjali Gupta, Rodrigo Rodrigues, Barbara Liskov, 2003, HotOS.
Liuba Shrira, Barbara Liskov, Sameer Ajmani, 2006, ECOOP.
Barbara Liskov, Andrew Xu, B. Liskov, 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
Liuba Shrira, Barbara Liskov, Rivka Ladin, 1991, EW 4.
Winnie Cheng, Liuba Shrira, Dan R. K. Ports, 2012, USENIX Annual Technical Conference.
Barbara Liskov, B. Liskov, 2010, Replication.
Samuel Madden, Irene Zhang, Dan R. K. Ports, 2010, OSDI.
Erik D. Demaine, Ben Leong, Barbara Liskov, 2004, Proceedings. 2004 12th IEEE International Conference on Networks (ICON 2004) (IEEE Cat. No.04EX955).
Barbara Liskov, B. Liskov, 1991, PODC '91.
Liuba Shrira, Barbara Liskov, 1992, [1992] Proceedings Third Workshop on Workstation Operating Systems.
Rodrigo Rodrigues, Barbara Liskov, 2006, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06).
Barbara Liskov, B. Liskov, 1975, AFIPS '75.
Barbara Liskov, James A. Cowling, B. Liskov, 2012, USENIX Annual Technical Conference.
Barbara Liskov, B. Liskov, 1978, HOPL.
Liuba Shrira, Barbara Liskov, Rivka Ladin, 1990, ACM SIGOPS European Workshop.
Barbara Liskov, L. Svobodova, D. D. Clark, 1979 .
Barbara Liskov, 1972, CACM.
Barbara Liskov, B. Liskov, 1978 .
Liuba Shrira, Rodrigo Rodrigues, Barbara Liskov, 2006, OSDI '06.
Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2003, OOPSLA.
Andrew C. Myers, Barbara Liskov, Guido Salvaneschi, 2016 .
Jeannette M. Wing, Barbara Liskov, B. Liskov, 1992 .
Barbara Liskov, Umesh Maheshwari, B. Liskov, 1995, PODC.
Miguel Castro, Barbara Liskov, Atul Adya, 1996, POS.
Barbara Liskov, John V. Guttag, J. Guttag, 1986 .
Barbara Liskov, Anita K. Jones, B. Liskov, 1978, CACM.
Robert Gruber, Barbara Liskov, Paul Johnson, 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.
Bharat K. Bhargava, Jeffrey D. Ullman, Stephen R. Kimbleton, 1978, ACM Annual Conference.
Liuba Shrira, Robert Gruber, Barbara Liskov, 1990, EW 4.
William E. Weihl, Barbara Liskov, 1983, ACM SIGPLAN Notices.
Liuba Shrira, Barbara Liskov, Rivka Ladin, 1992, TOCS.
Barbara Liskov, B. Liskov, 1990, POS.
Tony Hoare, Peter Naur, Barbara Liskov, 2012 .
Stephen N. Zilles, Barbara Liskov, B. Liskov, 1974, SIGPLAN Symposium on Very High Level Languages.
Barbara Liskov, B. Liskov, 2009, OOPSLA 2009.
Eddie Kohler, Stephen Tu, Barbara Liskov, 2014, OSDI.
Jeannette M. Wing, Barbara Liskov, B. Liskov, 1994, TOPL.
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2005, IPTPS.
Moses D. Liskov, Barbara Liskov, David A. Schultz, 2010, TSEC.
Barbara Liskov, B. Liskov, 1978, HOPL.
Miguel Castro, Barbara Liskov, M. Castro, 2002, TOCS.
Barbara Liskov, Umesh Maheshwari, T. Ng, 1996, Proceedings of the Fifth International Workshop on Object-Orientation in Operation Systems.
Liuba Shrira, Robert Gruber, Barbara Liskov, 1992, Workshop on the Management of Replicated Data.
Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2003, POPL '03.
M. Frans Kaashoek, Barbara Liskov, Sanjay Ghemawat, 1995, SOSP.
Miguel Castro, Barbara Liskov, M. Castro, 1999 .
Eddie Kohler, Liuba Shrira, Barbara Liskov, 2020, The VLDB Journal.
Liuba Shrira, Robert Gruber, Barbara Liskov, 1992, [1992 Proceedings] Second Workshop on the Management of Replicated Data.
Barbara Liskov, 2005, Distributed Computing.
Andrew C. Myers, Yizhou Zhang, Barbara Liskov, 2016, PLDI.
Craig Schaffert, Alan Snyder, Barbara Liskov, 1977 .
Barbara Liskov, 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
Liuba Shrira, Robert Gruber, Barbara Liskov, 1991, OPSR.
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2005, DISC.
Liuba Shrira, John Wroclawski, Barbara Liskov, 1989, Proceedings of the Second Workshop on Workstation Operating Systems.
Barbara Liskov, B. Liskov, 1978, HOPL.
Stephen N. Zilles, Barbara Liskov, 1974 .
John McCarthy, Barbara Liskov, Paul Abrahams, 1981 .
Barbara Liskov, B. Liskov, 1978 .
Miguel Castro, Liuba Shrira, Barbara Liskov, 1999, ECOOP.
Barbara Liskov, B. Liskov, 1972, AFIPS '72 (Fall, part I).
Barbara Liskov, David A. Schultz, B. Liskov, 2013, EuroSys '13.
Barbara Liskov, 2015, SOSP History Day.
Andrew C. Myers, Barbara Liskov, Umesh Maheshwari, 1993, LOPL.
Barbara Liskov, B. Liskov, 1993, HOPL-II.
Barbara Liskov, Brian M. Oki, B. Liskov, 1988, PODC.
Liuba Shrira, Robert Gruber, Barbara Liskov, 1990, POS.
Liuba Shrira, Chandrasekhar Boyapati, Barbara Liskov, 2002 .
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov, 2001, Proceedings Eighth Workshop on Hot Topics in Operating Systems.
Jeannette M. Wing, Barbara Liskov, B. Liskov, 2001, FME 2001.
Barbara Liskov, B. Liskov, 1978, HOPL.
Barbara Liskov, B. Liskov, 1984, Advanced Course: Distributed Systems.
Andrew C. Myers, Barbara Liskov, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2004, PODC '04.
Niklaus Wirth, Barbara Liskov, Frances E. Allen, 2012, ACM-TURING '12.
Barbara Liskov, B. Liskov, 1978 .
Miguel Castro, Barbara Liskov, M. Castro, 2001, 2001 International Conference on Dependable Systems and Networks.
Barbara Liskov, 1996 .
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov, 2001, SOSP.
Barbara Liskov, James A. Cowling, James Cowling, 2012 .
Barbara Liskov, Umesh Maheshwari, 1995, PODC '95.
Liuba Shrira, John Wroclawski, Barbara Liskov, 1991, TOCS.
Barbara Liskov, B. Liskov, 1978, HOPL.
Dan R. K. Ports, Barbara Liskov, Raluca A. Popa, 2009, USENIX Annual Technical Conference.
Jeannette M. Wing, Barbara Liskov, B. Liskov, 1993 .
Barbara Liskov, Robert Freiburghouse, 1973 .
Barbara Liskov, Atul Adya, 1997, PODC '97.
Liuba Shrira, Ross Shaull, Barbara Liskov, 2014, USENIX Annual Technical Conference.
Barbara Liskov, 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..
Andrew C. Myers, Barbara Liskov, A. Myers, 1997, SOSP.
Liuba Shrira, Andrew C. Myers, Robert Gruber, 1995 .
Robert Tappan Morris, Ben Leong, Barbara Liskov, 2007, 2007 IEEE International Conference on Network Protocols.
Barbara Liskov, Umesh Maheshwari, 1997, SIGMOD '97.
Barbara Liskov, Robert Scheifler, B. Liskov, 1982, POPL '82.
Jeannette M. Wing, Barbara Liskov, B. Liskov, 1993, OOPSLA '93.
Craig Schaffert, Alan Snyder, Barbara Liskov, 1977, CACM.
Barbara Liskov, Umesh Maheshwari, B. Liskov, 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.
Miguel Castro, Barbara Liskov, Atul Adya, 1997 .
Miguel Castro, Liuba Shrira, Barbara Liskov, 1996, EW 7.
Barbara Liskov, Edwin Towster, 1971 .
Jeannette M. Wing, Barbara Liskov, 1995, ZUM.
Jason Flinn, Peter M. Chen, Barbara Liskov, 2009, NSDI.
Rodrigo Rodrigues, Barbara Liskov, R. Rodrigues, 2005 .
Liuba Shrira, Barbara Liskov, Maurice Herlihy, 2019, The VLDB Journal.
Barbara Liskov, Robert Scheifler, Russell R. Atkinson, 1978, ACM Annual Conference.
Barbara Liskov, Phillip Bogle, 1994, OOPSLA 1994.
Jeannette M. Wing, Barbara Liskov, B. Liskov, 1993, ECOOP.
Eddie Kohler, Liuba Shrira, Barbara Liskov, 2016, EuroSys.
Maurice Herlihy, Barbara Liskov, 1983, Symposium on Reliability in Distributed Software and Database Systems.
Andrew C. Myers, Robert Gruber, Barbara Liskov, 2013 .
Liuba Shrira, Barbara Liskov, Mark Day, 1992, IWDOM.
Miguel Castro, Liuba Shrira, Barbara Liskov, 1997, Proceedings of 17th International Conference on Distributed Computing Systems.
Andrew C. Myers, Barbara Liskov, A. Myers, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Stephen N. Zilles, Barbara Liskov, B. Liskov, 2021 .
Liuba Shrira, Barbara Liskov, Maurice Herlihy, 2021, The VLDB Journal.
Barbara Liskov, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Barbara Liskov, William Weihl, 1983, SIGPLAN '83.