Invited talk
A model based approach for network protocol interoperability assurance
Abstract: Microsoft has a long tradition in delivering networked software products, and interoperability of these products with 3rd party software has become more and more a focus in recent years. Defining a network protocol's behavior in a non-ambiguous way, being able to simulate its behavior for better comprehension and easier consistency checking, and being able to conduct testing or runtime verification from the description are important factors for ensuring good interoperability. In this talk, we'll illustrate how such work is done in Microsoft with support of methodologies and tools.
Bio of presenter: 
Yiming Cao graduated from Tsinghua University (Beijing, China) and
holds a master degree in Computer Science. He joined Microsoft in 2007
and currently works as a Senior Software Design Engineer Lead. He
leads a team in Beijing working on model-based-testing tools, protocol
modeling languages and runtime monitoring/analysis frameworks. The
effort is a crucial part of Microsoft's interoperability commitment,
and one of the major outcomes is the popular model-based-testing tool
Spec Explorer, which is freely available to the public.
Before joining Microsoft, Yiming worked for IBM on Eclipse based rich
client platforms, and then joined a start-up company working on
on-line media streaming technologies.