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

Wolfram Schulte

I am a director of engineering at Microsoft's Cloud and Enterprise division, Redmond, USA. (In Microsoft parlance, I am a partner group software engineering manager.)

I currently manage 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. TSE tools and services are used by more than thirty-five thousand developers within Microsoft.

Prior to TSE, I managed the Research in Software Engineering (RiSE) team in Microsoft Research, Redmond, USA. RiSE is one of the world’s top software engineering research groups with particular emphasis on formal methods, programming languages and empirical software engineering.

My research interests include:

  • software development tools, ranging from build, via program verification and analysis, to automated test,
  • software engineering analytics, ranging from collecting data to prediction,
  • programming languages, ranging from language design to runtimes.

I love building tools. I co-authored papers and build prototypes for many tools that Microsoft ships, including Linq, CodeContracts, Task Parallel Library, IntelliTest (Pex) and SpecExplorer. I also co-developed the experimental program verifiers Spec# and VCC, and the DSL framework Formula. For papers, see below.

I am the recipient of the 2016 Harlan D. Mills Award for “Research and research leadership contributions leading to major theoretical and practical advances in software verification”.

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


Language /Library Design


Publications (by year)


















    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#?


    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