TU Delft Programming Languages (original) (raw)
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. Find us on Mastodon!
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.
Supported by Jesper Cockx' NWO VENI project, Agda Core is a formal specification and correct-by-construction typechecker for a small core language for Agda.
Agda2hs is a tool for producing verified and readable Haskell code by extracting it from a (lightly annotated) Agda program and is supported by donations from IOG.
In this NWO/AES MasCot project we will develop a framework for the definition of custom, project-specific software restructurings that can be automatically applied at scale, and automatically validate the correctness of the results of restructurings. The framework is evaluated by using it to restructure existing software at Philips.
Supported by an unrestricted gift by Oracle Labs, we are working on the integration of language processors derived from language definitions in Spoofax into client-server architectures. This includes building and providing libraries for parsing, static analysis, and transformation to integrate language processors into servers; managing and reducing third-party dependencies of these libraries; profiling and reducing memory usage of libraries and language build pipelines; and performance improvements.
Scope graphs provide a uniform framework for the representation of a wide range of bindings and name resolution policies in programming languages.
The Spoofax Language Workbench provides a platform for high-level language definition and experimentation with linguistic abstractions for language engineering.
The WebDSL web programming language provides abstractions and consistency checking for data modeling, presentation, search, access control, and more.
We are delighted that Andreea Costea will join TU Delft Programming Languages group as assistant professor starting in October, 2024.
News | September 05, 2024
From February 2024, Sára Juhošová has joined our group as a PhD student to work on usability and accessibility of interactive theorem provers. Welcome!
News | February 01, 2024
Since the start of 2023, Layne Liu has joined our group as a PhD student on the NWO MasCot project on Programming and Validating Software Restructurings. Welcome to the group!
News | February 01, 2023
Our dear colleague and friend Eelco Visser passed away on Tuesday 5 April 2022. Eelco was professor and head of the Programming Languages Group (faculty EWI) at TU Delft and an expert in the field of programming language design. He was a highly valued member of the management team of the Software Technology department. Eelco was tenacious, well-informed, and always driven by content. A researcher in heart and soul, who will be greatly missed.
News | April 05, 2022
This year we have extended the PL group with many new PhD students. Welcome to Bohdan Liesnikov, Alex Chichigin, Lucas Escot, Aron Zwaan, Luka Miljak, Dennis Sprokholt, and Jaro Reinders. We still have open positions for two PhD students at the moment.
News | September 01, 2021
We are delighted that Benedikt Ahrens will join TU Delft Programming Languages group as assistant professor starting September 1, 2021.
News | September 01, 2021
We are delighted that Soham Chakraborty will join TU Delft Programming Languages group as assistant professor starting March 1, 2021.
News | March 01, 2021
Congratulations to Jesper Cockx for his NWO Veni grant for A Trustworthy and Extensible Core Language for Agda.
News | November 05, 2020
We are delighted that Jesper Cockx will join TU Delft Programming Languages group as assistant professor starting December 1, 2019.
News | October 11, 2019
Congratulations to Casper Bach Poulsen for his NWO Veni grant for Composable and Safe-by-Construction Programming Language Definitions.
News | July 16, 2019
The paper “Scopes and Frames Improve Meta-Interpreter Specialization” by Vlad Vergu, Andrew Tolmach, and Eelco Visser has been accepted at ECOOP 2019.
News | June 10, 2019
Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
News | April 25, 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.
News | April 01, 2019
