Peter Heldens, a manager at Microsoft University in the Netherlands, recently visited the touchdevelop team in Redmond, WA. Peter wrote My Online Meetings, the popular script that allows users to join…

В этом видео, Марина Голубцова, интерн в Microsoft Research, научит вас писать вашу первую программу (script) в TouchDevelop. TouchDevelop это Windows Phone 7 приложение позволяющее…

在这个视频里面，微软雷德蒙研究院实习生肖旭生简短地介绍了如何使用TouchDevelop进行脚本的编写。TouchDevelop是微软Windows Phone 7 的一个app。使用TouchDevelop，你可以方便的在手机上编写脚本程序。编写出来的脚本程序可以直接在手机上运行。本视频在手机上观看效果最佳。 TouchDevelop的facebook. In this video,…

In this video, Grant Bronsdon, a High School intern at Microsoft Research, gives a quick tutorial on writing scripts in TouchDevelop. TouchDevelop is a Windows Phone 7 app that allows you to script…

In this video, Guido de Caso talks about Distributed Knowledge Authorization Language (DKAL). Guido finished his internship at the Research in Software Engineering group (RiSE) under the mentoring of…

Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, learn how to use state variables…

Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Peli de Halleux, from the Research…

Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Peli de Halleux, from the Research…

Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Nikolai Tillmann and Michal…

Update: we renamed the project to TouchDevelop!Update: This video is outdated! Please refer to the latest documentation on the TouchDevelop web site! In this video, Nikolai Tillmann and Michal…

In this video, David Molnar and Margus Veanes, both Researchers at Microsoft Research, give a demo of BEK (you can try it too at http://rise4fun.com/bek). BEK is a domain specific language for…

Интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR У MSR есть специальная программа стажировки созданная специально дла России.…

In this episode of The Verification Corner, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be…

Mike Barnett and Daryl Zuniga showcase the Code Contracts Editor Extensions. The extensions integrate Code Contracts into the C# intellisense, the Code Definition View and even the editor text…

In this video, Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally,…

Madan Musuvathi and Sebastian Burckhardt, two Researchers at the Research in Software Engineering team (RiSE), explain and demo a new testing tool called Cuzz. As you will see in this video,…

In this video, Mark Marron, who is visiting the Research in Software Engineering group (RiSE) for the summer, describes some work and gives a short demo on a technique for visualizing and…

Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions…

In this episode of The Verification Corner, Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, shows how to prove loop termination. During…

In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the…

Francesco Logozzo, ricercatore nel gruppo di ingegneria del software di Microsoft Research (RiSE) ci fara’ un demo dell’analizzatore statico incluso nei Code Contracts per .NET. L’analizzatore…

Francesco Logozzo, ricercatore nel gruppo di ingegneria del software (RiSE) a Microsoft Research, offre una breve introduzione alla programmazione per contratti ed al progetto CodeContracts per…

IMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at https://aka.ms/vs11-fakes. Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of…

In this episode of The Verification Corner, Rustan Leino talks about Loop Invariants. He gives a brief summary of the theoretical foundations and shows how a program can sometimes be systematically…

Nikolaj Bjørner and Leonardo de Moura are Researchers in the Research in Software Engineering (RiSE) team at Microsoft Research. They are talking and demoing Z3, a high-performance SMT constraint…

Francesco Logozzo, a researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, gives a demo of the Static Checker that comes with Code Contracts for .NET tools. The…

Manuel Fähndrich et Peli de Halleux, deux membres du groupe RiSE à Microsoft Research, nous font une petite demo de Code Contracts et Pex. Les Code Contracts peuvent être utilise pour specifier…

Ever wonder how the Reactive Extensions get tested? Jeffrey Van Gogh gives a glimpse at how they do it. The Rx developers have been using Pex and writing parameterized unit tests. In this video, we…

Juan Chen and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE, a new programming language for .NET.Software systems are governed by increasingly complex…

Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior…

Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of…

Daryl Zuniga gives a fast and furious demo of the new editor extensions for Code Contracts.NET. When a developer overrides a method with Contracts, the rewritter would automatically insert the…

Trishul Chilimbi, a researcher from RiSE talks about Green. Green enables programmers to approximate expensive functions and loops while providing statistical quality of service guarantees. By…

Mike Barnett and Daryl Zuniga, a high school intern at RiSE, sit down to talk about Code Contracts for .NET and documentation. Daryl has been working this summer on a tool that inserts contracts…

A (very) short video with Ethan Jackson on BAM. BAM is a new approach to developing cloud applications through modeling, code synthesis, and simulation. With BAM you design applications that work…

Patrice Godefroid gives an overview of Automated Whitebox Fuzz Testing, a powerful testing technique applied at Microsoft through a tool called SAGE. Listen how he is working with the SAGE team to…

Ben Livshits and Emre Kiciman talk about the Ajax Profiling Extensions (also known as AjaxView), a tool that allows to profile web sites using Ajax. The tool lets you investigate the performance …

Sebastian Burckhardt gives a short tutorial of some of the new features of CHESS: data race detection and ChessBoard. CHESS is a concurrency testing tool takes a concurrent unit test and executes…

Margus Veanes and Pavel Grigorenko present a new exciting project: Qex. Pavel did an internship in the Research in Software Engineering team (RiSE) investigating automatic data generation methods…

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they…

Herman Venter announces the Common Compiler Infrastructure (CCI) as an open source project on codeplex! CCI is a set of tools and components that are useful to build compilers: readers and writers…

Ben Livshits and Ben Zorn talk about Nozzle, a new tool to detect heap spraying attacks, a new security attack that significantly increases the exploitability of existing memory corruption errors…

Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime…

Ben Zorn gives an introduction to the problems of memory corruption. In particular, he talks about his work on new memory allocators that provide fault tolerance and detection of errors such as…

Michal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends…

Today we talk with Ethan Jackson about Cloud applications. Cloud applications are web-based distributed systems deployed over a fluctuating set of computing nodes and services. The design of cloud…

Nikolai Tillmann and Peli de Halleux give a short tutorial on Pex, an automated white box testing tool for .Net. The tutorial is a pair-programming session where they show us how to get started with…

Today we are sitting with Madan Musuvathi for a quick tutorial on writing concurrency unit tests, powered by CHESS in Visual Studio 2008. Madan goes through a simple bank account example that…

This week, we dropped by Nachi Nagappan in the Empirical Software Engineering area. Nachi does studies on what works and does not work in software development using metrics. We talk with him…