Channel 9 Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 http://channel9.msdn.com/Niners/peli/Posts Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Niners/peli/Posts en Wed, 19 Jun 2013 20:51:19 GMT Wed, 19 Jun 2013 20:51:19 GMT Rev9 57 3 25 CodeForHer @ Microsoft Netherlands CodeForHer is an event in the Netherlands where 100+ Ladies learned how to create their first Windows Phone app using TouchDevelop.
 
CodeForHer is organized by the Microsoft University in the Nederlands.
]]> http://channel9.msdn.com/posts/CodeForHer--Microsoft-Netherlands CodeForHer is an event in the Netherlands where 100+ Ladies learned how to create their first Windows Phone app using TouchDevelop. CodeForHer is organized by the Microsoft University in the Nederlands. 128 http://channel9.msdn.com/posts/CodeForHer--Microsoft-Netherlands Wed, 20 Jun 2012 22:17:55 GMT http://channel9.msdn.com/posts/CodeForHer--Microsoft-Netherlands Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/posts/CodeForHer--Microsoft-Netherlands/rss Mobile WP7 Apps Peter Heldens - Creating Scripts with TouchDevelop 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 a conference call in a single script using touchdevelop. Great to meet you, Peter!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Peter-Heldens-Creating-Scripts-with-TouchDevelop 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 a conference call in a single script using touchdevelop. Great to meet you, Peter! Take a look at the 'My Online Meetings' script for touchdevelop. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 167 http://channel9.msdn.com/Blogs/Peli/Peter-Heldens-Creating-Scripts-with-TouchDevelop Thu, 09 Feb 2012 18:19:22 GMT http://channel9.msdn.com/Blogs/Peli/Peter-Heldens-Creating-Scripts-with-TouchDevelop Peli de Halleux Peli de Halleux 1 http://channel9.msdn.com/Blogs/Peli/Peter-Heldens-Creating-Scripts-with-TouchDevelop/RSS RiSE Windows Phone Windows Phone 7 WP7 TouchDevelop - Ваша первая программа В этом видео, Марина Голубцова, интерн в Microsoft Research, научит вас писать вашу первую программу (script) в TouchDevelop. TouchDevelop это Windows Phone 7 приложение позволяющее вам программировать в вашем телефоне! Подсказка: Лучше смотреть это видео на вашем телефоне.

In this video, Marina Golubtsova, 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 your phone on your phone! Tip: watch this video on your phone...

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/touchdevelop-gettingstarted-ru В этом видео, Марина Голубцова, интерн в Microsoft Research, научит вас писать вашу первую программу (script) в TouchDevelop. TouchDevelop это Windows Phone 7 приложение позволяющее вам программировать в вашем телефоне! Подсказка: Лучше смотреть это видео на вашем телефоне. Продолжайте следить за новостями о TouchDevelop на нашей странице на Facebook. In this video, Marina Golubtsova, 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 your phone on your phone! Tip: watch this video on your phone... Follow TouchDevelop on Facebook. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 258 http://channel9.msdn.com/Blogs/Peli/touchdevelop-gettingstarted-ru Fri, 12 Aug 2011 17:17:38 GMT http://channel9.msdn.com/Blogs/Peli/touchdevelop-gettingstarted-ru Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/touchdevelop-gettingstarted-ru/RSS RiSE Windows Phone 7 WP7 TouchDevelop – 入门教程 在这个视频里面，微软雷德蒙研究院实习生肖旭生简短地介绍了如何使用TouchDevelop进行脚本的编写。TouchDevelop是微软Windows Phone 7 的一个app。使用TouchDevelop，你可以方便的在手机上编写脚本程序。编写出来的脚本程序可以直接在手机上运行。本视频在手机上观看效果最佳。

