Channel 9 - Entries tagged with Nikolai-Tillmann Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Nikolai-Tillmann http://channel9.msdn.com/Tags/nikolai-tillmann 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/nikolai-tillmann en Fri, 24 May 2013 11:46:26 GMT Fri, 24 May 2013 11:46:26 GMT Rev9 3 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 Code Contracts and Pex: Power Charge Your Assertions and Unit Tests By Nikolai Tillmann and  Mike Barnett

Learn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. 
See how they work together so that your code has fewer defects.

Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.

Links:
PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK

]]> http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests By Nikolai Tillmann and  Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.  See how they work together so that your code has fewer defects. Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.Links:PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK 6108 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests Fri, 28 May 2010 12:01:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests martinesmann martinesmann 2 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests/RSS code contracts DPEDK MDCC Microsoft Research Mike Barnett MS Research Nikolai-Tillmann PEX RiSE