Janary 1, 2018: Welcome to Casper Bach Poulsen as new assistant professor in the Programming Languages Group.
August 24, 2018: three papers accepted at SLE 2018:
August 16, 2018: Paper Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser accepted for OOPSLA 2018. The artifact accompanying the paper has also been accepted as Functional and Reusable
July 6, 2018: Paper “Specializing a Meta-Interpreter” by Vlad Vergu and Eelco Visser accepted for ManLang 2018
July 3, 2018: Paper “Scalable Incremental Building with Dynamic Task Dependencies” by Gabriël Konat, Sebastian Erdweg, and Eelco Visser accepted for ASE 2018
February 5, 2018: Paper PIE: A Domain-Specific Language for Interactive Software Development Pipelines by 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
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 open positions for
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.
Integrated development environments
Build and deployment
Transformation and analysis
Syntax definition and parsing
Programming with relations
Abstractions for web programming
Speaker: Curry On 2018
Chair: IFIP WG2.16 on Programming Language Design (2011-2018)
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.