In this video, Xusheng Xiao, a research 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 your phone on
your phone! Tip: this video is best viewed on a phone.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

 

 

 

 

]]> http://channel9.msdn.com/Blogs/Peli/TouchDevelop-GettingStarted-cn 在这个视频里面，微软雷德蒙研究院实习生肖旭生简短地介绍了如何使用TouchDevelop进行脚本的编写。TouchDevelop是微软Windows Phone 7 的一个app。使用TouchDevelop，你可以方便的在手机上编写脚本程序。编写出来的脚本程序可以直接在手机上运行。本视频在手机上观看效果最佳。 TouchDevelop的facebook. In this video, Xusheng Xiao, a research 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 your phone onyour phone! Tip: this video is best viewed on a phone. TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.         164 http://channel9.msdn.com/Blogs/Peli/TouchDevelop-GettingStarted-cn Fri, 12 Aug 2011 16:56:50 GMT http://channel9.msdn.com/Blogs/Peli/TouchDevelop-GettingStarted-cn Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/TouchDevelop-GettingStarted-cn/RSS RiSE Windows Phone 7 WP7 TouchDevelop - Getting Started 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 your phone on your phone!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/TouchDevelop-Getting-Started 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 your phone on your phone! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 142 http://channel9.msdn.com/Blogs/Peli/TouchDevelop-Getting-Started Thu, 11 Aug 2011 16:34:03 GMT http://channel9.msdn.com/Blogs/Peli/TouchDevelop-Getting-Started Peli de Halleux Peli de Halleux 6 http://channel9.msdn.com/Blogs/Peli/TouchDevelop-Getting-Started/RSS RiSE Windows Phone 7 WP7 Guido de Caso - Distributed Knowledge Authorization Language 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 Yuri Gurevich, a Principal Researcher at Microsoft Research.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

 

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language 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 Yuri Gurevich, a Principal Researcher at Microsoft Research. DKAL home pageDKAL on CodePlex DKAL on rise4fun -- try it live!The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.   669 http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language Thu, 28 Jul 2011 16:00:00 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language Peli de Halleux Peli de Halleux 17 http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language/RSS RiSE Security Yuri Gurevich TouchDevelop - 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, learn how to use state variables in TouchDevelop with Michał Moskal from the Research in Software Engineering group (RiSE) at Microsoft Research.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/TouchStudio-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, learn how to use state variables in TouchDevelop with Michał Moskal from the Research in Software Engineering group (RiSE) at Microsoft Research. Follow TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 257 http://channel9.msdn.com/Blogs/Peli/TouchStudio-State-Variables Wed, 01 Jun 2011 18:40:00 GMT http://channel9.msdn.com/Blogs/Peli/TouchStudio-State-Variables Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/TouchStudio-State-Variables/RSS RiSE Windows Phone Windows Phone 7 WP7 TouchDevelop - Plotting Math Functions 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 in Software Engineering group (RiSE) at Microsoft Research, gives a tutorial using the TouchDevelop editor. Learn how to chart mathematical functions in TouchStudio.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/TouchStudio-Plotting-Math-Functions 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 in Software Engineering group (RiSE) at Microsoft Research, gives a tutorial using the TouchDevelop editor. Learn how to chart mathematical functions in TouchStudio. follow TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 241 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Plotting-Math-Functions Tue, 17 May 2011 23:23:25 GMT http://channel9.msdn.com/Blogs/Peli/TouchStudio-Plotting-Math-Functions Peli de Halleux Peli de Halleux 5 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Plotting-Math-Functions/RSS Math Mathematics RiSE Touch Windows Phone 7 WP7 TouchDevelop - Hello World 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 in Software Engineering group (RiSE) at Microsoft Research, gives a basic tutorial using the TouchDevelop editor. Learn how to write 'Hello World' in TouchStudio (and how to use its editor).

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/TouchStudio-Hello-World 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 in Software Engineering group (RiSE) at Microsoft Research, gives a basic tutorial using the TouchDevelop editor. Learn how to write 'Hello World' in TouchStudio (and how to use its editor). Follow TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 265 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Hello-World Wed, 11 May 2011 14:40:00 GMT http://channel9.msdn.com/Blogs/Peli/TouchStudio-Hello-World Peli de Halleux Peli de Halleux 8 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Hello-World/RSS RiSE Windows Phone 7 WP7 TouchDevelop - Script Your Phone on Your Phone Reloaded 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 Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present TouchDevelop for Windows Phone 7. TouchDevelop is a radically new Windows Phone software development environment, bringing the excitement of the first programmable personal computers to the phone. Now you can write code for your phone on your phone!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Note: Unlike our first video, there's no zooming or blurring in this video—promise!

]]> http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-on-Your-Phone-Reloaded 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 Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present TouchDevelop for Windows Phone 7. TouchDevelop is a radically new Windows Phone software development environment, bringing the excitement of the first programmable personal computers to the phone. Now you can write code for your phone on your phone! follow TouchDevelop on Facebook  The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Note: Unlike our first video, there's no zooming or blurring in this video—promise! 822 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-on-Your-Phone-Reloaded Fri, 06 May 2011 14:53:50 GMT http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-on-Your-Phone-Reloaded Peli de Halleux Peli de Halleux 19 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-on-Your-Phone-Reloaded/RSS Programming Languages RiSE Touch Windows Phone 7 WP7 TouchDevelop - Script Your Phone ON Your Phone! 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 Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present a new Windows Phone 7 application: TouchDevelop. TouchDevelop is a radically new Windows Phone software development environment, bringing the excitement of the first programmable personal computers to the phone. Now you can write code for your phone on your phone!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

 

]]> http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-ON-Your-Phone 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 Moskal, from the Research in Software Engineering group (RiSE) at Microsoft Research, present a new Windows Phone 7 application: TouchDevelop. TouchDevelop is a radically new Windows Phone software development environment, bringing the excitement of the first programmable personal computers to the phone. Now you can write code for your phone on your phone! follow TouchDevelop on FacebookThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.   650 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-ON-Your-Phone Mon, 11 Apr 2011 17:18:05 GMT http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-ON-Your-Phone Peli de Halleux Peli de Halleux 40 http://channel9.msdn.com/Blogs/Peli/TouchStudio-Script-Your-Phone-ON-Your-Phone/RSS Beginner Beginning programming RiSE scripts Windows Phone 7 WP7 Apps Application David Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation Functions 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 writing common string functions, combined with state of the art analysis. With BEK, you can answer questions like, Do these two programs output the same string? Can this program ever output a target string? What happens if I compose these two programs? Does the order matter?

