Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
Description
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.
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.
Share
Download
Download this episode
- High Quality WMV (38.5 MB)
- MP3 (2.9 MB)
- Low Quality MP4 (63.1 MB)
- Mid Quality WMV (40.7 MB)
More episodes in this series
Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions
Related episodes
Margus Veanes - Rex - Symbolic Regular Expression Exploration
December 2010 Developer Dinner: How to Simplify Unit Testing with Pex and Moles
Bart De Smet: LINQ to Z3
Mark Marron - Visualizing and Understanding Heap Structure
Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
Run PowerShell Natively on Linux with Docker
What's New for .NET 2015
What's New for .NET 2015
TWC9: Last Show of 2014, Orleans, Bing Developer Assistant, VSO news and more...
The Discussion
-
exoteric Uack! I cannot use System.Linq! I'm offenseless!
That said, this is really cool and fun - playing around with it!
-
peli That would be cheating
-
exoteric Not really but a.Select(x => (int)x).Sum() is neater than the imperative variation
I see fibbo too...
-
Novox Concerning the "anagram" puzzle: isn't that rather a palindrome-puzzle (str == reverse str)?
-
SteelForce Anagram? You keep using that word. I do not think it means what you think it means.
-
peli Ouch - you are totally right. We really meant palindrome-puzzle and not anagram.
-
Beldur http://www.pexforfun.com/Default.aspx?language=CSharp&sample=MethodCalls
Why isn't there an OverflowException?
-
peli Overflow exceptions are not turned off by default in C#. Use the checked keyword and you will get the overflow exception.
-
spottedmah What kind of projector are you using? How are you interactiving with the white board? Drawing arrows, scrolling, etc?
Thanks,
Mike D. -
peli We are using eBeam to capture the mouse on the projector. For the scrolling, the intern was simply hitting the up/down arrow on the laptop when Nikolai was dragging the screen...
-
spottedmah thanks Peli!
-
Nikolai You can now use basic Linq statements: http://www.pexforfun.com/Default.aspx?language=CSharp&sample=Linq