Channel 9 - Entries tagged with Peli de HalleuxMicrosofthttp://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pngChannel 9 - Entries tagged with Peli de Halleuxhttp://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
enTue, 31 Mar 2015 18:13:35 GMTTue, 31 Mar 2015 18:13:35 GMTRev94125Nikolai Tillmann and Peli de Halleux: Inside Code DiggerCode 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-DiggerCode 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. 1964http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger
Tue, 07 May 2013 12:45:00 GMThttp://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-DiggerCharlesCharles17http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger/RSS.NETComputer ScienceMicrosoft ResearchNikolai-TillmannPeli de HalleuxPEXProgrammingprogramming toolsVisual StudioZ3PEX4FUN WP7: A Mobile Game for ProgrammersPEX4FUNis 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.

]]>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 &quot;Intellisense&quot; (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 1700http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers
Wed, 16 Mar 2011 20:11:48 GMThttp://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-ProgrammersCharlesCharles2http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers/rssGamesNikolai-TillmannPeli de HalleuxPEXRiSEWindows Phone 7WP7Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3Unit 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 8794http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33
Wed, 15 Sep 2010 17:49:00 GMThttp://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33Channel9SpainChannel9Spain0http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33/RSSmolesPeli de HalleuxPEXResearchSpainUnit TestingPex - 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 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-RocksSharePoint 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. 4518http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks
Sun, 31 Jan 2010 10:33:00 GMThttp://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-RocksMatthijs Hoekstra, Peli de HalleuxMatthijs Hoekstra, Peli de Halleux4http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks/RSSmolesNetherlandsPeli de HalleuxPEXRiSESharePointSharePoint Connections 2010 AmsterdamSPC10