After the Grace workshop, James went up to Seattle and talked about Grace to the Research in Software Engineering group at Microsoft Research.

They’re working on a range of cool programming tools, from TouchStudio (simple programming on a Windows phone) to the big range of tools at http://rise4fun.com/.

Microsoft record most of their talks, and make them available on the web. The video and audio of James’s talk is here in various formats. The talk gives are reasonably high level overview of Grace. Be aware that the handwaving doesn’t really stop, but it certainly decreases in intensity after about the first twenty minutes! There are some good questions from people at the end.

Thanks to Manuel Fandrich & Rustan Leino for hosting James at Microsoft.