Moving from Microsoft Research to DevDiv…

I didn’t blog for more than a year, and many interesting things happened during that time! I moved from the Research in Software Engineering team (RiSE) in Microsoft Research to the Tools for Software Engineers (TSE) team in DevDiv to work on a new challenge. Here’s a summary of everything that’s been going on: TouchDevelop…

2

pexforfun.com: IntelliSense, High Score List, Publishing, Dynamic Ranking, Live Feed

Today, the Pex team is thrilled to announce a great makeover for pexforfun.com, adding several new features: IntelliSense That’s right, when you hit the ‘.’ after a name in the code editor, you get code completion, in your browser. Just as in Visual Studio! Well, almost. It currently only works for a subset of C#,…

1

Sign in on pexforfun.com, start earning medals

Using Windows Live™ ID, you can now sign in to pexforfun.com and get a personalized experience. After signing in, the Pex for fun website will track how many Coding Duels you tried to win, eventually won, and which ones you created yourself. Pex for fun also remembers the last program text you wrote for any…

5