Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu

Source URL: read.seas.harvard.edu

Replication in the Harp File System Barbara Liskov Sanjay Ghemawat Robert Gruber Paul Johnson Liuba Shrira

Source URL: nil.csail.mit.edu

Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems Barbara Liskov Liuba Shrira

Source URL: heather.miller.am

Tolerating Byzantine Faults in Transaction Processing Systems using Commit Barrier Scheduling Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Sam Madden MIT Computer Science and Artificial Intelligence Lab Cambridge, MA

Source URL: www.sosp2007.org

Scheduling and Simulation: How to Upgrade Distributed Systems Sameer Ajmani Barbara Liskov Massachusetts Institute of Technology Laboratory for Computer Science

Source URL: www.pmg.lcs.mit.edu

Replication in the Harp File System Barbara Liskov Sanjay Ghemawat Robert Gruber Paul Johnson Liuba Shrira

Source URL: www.pmg.csail.mit.edu

Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

Source URL: www.cs.cornell.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Control flow
• Cross-platform software
• Concurrent programming languages
• Java
• Exception handling
• Iterator
• C++
• Scala

Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu

Source URL: www.cs.utah.edu

• Computing
• Fault-tolerant computer systems
• Data synchronization
• State machine replication
• Replication
• Network File System
• Byzantine fault tolerance
• Consensus
• Ping
• Transmission Control Protocol
• Virtual synchrony
• Data grid

hlf_2016_participating_laureates.indd

Source URL: www.heidelberg-laureate-forum.org

• Turing Award laureates
• Turing Award
• Nevanlinna Prize
• Robert Tarjan
• John Hopcroft
• Barbara Liskov
• Fields Medal
• Leslie Lamport
• Stephen Cook
• Alan Turing
• Tony Hoare
• Turing

Barbara Liskov Barbara Liskov is an Institute Professor at MIT and also Associate Provost for Faculty Equity. She is a member of the National Academy of Engineering, a fellow of the American Academy of Arts and Sciences

Source URL: cs.uwlax.edu