Once you've authored and analyzed your sanitizer in BEK, you can automatically get a C#/Javascript version of it.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/David-Molnar-and-Margus-Veanus-BEK-Domain-Specific-Language-for-String-Manipulation-Functions 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 writing common string functions, combined with state of the art analysis. With BEK, you can answer questions like, Do these two programs output the same string? Can this program ever output a target string? What happens if I compose these two programs? Does the order matter? Once you've authored and analyzed your sanitizer in BEK, you can automatically get a C#/Javascript version of it. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 780 http://channel9.msdn.com/Blogs/Peli/David-Molnar-and-Margus-Veanus-BEK-Domain-Specific-Language-for-String-Manipulation-Functions Thu, 06 Jan 2011 23:17:12 GMT http://channel9.msdn.com/Blogs/Peli/David-Molnar-and-Margus-Veanus-BEK-Domain-Specific-Language-for-String-Manipulation-Functions Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/David-Molnar-and-Margus-Veanus-BEK-Domain-Specific-Language-for-String-Manipulation-Functions/RSS Microsoft Research RiSE Security Интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR Интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR

У MSR есть специальная программа стажировки созданная специально дла России. Здесь вы можете посмотреть интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR. Интервью было снято в конце лета 2010 года. Дополнительная информация о программе стажировки находится по адресу http://research.microsoft.com/en-us/jobs/intern/russia.aspx.


