Coffeehouse Thread

10 posts

Project Midori is building a new programming language

Back to Forum: Coffeehouse
  • User profile image
    felix9

    it seems like we are coverd by MaryJo Foley
    http://www.zdnet.com/blog/microsoft/microsoft-codename-redhawk-lives-in-windows-8/9233

    but I was just copy&pasting for that post, now I have something to add myself, thanks to MaryJo herself, she linked an article about Midori from 2009
    http://www.zdnet.com/blog/microsoft/microsofts-midori-whos-on-the-all-star-roster/4149

    and I noticed that, some Midori group members she mentions, describe their group as "Technical Strategy Incubation", so I just typed this into http://careers.microsoft.com/, and got these:

    https://careers.microsoft.com/JobDetails.aspx?jid=38409

    The Technical Strategy Incubation team is looking for highly motivated engineers to work on the design and development of a new programming language and associated tools. Our language is focused on enabling safe concurrency, automatic parallelism, and increased correctness and development time thanks to static verification.

    Our effort is a part of a larger operating systems effort, which embraces these principles systemically and at a broad scale.

    As a developer on the team you will be responsible for the design and implementation of new language features in the compiler, IDE, and related tools. Our features are largely need-driven and prioritized to those that deliver the most value to the overall team. Being an incubation team, all features are potential technology transfers to product teams and/or frequently open up new research opportunities.

    here they mentioned 'static verification', and I noticed MaryJo list someone related to the Solver Foundation as part of the Midori team, I guess Z3 may has something to do with this too.

    https://careers.microsoft.com/JobDetails.aspx?jid=38849

    The Technical Strategy Incubation team is looking for a senior software architect to lead development of our safe concurrent programming model.

    This programming model is a core component of a system, 99% of which is written in type- and memory-safe C#. A core principle we add to managed code is that 1st class, statically enforced concurrency-safety must become a peer of type- and memory-safety. This role demands innovation at each layer of the software stack: programming model abstractions, scheduling (kernel and user-mode/runtime), message passing and asynchrony more generally, shared-memory, data and task parallelism, distributed parallelism, heterogeneity (including vectorization and GPGPU), interaction with processor architecture, feedback directed optimizations, and even language design and compiler implementation.

    https://careers.microsoft.com/JobDetails.aspx?jid=36264

    The Technical Strategy Incubation team is seeking a high achieving SDE to help build a next generation UI/Graphics platform. This incubation team is chartered with pursuing strategic opportunities which are difficult to address incrementally with existing systems, such as UI responsiveness and security, rich applications that span devices, new web-centric programming models, and effective use of GPUs and many core.

  • User profile image
    felix9

    in regarding to Redhawk, I got nothing about that, but I do found a project funded by Google that MIGHT be similiar to Redhawk/MinSafe in some sense:

    GoNative: Safe Execution of Native Code
    http://sos.cse.lehigh.edu/gonative/

    its based on 'Software-based Fault Isolation', which is used in Google's NaCl (Native Client)
    http://code.google.com/intl/en-US/chrome/nativeclient/docs/technical_overview.html

  • User profile image
    Richard.Hein

    @felix9:  Good finds. 

  • User profile image
    magicalclick

    @felix9:

    Interesting. I hope they improve the UI with SWAP based UI updates. What I mean is when updaing the UI, instead of using the UI thread to recalculate everything and halt the UI, we should do it in another thread in the buffer and then swap it to the front after it is done. Similar to DX3D draw buffer.

    Leaving WM on 5/2018 if no apps, no dedicated billboards where I drive, no Store name.
    Last modified
  • User profile image
    Bass

    Nice detective work. Smiley

  • User profile image
    Charles

    Niney category: Best Niner Detective Smiley

    C

  • User profile image
    felix9

    @Charles: well, I think 'Go Native' can be a candidate of the long promised c9 show about native code, how is things going ? or you just forgot that ?

  • User profile image
    exoteric

    By the way, felix, do you have any association with this Felix?

    http://www.felix-lang.org/

  • User profile image
    felix9

    unfortunately, no. Embarassed but this is so adorable Angel thanks

  • User profile image
    Charles

    , felix9 wrote

    @Charles: well, I think 'Go Native' can be a candidate of the long promised c9 show about native code, how is things going ? or you just forgot that ?

    I have not forgotten about this. Unfortunately, I am unable to move as fast as I'd like given that the C++ team is cranking on their deliverables... Please be patient. Thanks for the reminder, though. Smiley

    C

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.