- Professor of Computer Science
- Antoni van Leeuwenhoek Professor
- Chair of TU Delft Programming Languages Group
- Department of Software Technology
- Faculty of Electrical Engineering, Mathematics and Computer Science
- Delft University of Technology
- Delft, The Netherlands (CEST/CET)
- firstname.lastname@example.org | email@example.com
- About | Contact
Prospective PhD Students & PostdocsI'm looking for PhD students, postdocs, and student programmers. See my research topics and publications for an impression of my interests. See the PL group's open positions for what is available right now. Send me an email with CV and motivation/research interests, also to explore future opportunities.
Expressing IntentHow to enable software engineers to express intent directly in terms of the concepts of a domain of interest (and get the corresponding implementation for free)? Most of my (group's) research is related, one way or another, to that question, and includes: design of meta-languages for language design (to support the development of new languages), language theory and implementation techniques (such as parsing, name resolution, constraint solving, rewriting), design of domain-specific languages for particular domains (such as web programming, build systems, digital printers), evaluation of these languages in applications (such as WebLab, conf.researchr.org).
Declare Your Language with SpoofaxHow to enable software engineers to design and implement (domain-specific) programming languages? In the Spoofax Language Workbench project we explore solutions and integrate these in a programming environment for the development of languages using high-level declarative meta-languages for syntax, static semantics, dynamic semantics, program analysis, and program transformation.
Name Resolution with Scope GraphsHow to formalize the name binding rules of programming languages? We are developing scope graphs, a uniform framework for the representation of a wide range of name binding patterns in programming languages. A general theory of name resolution interprets scope graphs to resolve references to their corresponding declarations. Scope graphs are a core component of the Statix language for type system specification.
Incremental Software Pipelines with PIEHow to declaratively specify software pipeline for fine and coarse grained tasks and ensure their sound incremental execution? PIE is a domain-specific language and runtime for the specification of software pipelines and their incremental execution. PIE provides an expressive language for defining pipelines including dynamic dependencies, and guarantees efficient, precise and scalable incremental execution.
Programming Education at Scale with WebLabHow to scale programming education to large numbers of students? How to scale delivery of many assignments and exam questions for a course and still provide feedback to students? WebLab provides a web-based learning environment for programming education that supports lab assignments and proctored digital exams. WebLab is currently used in 12 courses at TU Delft.
In this course students study declarative meta-languages for compiler construction such as context-free grammars, scope graphs, type constraints, and strategic rewriting. Using this knowledge they build a compiler and IDE for MiniJava using the Spoofax language workbench.Master CS | CS4200 | Q1+Q2 | Info
Language Engineering Project
In this course students explore (some aspect) of the design and implementation of a (domain-specific) programming language by building an implementation in Spoofax.Master CS | IN4333 | Q4 | Info
Seminar Programming Languages
In this seminar we discuss papers from the programming languages literature.Master CS | CS4130 | Q1 | Info
I supervise bachelor and master thesis projects in computer science at TU Delft. See my research areas to get an impression of my interests. Send me an email if you are interested in doing a project with me.Bachelor & Master CS | CSE3000, IN5000 | Q1-4 | Info
- Other PL courses | Older courses
- Review Committee Member of OOPSLA 2020
- Steering Committee Chair of ACM SPLASH 2019-2021
- Co-organizer of BAPL 2020
- Track co-chair of VERSEN track at ICT.OPEN 2020
- Program Committee member of PLNL 2019
- Review Committee Chair of OOPSLA 2019
- Associate Editor of PACMPL 2019
- Track co-chair of VERSEN track at ICT.OPEN 2019
- Steering Comittee Member of SPLASH 2013-2022
- Older activities
Paper: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System by Jeff Smits, Gabriël Konat, and Eelco Visser at Programming 2020March 26, 2020 (posted January 23, 2020)
Lecture: at PLISS 2020 Summer School in Bertinoro, Italy.May 20, 2020 (posted November 11, 2019)
Tutorial: Declarative Language Definition with Spoofax at PLDI 2020 in LondonJune 15, 2020 (posted December 09, 2019)
Workshop: Build Automation and Programming Languages (BAPL'20) at PLDI 2020June 15, 2020 (posted December 09, 2019)
Keynote: at Software Engineering and Formal Methods 2020 (SEFM20) at CWI in AmsterdamSeptember 17, 2020 (posted February 10, 2020)
Lecture: at Computer Science Club and at Jetbrains in St. Petersburg.September 26, 2020 (posted November 20, 2019)
Talk: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System at IFIP WG2.11 meeting in Paris (based on Programming 2020 article)January 24, 2020
Talk: Type Checkers from Declarative Specifications in Statix at INRIA in ParisJanuary 24, 2020
Grant: NWO has awarded our proposal to the Mastering Complexity (MasCot) call to work on Programming and Validating Software Restructurings. We will be hiring two PhD students in Delft and one in Eindhoven.December 09, 2019
Paper: Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages by Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser accepted at CPP 2020 [preprint]November 27, 2019