Interview with Andrey Breslav, Russian intern at MSR.

MSR has a special internship program for Russia. То this end, we have interviewed a graduate student intern Andrey Breslav who visited MSR from Russian in late summer 2010. More information about the program can be found at
http://research.microsoft.com/en-us/jobs/intern/russia.aspx.

]]> http://channel9.msdn.com/Blogs/Peli/andreybreslavmsr Интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR У MSR есть специальная программа стажировки созданная специально дла России. Здесь вы можете посмотреть интервью с Андреем Бреславым, русским аспирантом, проходившим стажеровку в MSR. Интервью было снято в конце лета 2010 года. Дополнительная информация о программе стажировки находится по адресу http://research.microsoft.com/en-us/jobs/intern/russia.aspx. Interview with Andrey Breslav, Russian intern at MSR. MSR has a special internship program for Russia. То this end, we have interviewed a graduate student intern Andrey Breslav who visited MSR from Russian in late summer 2010. More information about the program can be found at http://research.microsoft.com/en-us/jobs/intern/russia.aspx. 1256 http://channel9.msdn.com/Blogs/Peli/andreybreslavmsr Wed, 20 Oct 2010 19:34:28 GMT http://channel9.msdn.com/Blogs/Peli/andreybreslavmsr Peli de Halleux Peli de Halleux 1 http://channel9.msdn.com/Blogs/Peli/andreybreslavmsr/RSS Microsoft Research RiSE Summer Internships The Verification Corner - Stepwise Refinement 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 constructed by stepwise refinement.  First, a high-level description of the program is given.  Then, some more detailed pseudo-code is developed.  Finally, an efficient data-structure representation is chosen and the corresponding changes to the program are written. There are several potential advantages of this approach.  One is that it lets the programmer design the program in finer and finer levels of granularity, rather than having to write all the fine details into the program text at once.  At each level, the verification tool kicks in and checks the correctness, thus proving feedback to the programmer.  A second advantage is that the more abstract descriptions of the program stay around, in a machine readable form that makes sure they stay up-to-date.  This means a new programmer on the project can start reading the more abstract versions in order to understand the program.

The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement 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 constructed by stepwise refinement.  First, a high-level description of the program is given.  Then, some more detailed pseudo-code is developed.  Finally, an efficient data-structure representation is chosen and the corresponding changes to the program are written. There are several potential advantages of this approach.  One is that it lets the programmer design the program in finer and finer levels of granularity, rather than having to write all the fine details into the program text at once.  At each level, the verification tool kicks in and checks the correctness, thus proving feedback to the programmer.  A second advantage is that the more abstract descriptions of the program stay around, in a machine readable form that makes sure they stay up-to-date.  This means a new programmer on the project can start reading the more abstract versions in order to understand the program. Find past and future episodes of the The Verification Corner! The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft's research in Software Engineering in Redmond, USA. 1333 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement Fri, 08 Oct 2010 16:17:46 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement Peli de Halleux Peli de Halleux 3 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement/RSS Microsoft Research RiSE Software Engineering Research Verification Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions 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 itself.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions 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 itself. Download the Code Contracts Editor Extensions Try Code Contracts in your browser at http://pex4fun.comThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 299 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions Tue, 21 Sep 2010 16:25:54 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions Peli de Halleux Peli de Halleux 2 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions/RSS .NET 4.0 .NET Framework 4.0 code contracts editor Visual Studio 2010 Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com 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, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation.

Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom 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, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation. Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 379 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Wed, 04 Aug 2010 17:59:00 GMT http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom/RSS .NET .NET Framework code contracts PEX RiSE Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz 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, Cuzz stands for "Concurrency fuzzing."

Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified Win32 executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined way, using an algorithm that provides probabilistic coverage guarantees.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz 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, Cuzz stands for "Concurrency fuzzing." Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified Win32 executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined way, using an algorithm that provides probabilistic coverage guarantees. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 493 http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz Fri, 16 Jul 2010 17:23:00 GMT http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz Peli de Halleux Peli de Halleux 4 http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz/RSS Concurrency fuzzing Microsoft Research RiSE Software Engineering Research testing tools Mark Marron - Visualizing and Understanding Heap Structure 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 understanding a program’s runtime memory structure (which data structures are built, how big they are, how they are connected, etc.).

