Unifying Tables Objects And Document

Date: May 19, 2003

Time: 11am

Room: BBL 107A

Speaker: Wolfram Schulte (Microsoft Research)

Title: Unifying Tables, Objects and Documents

(joint work with Erik Meijer and the WebData? group at MS)

Abstract

We propose a number of type-system and language extensions to natively support relational and hierarchical data within a statically typed object-oriented setting. In our approach SQL tables and XML documents become first class citizens that benefit from the full range of features available in a modern programming language like CSharp or Java. This allows objects, tables and documents to be constructed, loaded, passed, transformed, updated, and queried in a unified and type-safe manner.

Bio

Wolfram Schulte is a researcher at Microsoft Corporation, Redmond, since 1999. He received his Masters (1987) and PhD? (1992) in Computer Science from Technical University of Berlin. He has been a software engineer for Software Design and Management (1992-1993), and was Assistant Professor of Computer Science at University of Ulm (1993-1999) where he also got his Habilitation (2000). He worked for and collaborated with several large corporations, including Daimler-Chrysler and Rhode and Schwarz.

He has broad interests in several areas of software construction, including development methods, specification and programming languages, automatic analysis of designs and implementations, and automatic testing. At Microsoft he is a key contributor for a research project focused around the design and implementation of the abstract state machine specification language. AsmL? has been used in a variety of domains, at different levels of abstraction: for analyzing network architectures, web services, but also for hardware/software co-design. He is particularly motivated by direct use of principled theory to practical design and implementation of specification and programming languages. He is also keen to apply ideas from advanced formal methods to mainstream settings.

His home page is at http://research.microsoft.com/~schulte