Blog Post

TechTalk - Research in Software Engineering

Download this episode

Download Video


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 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 (
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



Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    • User profile image
      Timken bearings

      The Best After-Are Available Sales:

    • User profile image


      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


    • User profile image
      brass faucet

      To Have a Look At the Brand Which are in the Leading Place :

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.