Generative Programming: Concepts and Experiences

Keynote by Nikolai Tillmann (Microsoft Research)

Nikolai Tillmann is a Principal Development Lead at Microsoft, Redmond. His main areas of research are program authoring on mobile devices, program analysis, testing, optimization, and verification. At Microsoft Research, he started TouchDevelop, a cross-platform development environment which enables end-users to write programs for mobile devices on mobile devices; try it for yourself at He also 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. Try out Pex on the web at, or play a coding game based on the Pex engine at Nikolai has a Dipl. Inf. in Computer Science from TU Berlin, Germany.