MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Dependability, Abstraction, and Programming

David Lomet
Microsoft Research
Kolloquium
AG 1, AG 2, AG 3, AG 4, AG 5  
AG Audience

Date, Time and Location

Friday, 26 August 2005
15:15
90 Minutes
46.1 - MPII
024
Saarbrücken

Abstract

Enterprise applications require a very high degree of dependability. We argue that for programs to be dependable, it is critical that programmers be provided with an abstraction that makes it easy to provide application availability and scalability. This would permit the programmer to focus on correctly implementing the business logic of the application. When the application programmer has to deal with system "enterprise" attributes explicitly, it clutters his program with extra concerns, making the application harder to write, harder to debug, and harder to get right. Too often, current and even proposed approaches force the application programmer to explicitly manage application state to ensure dependability. We discuss how, with the right abstraction, availability and scalability can be provided via the system transparently managing application state. The Phoenix/App project at Microsoft Research provides a demonstration of the practicality of this approach.

Contact

German Shegalov
512
--email hidden
passcode not visible
logged in users only

Short biography:

David Lomet has been a senior researcher and manager of the Database Group at Microsoft Research, Redmond, Washington since 1995. Before that, he spent six years at Digital Equipment Corporation's Cambridge Research Lab (CRL), after spending a year and a half working in Digital's Rdb database group. Earlier, he was a researcher at the IBM Thomas J. Watson Research Center in Yorktown and subsequently a professor of Information Technology at the Wang Institute of Graduate Studies. Dr. Lomet spent a sabbatical at the University of Newcastle-upon-Tyne working on software reliability with Brian Randell. He has a Ph.D in Computer Science from the University of Pennsylvania.

Dr. Lomet has done research and product engineering in the areas of machine architecture, programming languages, and distributed systems. He is most known for his work in database systems and transactions. He is one of the inventors of the transaction concept. His work in database systems and transactions has focussed on access methods, concurrency control, and recovery. He is the author of over 80 papers and has over 25 patents. Two of his papers have won SIGMOD "best paper" awards.

Dr. Lomet has served on many program committees, including major database conferences (SIGMOD, VLDB, and ICDE). He was the ICDE'2000 PC co-chair and is the VLDB'06 core track PC chair. He is a member of the ICDE Steering Committee and the IEEE TCDE Executive Committee. He has attended several NSF and ACM "research directions" workshops. Dr. Lomet has served as editor-in-chief of the Data Engineering Bulletin since 1992 and has been an editor of ACM TODS, the VLDB Journal, and the Journal of Distributed and Parallel Databases. He is an IEEE Golden Core Member and has received IEEE Outstanding Contribution and Meritorious Service Awards. Dr. Lomet is a Fellow of both the ACM and the IEEE.


Adriana Davidescu, 08/23/2005 11:59
Petra Schaaf, 08/02/2005 10:32 -- Created document.