BibSLEIGH — Barbara

Travelled to:

1 × Germany
1 × Portugal
25 × USA
3 × Canada
3 × France

Collaborated with:

∅ L.Shrira M.Castro A.C.Myers R.Scheifler J.M.Wing A.Adya U.Maheshwari R.Gruber S.Madden S.Ghemawat R.Rodrigues C.Boyapati P.Bogle A.K.Jones W.Zheng S.Tu E.Kohler P.Johnson Y.Zhang G.Salvaneschi M.Day S.Ajmani J.A.Bank M.F.Kaashoek E.K.Kolodner W.E.Weihl M.Herlihy L.Gilbert B.M.Oki B.Vandiver H.Balakrishnan D.Curtis M.C.Loring D.R.K.Ports A.T.Clements I.Zhang J.A.Cowling D.S.Myers C.Moh S.Richman Quinn Beightol M.Williams

Talks about:

system (9) object (9) distribut (7) use (6) toler (5) fault (5) byzantin (4) transact (3) multicor (3) support (3)

Person: Barbara Liskov

DBLP: Liskov:Barbara

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2010

2007

2006

2003

2001

2000

1999

1997

1996

1995

1994

1993

1991

1989

1988

1987

1986

1985

1982

1979

1976

1972

1971

2016

2019

Wrote 38 papers:

PLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented: Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
OSDI-2014-ZhengTKL #database #manycore #parallel #performance: Fast Databases with Fast Durability and Recovery Through Multicore Parallelism (WZ, ST, EK, BL), pp. 465–477.
SOSP-2013-TuZKLM #database #in memory #manycore #transaction: Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
HILT-2012-Liskov #programming #turing machine: Keynote presentation: Programming the turing machine (BL), pp. 23–24.
OSDI-2010-PortsCZML #automation #consistency #transaction: Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.
SOSP-2007-VandiverBLM #commit #fault #scheduling #transaction #using: Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (BV, HB, BL, SM), pp. 59–72.
ECOOP-2006-AjmaniLS #composition #distributed: Modular Software Upgrades for Distributed Systems (SA, BL, LS), pp. 452–476.
OSDI-2006-CowlingMLRS #fault tolerance #hybrid #protocol #replication: HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance (JAC, DSM, BL, RR, LS), pp. 177–190.
OOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent: Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.
POPL-2003-BoyapatiLS #encapsulation: Ownership types for object encapsulation (CB, BL, LS), pp. 213–223.
SOSP-2001-RodriguesCL #abstraction #fault tolerance #named #using: BASE: Using Abstraction to Improve Fault Tolerance (RR, MC, BL), pp. 15–28.
OSDI-2000-CastroL #fault tolerance: Proactive Recovery in a Byzantine-Fault-Tolerant System (MC, BL), pp. 273–288.
ECOOP-1999-LiskovCSA #distributed #persistent: Providing Persistent Objects in Distributed Systems (BL, MC, LS, AA), pp. 230–257.
OSDI-1999-CastroL #fault tolerance: Practical Byzantine Fault Tolerance (MC, BL), pp. 173–186.
POPL-1997-BankLM #java: Parameterized Types for Java (ACM, JAB, BL), pp. 132–145.
SIGMOD-1997-MaheshwariL #garbage collection #scalability: Partitioned Garbage Collection of Large Object Store (UM, BL), pp. 313–323.
SOSP-1997-CastroALM #adaptation #distributed #hybrid #named: HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
SOSP-1997-MyersL #data flow #distributed: A Decentralized Model for Information Flow Control (ACM, BL), pp. 129–142.
SIGMOD-1996-LiskovACDGGMMS #performance #persistent: Safe and Efficient Sharing of Persistent Objects in Thor (BL, AA, MC, MD, SG, RG, UM, ACM, LS), pp. 318–329.
OOPSLA-1995-DayGLM #morphism #parametricity #polymorphism #type system: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.
SIGMOD-1995-AdyaGLM #concurrent #performance #using: Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks (AA, RG, BL, UM), pp. 23–34.
SOSP-1995-GhemawatKL #database #object-oriented #performance #using: Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database (SG, MFK, BL), p. 235.
OOPSLA-1994-BogleL #using: Reducing Cross Domain Call Overhead using Batched Futures (PB, BL), pp. 341–354.
ECOOP-1993-LiskovW #type system: A New Definition of the Subtype Relation (BL, JMW), pp. 118–141.
OOPSLA-1993-LiskovW #specification #type system: Specifications and Their Use in Defining Subtypes (BL, JMW), pp. 16–28.
SOSP-1991-LiskovGGJSW #file system #replication: Replication in the Harp File System (BL, SG, RG, PJ, LS, MW), pp. 226–238.
SIGMOD-1989-KolodnerLW #garbage collection: Atomic Garbage Collection: Managing a Stable Heap (EKK, BL, WEW), pp. 15–25.
PLDI-1988-LiskovS #distributed #named #performance: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems (BL, LS), pp. 260–267.
SOSP-1987-LiskovCJS #implementation: Implementation of Argus (BL, DC, PJ, RS), pp. 111–122.
POPL-1986-LiskovHG #communication #distributed #process: Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing (BL, MH, LG), pp. 150–159.
SOSP-1985-OkiLS #reliability: Reliable Object Storage to Support Atomic Actions (BMO, BL, RS), pp. 147–159.
POPL-1982-LiskovS #distributed #robust #source code: Guardians and Actions: Linguistic Support for Robust, Distributed Programs (BL, RS), pp. 7–19.
SOSP-1979-Liskov #distributed: Primitives for Distributed Computing (BL), pp. 33–42.
ICSE-1976-JonesL #data access: A Language Extension for Controlling Access to Shared Data (AKJ, BL), p. 235.
SOSP-J-1973-Liskov72 #design #operating system: The Design of the Venus Operating System (BL), pp. 144–149.
SOSP-1971-Liskov #design #operating system: The Design of the Venus Operating System (BL), pp. 11–16.
PLDI-2016-ZhangSBLM #exception: Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.
ASPLOS-2019-Liskov #manycore #named #programming: Keynote: Multicore Programming (BL), p. 1.