Dependability, Abstraction, and Programming

David Lomet (Microsoft Research)

CSIRO ICT

DATE: 2009-04-24
TIME: 15:00:00 - 16:00:00
LOCATION: Ian Ross Seminar Room
CONTACT: JavaScript must be enabled to display this email address.

ABSTRACT:
In this paper, we look at what is required to produce programs that are dependable. Dependability requires more than just high availability. Rather, a program needs to be "right" as well, solving the problem for which it was designed. This requires a program development infrastructure that can, by means of appropriate abstractions, permits the programmer to focus on his problem, and not be distracted by "systems issues" that arise when high availability is required. We discuss the attributes of good abstractions. We then illustrate this in the programming of dependable systems. Our "abstraction" is a "natural" stateful programming model for use in the web enterprise setting. The technical meat of the paper is (1) elaborating the nature this abstraction; and (2) supporting this abstraction to achieve good performance.
BIO:
David Lomet has been a principal researcher managing the Microsoft Research Database Group at Microsoft Research since 1995. Earlier, he spent seven and a half years at Digital Equipment Corporation. He has been at IBM Research in Yorktown and a Professor at Wang Institute. Dr. Lomet spent a sabbatical at University of Newcastle-upon-Tyne working with Brian Randell. He has a Computer Science Ph.D from the University of Pennsylvania.

Dr. Lomet has done research and product development in architecture, programming languages, and distributed systems. His primary interest is database systems, focusing on access methods, concurrency control, and recovery. He is one of the inventors of the transaction concept and is an author of over 90 papers and 35 patents. Two papers won SIGMOD "best paper" awards.

Dr. Lomet has served on program committees, including SIGMOD, PODS, VLDB, and ICDE. He was ICDE'2000 PC co-chair and VLDB 2006 PC core chair. He is a member of the ICDE Steering Committee and VLDB Board. He is editor-in-chief of the Data Engineering Bulletin since 1992 and past editor of ACM TODS and the VLDB Journal. Dr. Lomet is IEEE Golden Core Member and received IEEE Outstanding Contribution and Meritorious Service Awards. Dr. Lomet is both ACM Fellow and IEEE Fellow.