In the programming languages research program, we aim at improving the effectiveness and reliability of programming languages and systems. Effectiveness such that programmers can express intent at the right level of abstraction and get actionable feedback that is relevant and timely. Reliability such that programmers can trust the execution and analysis of programs.
For Students
Research
In our teaching we emphasize the study of the fundamental concepts of programming languages that prepare students for (contributing to the design and implementation of) the programming languages and systems of the future. Our course topics include algorithms and data-structures, compiler construction, semantics, type systems, static and dynamic analysis, software verification, model checking, and language engineering.
Programming and Validating Software Restructurings

Composable and Safe-by-Construction Programming Language Definitions

Verified Programming Language Interaction

DSLs for Adaptable Digital Print Systems

NWO has granted our proposal to the MasCot call to work on Programming and Validating Software Restructurings. We will be hiring two PhD students in Delft and one in Eindhoven. PI on the proposal is Eelco Visser. Co-applicants are Casper Bach Poulsen (TU Delft), Jan Friso Groote (TU Eindhoven), and Jeroen Keiren (TU Eindhoven).
Maarten Sijm wins the ACM Student Research Competition at SPLASH 2019 for his work on Incremental Scannerless Generalized LR Parsing.
We are delighted that Jesper Cockx will join TU Delft Programming Languages group as assistant professor starting December 1, 2019.
Jasper Denkers wins best paper and best presentation award at ESEC/FSE 2019 Doctoral Symposium for his paper on “A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry” based on work with/at Océ.
The PL group has an open position for a PhD student in the area of language engineering.
The PL group has an opening for an assistant or associate professor in programming languages (applications are due September 1, 2019)
Congratulations to Casper Bach Poulsen for his NWO Veni grant for Composable and Safe-by-Construction Programming Language Definitions.
Eduardo Amorim successfully defended his dissertation Declarative Syntax Definition for Modern Language Workbenches and was awarded the degree of doctor.
The paper “Scopes and Frames Improve Meta-Interpreter Specialization” by Vlad Vergu, Andrew Tolmach, and Eelco Visser has been accepted at ECOOP 2019.
Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
Congratulations to Sebastian Erdweg with his new position as Associate Professor at the Johannes Gutenberg Universität Mainz.
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.
Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
Program fragments, linking, and modularization
By Luca Cardelli
Moderator: Casper Bach Poulsen
A systematic approach to deriving incremental type checkers
By André Pacak, Sebastian Erdweg, Tamás Szabó in ACM
Moderator: Aron Zwaan
Applicative functors and fully transparent higher-order modules
By Xavier Leroy
Moderator: Eelco Visser