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.
A commemorative symposium for Eelco Visser is to be held on the first anniversary of his untimely passing in April 2022. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.
In case of a potential submission, please note the following deadlines:
- Friday 30 Sep 2022: Declaration of intent to submit
- Friday 28 Oct 2022: Paper submission deadline
For further details, see symposium.eelcovisser.org
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).
The PL group has an opening for an assistant or associate professor in programming languages (applications are due September 1, 2019)
Eduardo Amorim successfully defended his dissertation Declarative Syntax Definition for Modern Language Workbenches and was awarded the degree of doctor.
Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
Jaro Reinders (TU Delft / PL)
Lucas (TU Delft)
By Jean-Philippe Bernardy, Arnaud Spiwack
Moderator: Lucas Escot
By Peter Dybjer in Martin-Löf festschrift
Moderator: Jesper Cockx