February 5, 2018: Paper PIE: A Domain-Specific Language for Interactive Software Development Pipelines with Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg and Eelco Visser accepted for ‹Programming› 2018
February 5, 2018: Paper Towards Zero-Overhead Disambiguation of Deep Priority Conflicts by Luís Eduardo de Souza Amorim, Michael J. Steindorfer and Eelco Visser accepted for ‹Programming› 2018
January 1, 2018: I have been invited to talk at Curry On 2018 in Amsterdam
December 19, 2017: Paper PixieDust: Declarative Incremental User Interface Rendering through Static Dependency Tracking by Nick ten Veen, Daco Harkes and Eelco Visser accepted for WWW 2018 track on Web Programming
September 26, 2017: Paper Intrinsically Typed Definitional Interpreters for Imperative Languages by Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser accepted at POPL 2018 [video] [paper]
I have an opening for a PhD student in software language engineering
Postdoc candidates: contact me if you are interested in submitting a proposal to the LEaDing Fellows program for Marie Curie postdoc positions starting in May 2019; next deadline is October 31, 2018.
I am looking for student programmers
If you would be interested in working with me, send me an email.
I lead the Software Language Design and Engineering research program. Our mission is to enable software engineers to effectively design, implement, and apply domain-specific languages. We are doing research in three tracks:
Language engineering: investigate the automatic derivation of efficient, scalable, incremental compilers and usable IDEs from high-level, declarative language definitions
Semantics engineering: investigate the automatic verification of the consistency of language definitions in order to check properties such as type soundness and semantics preservation
Language design: investigate the systematic design of domain-specific software languages with an optimal tradeoff between expressivity, completeness, portability, coverage, and maintainability.
Static semantics
Dynamic semantics
Integrated development environments
Transformation and analysis
Syntax definition and parsing
Language composition
Programming with relations
Abstractions for web programming
More publications | biggest hits
Speaker: Curry On 2018
Chair: IFIP WG2.16 on Programming Language Design (2011-2018)
All my professional activities | Presentations
MetaBorg provides generic technology for allowing a host language (collective) to incorporate and assimilate external domains (cultures) in order to strengthen itself. The ease of implementing embeddings makes resistance futile.