Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Discussions

felix9 felix9 the cat that walked by itself
  • new info around Midori team

    , TexasToast wrote

    This is good information,  but now tell us what you think this means for the future.  Need some editorial opinions on what Microsoft is planning to launch as the next technology or product based on these facts you dug up.   Like how will M# be eventually given out for public use.

    that is a good question, because M# is designed for low-level systems programming, and few of us need to do that, especially in a cloudy world, so I doubt they will actually intergrate this toolchain into Visual Studio, for example, but Joe Duffy said this thing will be open source, so lets see.

  • new info around Midori team

    Apparently many Midori team members updated their LinkedIn profiles recently, some of them moved around the organization etc, anyway, many more information revealed from their descriptions.

    first, Joe Duffy is in "Systems Programming Group" since Aug 2014, same as Jared Parsons and Harry Pierson, apparently this is a new group, guess it owns the M# language and compiler team.

    interestingly, Joe Duffy also updated some earlier titles, so he was in "Open Engineering Group" from Nov 2013 to Aug 2014, and in "Midori OS" from Jun 2009 to Nov 2013.

    next, Singularity researcher/Bartok compiler master David Tarditi is in "Systems Programming Platform Group" too since Aug 2014, guess he spell the name wrong, :)

    and David Tarditi also updated some details of ealier work:

    he was in Operating Systems Group from Nov 2013 to Aug 2014:

    Started a cool new project.

    and from Sep 2007 to Nov 2013, his work was:

    I led the tools team for an advanced systems incubation project, taking the team from 4 people to lots of people. We continued developing the Bartok compiler used in the Singularity project so that it could be used to write production-quality systems software in C#. We added support for generics, shared libraries, generic shared code across libraries, and other cool features for systems programming. We connected Bartok to the Phoenix compiler infrastructure and drastically improved the overall quality of code generated by Phoenix so that it was competitive with production C/C++ compilers for SPEC benchmarks and added extensive support for managed code optimization.

    then lets visit Midori team veteran Soner Terek, he is working on

    Working on integration of advanced new technologies into Windows Core."
    since Nov 2013. does that mean Midori is merging into Windows ? =:O

    and another big name Chris Brumme, his title is "Director of Development in OSG", and he gave Yaron Weinsberg such a recommendation in June 30, 2014:

    Yaron has worked for me since I recruited him to Microsoft, sometimes directly and now as part of my 350 developer team. He is an extraordinary individual, totally dedicated to the success of the project who routinely works long hours 7 days a week. He is a source of great ideas and insights, and a wise manager who lifts all around him. He is a careful developer who sets a high bar and an excellent example for the rest of the team. I cannot recommend him highly enough.

    so we know Yaron is in a "350 developer team" under Chris, and from Yaron's profile we know he is "working in a technical incubation team at Microsoft that develops an operating system in C#. " so I guess he is also in OSG now.

    now lets look at some new names, Hasan Dogu Taskiran, who works for Arlie Davis for the last two years (see the recommendations), is working on these stuff since Sep 2012:

    * Working as part of the core graphics team on a systems incubation project at Microsoft aimed at developing, applying and experimenting with modern computing tools and concepts for the creation of a more reliable, scalable and high performance software ecosystem

    * Main responsibilities include designing, implementing and maintaining a full graphics stack, from drivers for graphics processing units up to the public high performance graphics APIs

    * Implemented a fully functional driver for an advanced rendering hardware using the specifications provided by the vendor in a newly developed programming language and runtime

    * In order to verify the compliance and performance of this new graphics stack with the existing Microsoft technologies, implemented the library and the application that can play back (PIX) individual commands sent to the GPU from any Microsoft DirectX based graphics application on Windows

    * Implemented and maintained public interfaces for the underlying graphics stack that uses existing Microsoft technologies for backward compatibility

    So M# is good at graphics rendering too, could be nice for client devices OS.

    lastly lets visit Ozben Evren, who used to write very little on his LinkedIn page before, now he described his works in great detail:

    Aug 2014 - Present, Operating Systems Group:

    Worked on the development of new technologies and language improvements for developing safe, secure and efficient systems and platform software, using modern programming techniques.

    - Ported the main storage component of Cosmos, an internal distributed storage system, to a new programming framework as a show-case for a new programming model; vastly reduced code complexity and size.
    - Did a clean-room re-implementation of Cosmos networking stack which was used as a drop-in replacement for other ported Cosmos components, vastly reducing the amount of code to be ported and the development time.
    - Designed a newer version of the record engine framework, a transactional key/value store with an object based programming model, utilizing the Roslyn C# compiler framework to perform deep code analysis on user's input source code to deduce schema and constraints.

    Oct 2010 - Aug 2013, Technical Strategy Incubation Group:

    Worked on the development of new technologies and language improvements for developing safe, secure and efficient systems and platform software, using modern programming techniques.

    - Developed the record engine framework, a code-generation based programming/API layer on top of a transactional key-value store. The record engine framework enabled a new systems programming model where an application can commit snapshots of its precious state, survive abrupt program termination and re-hydrate itself as needed, potentially on a different execution host.
    - Converted a hand-rolled transactional filesystem implementation to the new record engine framework, both simplifying the implementation and improving the performance at the same time. The file-system performance was an important contributor to the performance results of the incubation software for benchmarks such as SpecWeb, the primary benchmark used when comparing against standard Windows software.
    - Implemented new storage components that allowed encoding of stored record engine data in a portable format, thus enabling cloud roaming, single writer/multiple-reader and backup scenarios for applications.
    - Changed architecture of disk and file-system management services to show-case a fully configuration-driven & reactive system software development model that converges to a stable state, as declared by a well-formed configuration that is stored in a transactional record store.
    - Implemented a Json & Javascript based machine provisioning configuration system, for declaratively describing how a machine (primarily disks) should be configured during initial deployment in a data center. The Javascript based model allowed basic dynamic decision making during deployment based on criteria such as existence/size/type/location of disks on the target machine.

    apparently his work is cloud-centric. and he mentioned a "record engine" alot, I guess it could be based on Hyder (a transactional indexed-record manager for shared flash), since one of the main researcher Colin Red was well know working in TSI group, and he is also in Operating Systems Group now, since Nov 2013:

    Enhanced the innovative distributed storage system that I had spearheaded over the previous seven years, and adapted its reliable structured storage technologies to target broader markets.

    So apparently Hyder, or its derivatives, is being productized.

    Conclusion, TSI is no more, M#/Midori related stuff is being productized by SPG and OSG, and will be used in the core of Windows, both for the client, or in the cloud, and its coming.

  • Talk: THE BIRTH & DEATH OF JAVASCRIPT

    yup...... Singularity :P

  • Waiting for Windows 9 :-)

    Aww, its just a random wallpaper pic they steal from the web and used in a tweet, not Logo !

  • DeLorean

    , Charles wrote

    "DeLorean combines: 1) future input prediction; 2) state space subsampling and time shifting; 3) misprediction compensation; and 4) bandwidth compression."

    http://research.microsoft.com/pubs/226843/delorean_techreport2014.pdf


    Thin clients FTW! :)

    C

    glad you are interested, how about an interview ? :P

  • DeLorean

    if Larry Larson can have a visit to building 99 and get those people .....

  • Media Center Woes

    I guess your Windows 8.1 Pro is Volume edition, not Retail edition.

  • [MSR] 2014 news about Z3

    Tom Ball's keynote at Microsoft Research SEIF Day 2014
    Correctness via Compilation to Logic and Automated Thoerem Prover
    http://research.microsoft.com/en-US/events/seifday2014/ball_seif2014.pdf

    there are some interesting stuff about the development of Z3, lacks details though

    the SecGuru paper is here http://research.microsoft.com/apps/pubs/default.aspx?id=225826

  • [MSR] Verve OS lives on, to run Ironclad apps

    remember Chris Hawblitzel and Verve OS ?

    http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System

    its still in the works, and the focus now is security apps

    https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel

    that paper is not published yet, but here is another prensention talked about it
    https://www.lri.fr/~filliatr/meeting-1.9-vienna/sq.pptx

    also mentioned in this paper about Dafny IDE
    http://research.microsoft.com/en-us/um/people/leino/papers/krml236.pdf

    The largest single project using Dafny is the Ironclad project in the systems and security research groups at Microsoft Research, which currently comprises about 30,000 lines of Dafny specifications, code, and proofs. The current Dafny IDE has benefited from feedback from the Ironclad team.

    I thinks this is another interesting topic to talk about with the mad scientists in building 99.:) but......

  • [Roslyn] Pattern Matching for C# (draft spec)

    post by Neal Gafter https://roslyn.codeplex.com/discussions/560339


    The following link is to a draft specification for record types and pattern matching in C# for which a prototype will be published in a few weeks.

    Pattern Matching for C#

    This is an experimental language feature that has not yet been vetted by the C# language design group. The prototype is intended to help prepare for such a discussion.

    Spec https://onedrive.live.com/redir?resid=4558A04E77D0CF5%215396

    Pattern matching extensions for C# enable many of the benefits of algebraic data types and pattern matching from functional languages, but in a way that smoothly integrates with the feel of the underlying language. The basic features are: records, which are types whose semantic meaning is described by the shape of the data; and pattern matching, which is a new expression form that enables extremely concise multilevel decomposition of these data types. Elements of this approach are inspired by related features in the programming languages F# and Scala.

    and InfoQ's report http://www.infoq.com/news/2014/08/Record-Class

    if its the old days for Channel9 I'd expect a lengthy interview about this topic but :-.