Systems Seminar Talk: November 12, 2012

Speaker Nikolai Tillmann
Title TouchDevelop Web App: A Touch-first IDE for the Web Created with TypeScript
Location 3211 EB2
Time 11:00am-12:00pm
Abstract

TouchDevelop is a novel, touch-first IDE originally written as a Windows Phone 7 app using C# and XAML. TouchDevelop lets you create Windows Phone, Windows 8 and Web-apps directly on your phone, tablet, or desktop. I'm going to tell you a bit about TouchDevelop itself and how we built it using TypeScript - a dialect of JavaScript with static type system.

Bio

Nikolai Tillmann's main areas of research are program authoring on mobile devices, program analysis, testing, code optimization, and verification. He leads the Pex project, a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. He is also involved in the Spur project, where he is working on a tracing Just-In-Time compiler for .NET and JavaScript code. Most recently, he started the TouchDevelop project, which enables writing of programs for mobile devices on mobile devices.