Coffeehouse Thread

9 posts

Forum Read Only

This forum has been made read only by the site admins. No new threads or comments can be added.

Z3 helped building Windows 8

Back to Forum: Coffeehouse
  • User profile image
    felix9

    interesting demo from Peter Lee's presentation on FS2011:

    mms://wm.microsoft.com/ms/research/events/facultysummit11/PLPSFS2011.wmv

    http://research.microsoft.com/en-us/events/fs2011/agenda_expanded.aspx

  • User profile image
    aL_

    really cool Smiley

    wish there where more content about Z3 on c9, the linq-to-Z3 bart was working on was frickin awsome

  • User profile image
    exoteric

    Thanks for the link. Another session of interest, alas with no video:

    Session: Refactoring with Roslyn Circus Comes to Town

    Session Chair: Mike Barnett, Microsoft Research

    Presentations:

    • Project Roslyn: Exposing the VB and C# Compiler's Code AnalysisKaren Ng, Microsoft
    • Beyond Behavior PreservationRalph Johnson, University of Illinois, Urbana Champaign
    • How Are Developers Using Refactoring Tools?Emerson Murphy-Hill, North Carolina State University

    The moment we've been waiting for has finally arrived! The Microsoft .NET compilers are going to give access to the internals of the compilation pipeline, with handy IDE integration too! Language research on .NET will become easier than ever, permitting new kinds of refactoring and compiler/runtime research. In this talk, you'll see how to use the new APIs to do all sorts of fancy tricks. See automatic parallelization! Thrill to cross-language cut-and-paste! Be amazed at deep semantic analyses!

  • User profile image
    CKurt

    @exoteric: Compiler as a Service was first introduced at PDC10 during Anders his talk I think. You might want to revisit that if you want to get to know Compiler as a Service. Although the sessions you are referring to might include more details.

  • User profile image
    Richard.Hein

    @felix9:  That was great, thanks for the link.  Great projects ... inspiring.

  • User profile image
    felix9
  • User profile image
    magicalclick

    So, disruptive is only meaning short-term open-ended research. Now I see what they mean about those new Windows Phone 7 positions. Although I cannot really see how Kinect Sound system is open-ended. Certainly short-term because they need to push Kinect, which is quite amazing.

    Impressive with Kinect voice cleaning. Totally don't know how much noise when it is close to speakers and far away from users. My own brain is not as good filtering out the noise.

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

    ,exoteric wrote

    Thanks for the link. Another session of interest, alas with no video:

    Session: Refactoring with Roslyn Circus Comes to Town

    Video published. not terribly interesting though, and no demo (or did they edited the demo section out ?  Devil ), but the Q&A session is somewhat informative.

    http://research.microsoft.com/apps/video/default.aspx?id=152281

  • User profile image
    exoteric

    Thanks felix aka Mary Jo Foley's prospect research assistant Wink

Conversation locked

This conversation has been locked by the site admins. No new comments can be made.