Programming Languages Research Group

TU Delft Programming Languages Group

PL group at seminar December 13, 2017 [older pictures]

Present and past members of the Programming Languages Research group at TU Delft.

See also http://pl.ewi.tudelft.nl/organization/people/

Faculty

  1. Eelco Visser (Full Professor)
  2. Robbert Krebbers (Assistant Professor)
  3. Casper Bach Poulsen (Assistant Professor)
  4. Jasper Cockx

Visitors

  1. Peter Mosses (Professor Emeritus, Swansea)

Postdocs

  1. Gabriël Konat 2019-2023

PhD Students

  1. Hendrik van Antwerpen (VICI) 2015-2020
  2. Jeff Smits (Education Research, Oracle) 2016-2020
  3. Arjen Rouvoet (VICI) 2017-2020
  4. Jasper Denkers (TKI HTSM / Océ) (2018-2022)
  5. Daniël Pelsmaeker (EduDev) (2018-2024)
  6. Opening: PhD student in language engineering

As promotor

  1. Sven Keidel 2019-2023 (co-promotor: Robbert Krebbers)

Programmer

  1. Elmer van Chastelet
  2. Danny Groenewegen

Master’s Students

  1. Nick ten Veen (web clients) (with Daco Harkes)
  2. Volker Lanting (language testing) (with Gabriël Konat)
  3. Maarten Sijm (parsing)
  4. Chiel Bruin (virtual machines)
  5. Phil Mistelli
  6. Aaron Zwaan
  7. Max de Krieger
  8. Bram Crielaard

co-supervised

  1. Luka Miljak (with Robbert Krebbers)

as chair (with supervisor)

  1. Jens de Waard (Robbert Krebbers)
  2. Liam Clark (Robbert Krebbers)

Former Group Members

Visitors

Assistant Professor

  1. Sebastian Erdweg (Assistant Professor)
  2. Guido Wachsmuth (Assistant Professor) (2013-2016)

Postdocs

  1. Casper Bach Poulsen (VICI) 2015-2018
  2. Michael Steindorfer (VICI) 2017-2018
  3. Pierre Neron (VICI) 2013-2015
  4. Guido Wachsmuth (Oracle Labs) 2012-2013
  5. Guido Wachsmuth: (MoDSE) 2009-2012
  6. Lennart Kats: (LB) 2011-2012
  7. Eelco Dolstra (PDS) 2009-2012
  8. Eelco Dolstra (CEDICT/LaQuSo Buildfarm) 2008-2009
  9. Martin Bravenboer (MoDSE) 2007-2008
  10. Eelco Dolstra (TraCE) 2005-2008
  11. Merijn de Jonge (TraCE) 2004-2012

PhD Students

  1. Vlad Vergu (Oracle) 2012-2018
  2. Luís Eduardo Souza Amorim (li) (CAPES) 2014-2019
  3. Gabriël Konat (NWO OC) 2012-2018
  4. Daco Harkes (VICI) 2014-2018
  5. Danny Groenewegen (MoDSE/ASSESS) 2008-2016.
  6. Markus Voelter: Generic Tools, Specific Languages (mbeddr; external) 2010-2014
  7. Maartje de Jonge: Language-parametric Techniques for Language-Specific Editors (MoDSE) 2009-2012
  8. Sander van der Burg (PDS; NWO) 2008-2012
  9. Sander Vermolen: Software Language Evolution (MoDSE) 2007-2011
  10. Zef Hemel: Methods and Techniques for the Design and Implementation of Domain-Specific Languages MoDSE 2007-2011
  11. Lennart Kats: Building Blocks for Language Workbenches (TFA) 2007-2011
  12. Martin Bravenboer: Exercises in Free Syntax (TraCE) 2003-2007
  13. Anya Helene Bagge: Constructs & Concepts. Language Design for Flexibility and Reliability. (Bergen University), 2003-2007
  14. Karl Trygve Kalleberg: Abstractions for Transformations (Bergen University), 2003-2007
  15. Eelco Dolstra: The purely functional software deployment model; TraCE, 2001-2005
  16. Karina Olmos: DSP Transformation (Philips) 2000-2005

Programmer

  1. Rob Vermaas: CEDICT/LaQuSo Buildfarm (TUD),2009-2011
  2. Rob Vermaas: DSP Transformation (Utrecht University), 2004-2005

Interns

2018

  1. Amin Ait Lamqadem (Pisa) (Rust in Spoofax)

2016

  1. Timothée Haudebourg (safe operator disambiguation)

Master’s students

2019

  1. Roelof Sol (PIE) (with Sebastian Erdweg, Gabriël Konat)
  2. Jeffrey Goderie (CERN)
  3. Taico Aerts (transformation)

as chair

  1. Albert ten Napel (Robbert Krebbers)

2018

  1. Jasper Denkers (parsing) (with Eduardo Amorim)
  2. Gerben Kunst (Alan Light) (with Daco Harkes)
  3. Martijn Dwars (test generation) (with Hendrik van Antwerpen)
  4. Daniël Pelsmaeker (IDE portability) (with Gabriël Konat)
  5. Tim Rensen (LeQuest)
  6. Olaf Maas (web assembly)

