Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Wolfram Schulte

Wolfram Schulte
PARTNER GROUP SOFTWARE ENG MGR
.

I am a partner engineering manager at Microsoft's Cloud and Enterprise divison, Redmond, USA. 

I currently managing the Tools for Software Engineers (TSE) team, Microsoft’s main investment into building a single world class engineering system, addressing everything from code review, via build, test, and program analysis, to engineering insights.

Prior to TSE, I managed the Research in Software Engineering team, one of the world’s top software engineering research groups. My research interests include

  • software development tools, ranging from build, via automatic test to deployment,
  • software engineering analytics, ranging from collecting data to prediction,
  • programming languages, ranging from language design to runtimes.

Before joining MSR in 1999, I worked at the University of Ulm (1993-1999), at sd&m, a German software company (1992-1993), and at the Technical University Berlin (1987-1992).  

 

Highlight Papers

Software Development Analytics

Verification

Language /Library Design

Testing

Publications (by year)

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    2005

    2004

    2003

    2002

    2001

    1999

    Links

    Current Projects (at TSE)

    CodeFlow. CodeFlow is Microsoft's de-facto code review system. It streamlines the process of comparing code iterations and enables developers to collaborate on code reviews in real time.

    CloudBuild is Microsoft's cloud-based, distributed and caching build and test system and service. It has shown to reduce build and test times by 4-10X and is being adopted rapidly.

    VSO Artifact Services: Builds produce plenty of data: drops, packages, symbols, test results, etc. Artifact services are a cloud backed store in VSO providing deduplicated ingress/egress and optionally differential compression.

    CodeMine provides rich engineering data infrastructure and analysis for source code changes, software bugs, code reviews, and testing to product groups across Microsoft.

    VSO Enterprise Analytics takes CodeMine or VSO data, curates and further analysis it, and makes them available for self service to 3rd and 1st party customers.  

    Past projects (at RiSE)

    Formula: Foundations for Model-driven Engineering. How to describe, analyze, compose and transform domain specific languages?

    VCC: A Verifier for Concurrent C. How to verify low level concurrent C programs like operating systems?

    SPUR: A tracing just-in-time compiler for Microsoft's Common Intermediate Language. Does tracing work for arbitrary languages?  

    Spec#: Design by Contract for C#. How to verify object invariants of sequential OO programs in the presence of inheritance, call backs, and aliases?

    TPL: Task Parallel Library. How can we expose potential parallelism and exploit it efficiently if the opportunity arises?

    SpecExplorer: Model-based testing for Protocols . How to develop and run conformance tests for state-based distributed protocols?

    Pex: Whitebox testing for .NET. How to generate a minimal test suite with maximal coverage?

    CΩ: Adding structural types, queries and join patterns to C# How do we improve on writing three-tier business applications, in particular how to integrate SQL and XML into C#?

    Contact

    Microsoft Corporation
    One Microsoft Way
    Building: B18, Room FL2600
    Redmond, WA 98052-6399, USA
    Email : schulte at microsoft dot com
    Office Phone : +1 425 703-4641
    Cell Phone: +1 425 497-9260
    Fax : +1 425 936-7329
    http://research.microsoft.com/~schulte