TU Delft Programming Languages

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.

We are hiring!

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.

News | March 15, 2019

The PL group has an opening for an assistant or associate professor in programming languages (applications are due April 15, 2019)

Symposium | Tue, March 26, 2019
Symposium Declarative Programming
Görel Hedin, Friedrich Steimann, Guido Salvaneschi, Hendrik van Antwerpen
Symposium | Tue, March 26, 2019
ACID for Programmers
Friedrich Steimann (FernUniversität in Hagen)
Symposium | Tue, March 26, 2019
Seminar | Thu, March 28, 2019
Seminar | Wed, April 03, 2019
HOPE tagged architecture
Andrew Tolmach (Portland State University)
Seminar | Wed, May 22, 2019
TBA
Frederic Bour (INRIA)
Reading Group | Wed, Mar 27, 2019
A Gentle Introduction to Multiparty Asynchronous Session Types

By Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida in International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2015) Formal Methods for Multicore Programming pp 146-178

Moderator: Sung-Shik Jongmans

Reading Group | Wed, Apr 03, 2019
Substructural Type Systems

By David Walker in Chapter 1 of Advanced Topics in Types and Programming Languages

Moderator: Eelco Visser (Andrew Tolmach)