During the demo, he shows how the technique can be used to visualize a 150K object heap dump to quickly find out which parts are using the most memory, which also helps us learn about how the program is using these objects (including finding a “quadtree” that is not really a tree).

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Mark-Marron-Visualizing-and-understanding-Heap-structure 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 understanding a program’s runtime memory structure (which data structures are built, how big they are, how they are connected, etc.). During the demo, he shows how the technique can be used to visualize a 150K object heap dump to quickly find out which parts are using the most memory, which also helps us learn about how the program is using these objects (including finding a “quadtree” that is not really a tree). Try it live at http://rise4fun.com/heapdbgThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 906 http://channel9.msdn.com/Blogs/Peli/Mark-Marron-Visualizing-and-understanding-Heap-structure Thu, 17 Jun 2010 14:00:00 GMT http://channel9.msdn.com/Blogs/Peli/Mark-Marron-Visualizing-and-understanding-Heap-structure Peli de Halleux Peli de Halleux 4 http://channel9.msdn.com/Blogs/Peli/Mark-Marron-Visualizing-and-understanding-Heap-structure/RSS .NET .NET Framework Debugging DGML graphic models RiSE Margus Veanes - Rex - Symbolic Regular Expression Exploration 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 into symbolic automatons, then gives them to a constraint solver to find matching strings.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration 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 into symbolic automatons, then gives them to a constraint solver to find matching strings. Try Rex in your web browser at http://rise4fun.com/rex !Download Rex and play with it! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 729 http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration Thu, 15 Apr 2010 16:12:00 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration Peli de Halleux Peli de Halleux 6 http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration/RSS .NET .NET Framework PEX Regular Expressions rex RiSE The Verification Corner - Loop Termination 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 his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language.

The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination 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 his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language. Try Dafny in your web browser at http://rise4fun.com/dafny ! Find past and future episodes of the The Verification Corner! The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft's research in Software Engineering in Redmond, USA. 1286 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination Mon, 29 Mar 2010 16:21:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination Peli de Halleux Peli de Halleux 5 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination/RSS Microsoft Research RiSE Software Engineering Research Verification verification corner The Verification Corner - Specifications in Action with Spec# 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 demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.

The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) , which coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp 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 demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. Try Spec# in your web browser at http://rise4fun/specsharp! Find past and future episodes of the The Verification Corner! The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) , which coordinates Microsoft's research in Software Engineering in Redmond, USA. 872 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp Mon, 01 Mar 2010 15:44:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp Peli de Halleux Peli de Halleux 2 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp/RSS Microsoft Research RiSE SpecSharp Verification verification corner Francesco Logozzo: Analisi statica con i Code Contracts per .NET 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 statico permette di verificare le asserzioni nel codice e provare l’assenza di errori comuni come NullPointerException senza eseguire il programma!

 

Francesco andra’ alla lavagna, e dara’ una (semplice) introduzione all’Interpretazione astratta, la teoria utilizzata dall’analizzatore statico per inferire le invarianti di ciclo e quindi provare le asserzioni.

 

I Code Contracts possono essere scaricati con licenza industriale o accedemica