as chair (with supervisor)

  1. Jente Hidskes (Sebastian Erdweg)
  2. Sander Bosma (Sebastian Erdweg)
  3. Wiebe van der Geest (Casper Bach Poulsen)
  4. Ioannis Papadopoulos (Sebastian Erdweg)

2017

  1. Michiel Haisma (Grace) (with Vlad Vergu)

2016

  1. Jeff Smits (Green-Marl semantics and compiler) (with Guido Wachsmuth)
  2. Hendrik van Antwerpen (type constraints)

2014

  1. Daco Harkes: relational programming
  2. Chris Melman: data synchronization for mobile applications (with Danny Groenewegen)

2013

  1. Richard Vogelij: Generating Web-based Semantically Aware Source Code Editors
  2. Willem Bult: Musubi: Middleware for Secure Mobile Collaborative Applications (at Stanford)
  3. Wouter van Koppen: The MetaForma Language (at University of Southern Denmark)
  4. Oskar van Rest: Robust real-time synchronization between textual and graphical editors (at University of Queensland)
  5. Chris Gersen: ORM optimization through automatic prefetching in WebDSL
  6. Elmer van Chastelet: A DSL for internal site search
  7. Nathan Bruning: Separate compilation as a separate concern
  8. Ricky Lindeman: Declaratively defining domain-specific language debuggers
  9. André Miguel Simões Dias Vieira: A generic and automatic test strategy for compiler testing

2012

  1. Tobi Vollebregt: Declarative Specification of Template-Based Textual Editors
  2. Vlad Vergu: LabBack: an extendible platform for secure and robust in-the-cloud automatic assessment of student programs
  3. Gabriël Konat: Language-parametric incremental and parallel name resolution (cum laude)
  4. Pieter Senster: The design and implementation of Google Swiffy: a Flash to HTML5 converter (at Google) (cum laude)

2011

  1. Sverre Rabbelier: Web IDEs
  2. Nami Nasserazad: DSL Re-targetability

2009

  1. Ruben Verhaaf: workflow (NICTA, Australia)
  2. Jonathan Guzman: Java generators (TOPDesk)
  3. Wouter Mouw: legacy transformation (De Amersfoortse)
  4. Michel Weststrate: abstractions for AJAX

2008

  1. Sander van der Burg: distributed deployment of model-based software
  2. Jippe Holwerda: styling web applications
  3. Nicolas Pierron: attribute grammars in Stratego (Epita)
  4. Danny Groenewegen: Declarative access control for WebDSL
  5. Gerardo de Geest: DSL evolution

2007

  1. Jonathan Joubert: From REST to Rich: Retargetting a DSL to Ajax
  2. Rob Schellhorn: Framework Aware Domain Extraction and Refactoring of Java Applications
  3. Lennart Kats: mixing source and byte code (UU)
  4. Jeroen Dobbe: A Domain-Specific Language for Computer Games
  5. Sander Mak: DSL interaction (UU)

2006

  1. Roy van den Broek: Continuous integration and release management
  2. Armijn Hemel: NixOS (Eelco Dolstra)
  3. Jory van Zessen: Optimization of functional programs
  4. Bogdan Dumitriu: Extensible and customizable data-flow transformation strategies for object-oriented programs

2005

  1. Koen Muilwijk: Automated analysis of unit tests to improve understanding of software systems
  2. Remko van Beusekom: A Vectorizer for Octave (Karina Olmos) (Feb. 2005)
  3. Rene de Groot: Design and implementation of embedded domain-specific languages (Martin Bravenboer) (Sep 2005)
  4. Niels Janssen: Transformation Tool Composition
  5. Eric Eijkelenboom: Trends in software evolution (Software Improvement Group)
  6. Robert Verrips: Methods for software migration

2004

  1. Arthur van Dam: Extending dynamic rules (Feb. 2004)
  2. Rob Vermaas: Extendible Documentation Generator (thesis) (Feb. 2004)

2003

  1. Jozef Kruger: Specification of Loop Optimizations in Stratego. Improving the AutoBayes System
  2. Martin Bravenboer: Connecting XML Processing and Term Rewriting with Tree Grammars
  3. Jonne van Wijngaarden : Code Generation from a Domain Specific Language
  4. Alan van Dam: Simplifying the Simplifier
  5. Robert Anisko: MetaTiger and partial evaluation (visiting from Epita)
  6. Otto Skrove Bagge: CodeBoost (Bergen University)

2002

  1. Lennart Swart: Partial Evaluation with Rewrite Rules
  2. Hedzer Westra: CobolX

2001

  1. Eelco Dolstra: RhoStratego
  2. Arne de Bruijn: Inlining strategies

2000

  1. Karina Olmos: DSP Transformation

1997

  1. Merijn de Jonge: Reusing ASF+SDF