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

TechTalk - Research in Software Engineering

57 minutes, 35 seconds


Right click “Save as…”

by Nikolaj Bjorner, Senior Researcher, Microsoft Research

The Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software analysis, compiler tools, program optimization, synthesis and model-based software design. This talk describes several of the RiSE groups activities, which are roughly three-pronged: divided between Microsoft product groups, with external developers and with academic interactions.
A significant part of our work involves tool building. The http://rise4fun.com web-site provides an interactive environment where several of the tools developed in RiSE are showcased through interactive demonstrations. I will walk through several of these tools during the talk showing by example our work on graph drawing (AGL), satisfiability modulo theories theorem proving (Z3), program verification (Boogie and VCC), test-case generation using dynamic symbolic execution (Pex), model-based design (FORMULA), symbolic analysis of regular expressions (Rex) and transducers (Bek). I will also describe and present a new tool TouchStudio (http://touchstudioapp.com)
that brings a radically new software development environment to and on the
Windows Phone.
It is a new programming environment and language built around the new reality of mobile
devices with advanced touchscreens, sensors and cloud connectivity


Follow the discussion

  • Oops, something didn't work.

    Getting subscription
    Subscribe to this conversation
  • Timken bearingsTimken bearings

    The Best After-Are Available Sales: http://www.chinaskfbearing.com/timken-bearing.html

  • royerroyer


    i dont know how to joint,
    i have a idea to develop if it exist or not...
    with a technicien in french if it is possible.
    Can you give me e-mail, i can talk to.

    best regards


  • brass faucetbrass faucet

    To Have a Look At the Brand Which are in the Leading Place : http://www.wangelfaucet.com/category/faucet.html

Remove this comment

Remove this thread


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.