Il gruppo RiSE coordina la ricerca in ingegneria del software a Redmond negli USA.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Analisi-statica-con-i-Code-Contracts-per-NET 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 statico permette di verificare le asserzioni nel codice e provare l’assenza di errori comuni come NullPointerException senza eseguire il programma!   Francesco andra’ alla lavagna, e dara’ una (semplice) introduzione all’Interpretazione astratta, la teoria utilizzata dall’analizzatore statico per inferire le invarianti di ciclo e quindi provare le asserzioni.   I Code Contracts possono essere scaricati con licenza industriale o accedemica Code Contracts Forums Code Contracts Home page Il gruppo RiSE coordina la ricerca in ingegneria del software a Redmond negli USA. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 632 http://channel9.msdn.com/Blogs/Peli/Analisi-statica-con-i-Code-Contracts-per-NET Thu, 11 Feb 2010 01:53:00 GMT http://channel9.msdn.com/Blogs/Peli/Analisi-statica-con-i-Code-Contracts-per-NET Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/Analisi-statica-con-i-Code-Contracts-per-NET/RSS .NET 4.0 .NET Framework 4.0 code contracts Italia it-IT Microsoft Research RiSE Verification Francesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i CodeContracts 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 .NET .

I CodeContracts permettono di specificare il comportamento del codice utilizzando il codice stesso.

 

Francesco ci spieghera’ (alla lavagna e con un demo di ispirazione ciclistica) come migliorare la qualita’ del codice e rendere il debugging piu’ efficace usando la libreria dei Contratti (inclusa in mscorlib 4.0) ed il runtime checker .

 

I CodeContracts possono essere scaricati con licenza industriale o accademica:

 

 

Il gruppo RiSE coordina la ricerca in ingegneria del software a Redmond negli USA.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Programmazione-per-Contratti-e-runtime-checking-in-NET-con-i-CodeContracts 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 .NET . I CodeContracts permettono di specificare il comportamento del codice utilizzando il codice stesso.   Francesco ci spieghera’ (alla lavagna e con un demo di ispirazione ciclistica) come migliorare la qualita’ del codice e rendere il debugging piu’ efficace usando la libreria dei Contratti (inclusa in mscorlib 4.0) ed il runtime checker .   I CodeContracts possono essere scaricati con licenza industriale o accademica: Code Contracts Forums Code Contracts Home page     Il gruppo RiSE coordina la ricerca in ingegneria del software a Redmond negli USA. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1172 http://channel9.msdn.com/Blogs/Peli/Programmazione-per-Contratti-e-runtime-checking-in-NET-con-i-CodeContracts Sat, 06 Feb 2010 00:09:00 GMT http://channel9.msdn.com/Blogs/Peli/Programmazione-per-Contratti-e-runtime-checking-in-NET-con-i-CodeContracts Peli de Halleux Peli de Halleux 3 http://channel9.msdn.com/Blogs/Peli/Programmazione-per-Contratti-e-runtime-checking-in-NET-con-i-CodeContracts/RSS .NET 4.0 .NET Framework 4.0 code contracts Italia it-IT Microsoft Research RiSE Nikolai Tillmann: Moles - Replace any .NET method with a delegate IMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at http://aka.ms/vs11-fakes.

Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc...) even when those dependencies are hard-coded through static method or sealed types. In this demo, Nikolai goes through the famous Y2K bug and how to test it...

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate IMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at http://aka.ms/vs11-fakes. Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc...) even when those dependencies are hard-coded through static method or sealed types. In this demo, Nikolai goes through the famous Y2K bug and how to test it... The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 348 http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate Fri, 29 Jan 2010 21:00:00 GMT http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate Peli de Halleux Peli de Halleux 29 http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate/RSS moles PEX RiSE SharePoint Testing The Verification Corner: Loop Invariants 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 constructed from its specifications.  Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.

The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants 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 constructed from its specifications.  Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. Try Spec# in your web browser at http://rise4fun.com/specsharp! Whiteboard slides [.pdf] [.pptx]  Spec# Demo project [.zip]Find past and future episodes of the The Verification Corner! The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1305 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants Tue, 12 Jan 2010 08:03:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants/RSS Microsoft Research RiSE Software Engineering Research verification corner