April 25, 2019: Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
April 10, 2019: The paper “Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications” by Daniël Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser has been accepted at ECOOP 2019.
March 27, 2019: Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
March 15, 2019: The PL group has an opening for an assistant or associate professor in programming languages (applications are due April 15, 2019)
March 13, 2019: Talk A Direct Semantics for Declarative Disambiguation Rules
February 24, 2019: Dissertation Daco Harkes printed
February 19, 2019: Slides: Declarative type system specification with Statix
Janary 1, 2019: Welcome to Casper Bach Poulsen as new assistant professor in the Programming Languages Group.
We 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
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.