Barbara Liskov Âs Turing Award Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) rodrigo@mpi-sws.org On March 10 this year, Barbara Liskov was awarded the 2008 ACM Turing award, the highest distinction for technical accomplishments in computer science. Most of us in this community are familiar with Barbara Âs work on distributed computing. Her work in this Âeld is impressive in terms of both the breadth of topics it covers, and the impact of her contributions. Examples include the Viewstamped Replication protocol for state machine replication, Ârst presented in PODC in 1988; the work on distributed garbage collection that dates back to the mid-80s, long before environments such as the .NET Framework incorporated such concepts; the Thor project that proposed a transactional storage system that had several innovative techniques in areas like client caching or optimistic concurrency control; and more recently the work on Byzantine fault tolerance that brought new life to a subject that was considered by many to be of limited practical interest. Barbara Âs Turing award lecture was given on October 12, 2009 at the opening session of the 22nd ACM Symposium on Operating Systems Principles. Somewhat surprisingly, the lecture focused on her earlier work
/lp/association-for-computing-machinery/barbara-liskov-s-turing-award-eYQoSxxyu8