Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
Uack! I cannot use System.Linq! I'm offenseless!
That said, this is really cool and fun - playing around with it!
That would be cheating
Not really but a.Select(x => (int)x).Sum() is neater than the imperative variation
I see fibbo too...
Concerning the "anagram" puzzle: isn't that rather a palindrome-puzzle (str == reverse str)?
Anagram? You keep using that word. I do not think it means what you think it means.
Ouch - you are totally right. We really meant palindrome-puzzle and not anagram.
http://www.pexforfun.com/Default.aspx?language=CSharp&sample=MethodCalls
Why isn't there an OverflowException?
Overflow exceptions are not turned off by default in C#. Use the checked keyword and you will get the overflow exception.
What kind of projector are you using? How are you interactiving with the white board? Drawing arrows, scrolling, etc?
Thanks,
Mike D.
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...
thanks Peli!
You can now use basic Linq statements: http://www.pexforfun.com/Default.aspx?language=CSharp&sample=Linq