It is a great honor that the dutch national science foundation NWO has awarded my VICI proposal 'The Language Designer's Workbench' to investigate the building blocks of the next generation of language workbenches. The essence of the plan is to provide much better support to language designers by means of deep analyses of language definitions.

While the VICI grant is a personal grant, I feel it is also an award for the outstanding work done by the Stratego/XT and Spoofax teams over the last 15 years, which has provided the foundation for this new work. In particular, I would like to thank my PhD students and postdocs, in alphabetical order: Anya Helene Bagge, Martin Bravenboer, Sander van der Burg, Eelco Dolstra, Danny Groenewegen, Zef Hemel, Maartje de Jonge, Merijn de Jonge, Karl Trygve Kalleberg, Lennart Kats, Gabriƫl Konat, Karina Olmos, Vlad Vergu, Rob Vermaas, Sander Vermolen, Guido Wachsmuth.

With a budget of 1,500,000 Euro for five years I can compose a strong team of PhD students and postdocs. If you have a strong background in language engineering, compiler construction, program analysis, proof assistants, and/or mechanized meta-theory, and if you are interested in contributing to the future of software language engineering, consider applying for a PhD or postdoc position in the project.

Update February 5, 2013

Update April 30, 2013

Update June 2, 2013

Update June 15, 2013

It is always a nice exercise at the start of the year to make a plan for all the great papers to write and where to submit them. This is what was on the whiteboard in January 2010:

publication plans 2010

It is an exercise for the reader to figure out what actually materialized when, but here are a few pointers:

It is January again, and there's a new list with great plans on the whiteboard.

These photos were posted on the same day as they were taken (June 23, 2006). But they were non-public in my flickr stream, because they resulted from the first discussion I had with Martin Bravenboer about composition of parse tables, which would only lead to a publication in 2008.

plus with mul is ...

combining micro parse tables

I uploaded a selection of my photos from OOPSLA 2009 to flickr, including these:

barbara liskov
Barbara Liskov

dave ungar
Dave Ungar

As we are migrating our repositories from Subversion to git, I'm going through old repositories searching for uncommitted changes. I came across this set of slides for an invited talk at the Seminar on Transformation Techniques in Software Engineering held in Dagstuhl in April 2005. It provides an overview of ideas underlying Stratego and Spoofax with references to the literature, and may be of interest to new generations learning to use these tools.