Just a quick correction – Frank Wood is not at Microsoft, but at UBC:
http://www.cs.ubc.ca/~fwood/index.html
Microsoft Research does have multiple excellent researchers working on probabilistic programming. Infer.NET in particular is a highly advanced piece of technology for models in which you would use message passing algorithms to perform inference: