Channel 9 - Entries tagged with Peli de Halleux Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Peli de Halleux http://channel9.msdn.com/Tags/peli-de-halleux 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/Tags/peli-de-halleux en Sat, 25 May 2013 11:30:40 GMT Sat, 25 May 2013 11:30:40 GMT Rev9 4 1 25 Nikolai Tillmann and Peli de Halleux: Inside Code Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers.

So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?

Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.

 

]]> http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers. So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.   1964 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Tue, 07 May 2013 12:45:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger/RSS .NET Computer Science Microsoft Research Nikolai-Tillmann Peli de Halleux PEX Programming programming tools Visual Studio Z3 PEX4FUN WP7: A Mobile Game for Programmers PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that programmers will enjoy solving.

PEX4FUN necessarily involves writing code, but you will probably spend more time thinking about the solutions to problems than you do typing characters on your phone. Still, coding on mobile devices is a very interesting idea and it will be very interesting to see where Nikolai, Peli and team take this. As is the case with RiSE and MSR generally, limits will be pushed and discoveries made.

Here, we talk to some of the RiSE geniuses about PEX, http://pexforfun.com and of course this new WP7 game, PEX4FUN. You've met Peli de Halleux and Nikolai Tillmann before, but this time they are both in front of the camera at the same time. (Thanks, Peli, for all the great RiSE content you've made for 9 over the years!)

So, how does PEX4FUN work? How did they build it? How is it related to pex4fun the web site? Oh, and did they use Rx in the Intellisense engine? Smiley What's the backstory behind pex and pex4fun.com?

It’s always great to catch up with the RiSE team, one my favorite groups of engineers and scientists at Microsoft. Please download the free game from Windows Phone Marketplace, play with it, push it and provide feedback back to Peli and Nikolai.

RiSE.PEX4FUN.PlayNow();

C

 

]]> http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that programmers will enjoy solving. PEX4FUN necessarily involves writing code, but you will probably spend more time thinking about the solutions to problems than you do typing characters on your phone. Still, coding on mobile devices is a very interesting idea and it will be very interesting to see where Nikolai, Peli and team take this. As is the case with RiSE and MSR generally, limits will be pushed and discoveries made. Here, we talk to some of the RiSE geniuses about PEX, http://pexforfun.com and of course this new WP7 game, PEX4FUN. You've met Peli de Halleux and Nikolai Tillmann before, but this time they are both in front of the camera at the same time. (Thanks, Peli, for all the great RiSE content you've made for 9 over the years!) So, how does PEX4FUN work? How did they build it? How is it related to pex4fun the web site? Oh, and did they use Rx in the Intellisense engine? What's the backstory behind pex and pex4fun.com? It’s always great to catch up with the RiSE team, one my favorite groups of engineers and scientists at Microsoft. Please download the free game from Windows Phone Marketplace, play with it, push it and provide feedback back to Peli and Nikolai. RiSE.PEX4FUN.PlayNow(); C   1700 http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers Wed, 16 Mar 2011 20:11:48 GMT http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers Charles Charles 2 http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers/rss Games Nikolai-Tillmann Peli de Halleux PEX RiSE Windows Phone 7 WP7 Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3 Unit Testing with Pex and Moles

TRAINER: Peli de Halleux – Microsoft Research

Pex enables parameterized unit testing for .NET: given a unit test with parameters. Pex generates inputs that achieves high code coverage. Moles is a framework that allows to isolate unit tests from environment dependencies: Moles allows to replace any .NET method with a delegate, even when the method is static, non-virtual or in a sealed type. Pex and Moles work on any .NET applications. Pex and Moles supports .NET v2.0, v3.5, v4.0, VS2008 and VS2010. The learning objectives of this class are:

Understand and write unit tests.
Use Moles to isolate unit tests.
Write Pex parameterized unit tests

]]> http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 Unit Testing with Pex and Moles TRAINER: Peli de Halleux – Microsoft ResearchPex enables parameterized unit testing for .NET: given a unit test with parameters. Pex generates inputs that achieves high code coverage. Moles is a framework that allows to isolate unit tests from environment dependencies: Moles allows to replace any .NET method with a delegate, even when the method is static, non-virtual or in a sealed type. Pex and Moles work on any .NET applications. Pex and Moles supports .NET v2.0, v3.5, v4.0, VS2008 and VS2010. The learning objectives of this class are:Understand and write unit tests.Use Moles to isolate unit tests.Write Pex parameterized unit tests 8794 http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 Wed, 15 Sep 2010 17:49:00 GMT http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 Channel9Spain Channel9Spain 0 http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33/RSS moles Peli de Halleux PEX Research Spain Unit Testing Pex - Unit Testing of SharePoint Services that Rocks! SharePoint Services are challenging for unit testing because it is not possible to execute the SharePoint Service without being connected to a live SharePoint site. For that reason, most of the unit tests written for SharePoint are actually integration tests as they need a live system to run. In this session, we show how to use Pex, an automated test generation tool for .NET, to test SharePoint Services in isolation. From a parameterized unit test, Pex generates a suite of closed unit tests with high code coverage. Pex also contains a stubbing framework, Moles, that allows to detour any .NET method to user-defined delegates, e.g., replace any call to the SharePoint Object Model by a user-defined delegate.

Peli de Halleux from Microsoft Research presented this presentation on SharePoint Connections 2010 Amsterdam.

Peli is a Senior Research Software Design Engineer at Microsoft Research in Redmond, USA, where he has been since October 2006 working the Pex project. From 2004 to 2006, he worked in the Common Language Runtime (CLR) as a Software Design Engineer in Test (SDE/T) in charge of the Just In Time compiler. Before joining Microsoft, he earned a PhD in Applied Mathematics from the Catholic University of Louvain. Earlier, he developed the unit testing framework MbUnit.

]]> http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks SharePoint Services are challenging for unit testing because it is not possible to execute the SharePoint Service without being connected to a live SharePoint site. For that reason, most of the unit tests written for SharePoint are actually integration tests as they need a live system to run. In this session, we show how to use Pex, an automated test generation tool for .NET, to test SharePoint Services in isolation. From a parameterized unit test, Pex generates a suite of closed unit tests with high code coverage. Pex also contains a stubbing framework, Moles, that allows to detour any .NET method to user-defined delegates, e.g., replace any call to the SharePoint Object Model by a user-defined delegate.Peli de Halleux from Microsoft Research presented this presentation on SharePoint Connections 2010 Amsterdam. Peli is a Senior Research Software Design Engineer at Microsoft Research in Redmond, USA, where he has been since October 2006 working the Pex project. From 2004 to 2006, he worked in the Common Language Runtime (CLR) as a Software Design Engineer in Test (SDE/T) in charge of the Just In Time compiler. Before joining Microsoft, he earned a PhD in Applied Mathematics from the Catholic University of Louvain. Earlier, he developed the unit testing framework MbUnit. 4500 http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks Sun, 31 Jan 2010 10:33:00 GMT http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks Matthijs Hoekstra Matthijs Hoekstra 4 http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks/RSS moles Netherlands Peli de Halleux PEX RiSE SharePoint SharePoint Connections 2010 Amsterdam SPC10