well, more news today:
first, Midori team member Mircea Trofin is now working at Google
and, David Tarditi just updated his LinkedIn with many information
he is back working at Microsoft Research "OS Technologies Group" since Feb 2015
I am leading the Autobahn project with Galen Hunt. A problem with Singularity and Midori was that existing code had to be manually rewritten at great expense in C#. The goal of the Autobahn project is to automatically convert existing C and C++ code to type-safe code, thereby providing a fast road to the future where systems are free of the security and reliability problems that affect C and C++ programs.
and previously, he was in OSG from Dec 2014 to Feb 2015,
previously, he was in DevDiv from Aug 2014 to Nov 2014
The System C# project was moved from the Operating Systems Group to Developer Division, ostensibly to productize the effort. I was development manager for the Systems Programming Platform Group, which was part of the Systems Programming Group. This was a short-lived effort, unfortunately.
and previously, he was in OSG from Nov 2013 to Aug 2014
led the System C# project. The goal of System C# was to let you write systems code in C#. It was based on our experience writing systems software in C# in Midori, with the goal of bringing the programming technology we developed in Midori back to Windows.
some interesting history there.