TU Delft Programming Languages

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> <meta name="description" content=""> <meta name="author" content=""> <meta name="generator" content="Jekyll v3.8.5"> <title>TU Delft Programming Languages</title>  <link rel="icon" href="/img/logo/pl_ico2_2B3_icon.ico" type="image/x-icon">  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.6.1/dist/css/bootstrap.min.css" integrity="sha384-zCbKRCUGaJDkqS1kPbPd7TveP5iyJE0EjAuZQTgFLD2ylzuqKfdKlfG/eSrtxUkn" crossorigin="anonymous"> <style> .bd-placeholder-img { font-size: 1.125rem; text-anchor: middle; -webkit-user-select: none; -moz-user-select: none; -ms-user-select: none; user-select: none; } @media (min-width: 768px) { .bd-placeholder-img-lg { font-size: 3.5rem; } } </style>  <link href="/css/main.css" rel="stylesheet"> <link rel="stylesheet" href="/css/pl.css"> </head> <body> <main role="main" > <nav class="navbar navbar-expand-md navbar-dark bg-dark fixed-top"> <a class="navbar-brand" href="https://www.tudelft.nl"> <img src="/img/tudelft.svg" class="d-inline-block align-top logo" alt="TU Delft Logo" height="30px"> </a>  <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarsExampleDefault" aria-controls="navbarsExampleDefault" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="navbarsExampleDefault"> <ul class="navbar-nav mr-auto"> <li class="nav-item active"> <a class="nav-link" href="/" tabindex="-1" aria-disabled="true">Delft PL</a> </li> <li class="nav-item dropdown active"> <a class="nav-link dropdown-toggle" href="#" id="" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Organization </a> <div class="dropdown-menu" aria-labelledby=""> <a class="dropdown-item" href="/organization/people/">People</a> <a class="dropdown-item" href="/organization/alumni/">Alumni</a> <a class="dropdown-item" href="/hiring/">Positions</a> <a class="dropdown-item" href="/organization/group-pictures/">Group Pictures</a> <a class="dropdown-item" href="/organization/">Programming Languages Section</a> </div> </li> <li class="nav-item dropdown active"> <a class="nav-link dropdown-toggle" href="#" id="" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Education </a> <div class="dropdown-menu" aria-labelledby=""> <a class="dropdown-item" href="/education/">Teaching</a> <a class="dropdown-item" href="/master-projects/">Master Project</a> <a class="dropdown-item" href="/education/bachelor-project/">Bachelor Project</a> </div> </li> <li class="nav-item dropdown active"> <a class="nav-link dropdown-toggle" href="#" id="research" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Research </a> <div class="dropdown-menu" aria-labelledby="research"> <a class="dropdown-item" href="/publications/">Publications</a> <a class="dropdown-item" href="/posters/">Posters</a> <a class="dropdown-item" href="/software/">Software</a> <a class="dropdown-item" href="/research/">Projects</a> <a class="dropdown-item" href="/publications/phd/">Dissertations</a> <a class="dropdown-item" href="/publications/tr/">Technical Reports</a> </div> </li> <li class="nav-item dropdown active"> <a class="nav-link dropdown-toggle" href="#" id="" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Events </a> <div class="dropdown-menu" aria-labelledby=""> <a class="dropdown-item" href="/news/">News</a> <a class="dropdown-item" href="/seminar/">Seminar</a> <a class="dropdown-item" href="/readinggroup/">Reading Group</a> </div> </li> <li class="nav-item active"> <a class="nav-link" href="/organization/contact/" tabindex="-1" aria-disabled="true">Contact</a> </li> </ul>  </div> </nav> <div class="container"> <div class="row"> <div class="span12">  <div class="row"> <div class="mb-3 col-sm-12 col-md-9 col-lg-9 col-xl-9"> <div class="card border-dark"> <div class="card-body"> <h2 class="card-title">TU Delft Programming Languages Group</h2> </div> <a href="/organization/people/"> <img class="card-img-bottom" src="/img/group/tudelft-pl-2024-11-13.jpg" width="100%" /> </a> </div> </div> <div class="mb-3 col-sm-12 col-md-3 col-lg-3 col-xl-3"> <div class="card border-light"> <a href="/"> <img width="100%" src="img/logo/PL-logo72.png" align="right" /> </a> </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body"> <p class="card-text"> In the <a href="/research/">programming languages research program</a>, 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 <a rel="me" href="https://akademienl.social/@DelftPL">Mastodon</a>! </p> </div> </div> <div class="row">  <div class="mb-3 col-sm-6 col-md-6 col-lg-3 col-xl-3"> <div class="card border-dark mb-3"> <a href="/organization/contact/"> <img src="/img/vmb6/2018/2018-11-15-2.jpg" width="100%" /> </a> </div> </div> <div class="col-sm-12 col-md-6 col-lg-3 col-xl-3"> <div class="card border-dark mb-3"> <div class="card-header"> <h5>For Students</h5> </div> <ul class="list-group list-group-flush"> <li class="list-group-item"> <a href="/education/">PL courses</a> </li> <li class="list-group-item"> <a href="/master-projects/">Master's project</a></li> <li class="list-group-item"> <a href="/education/bachelor-project/">Bachelor project</a></li> </ul> </div> </div> <div class="col-sm-12 col-md-6 col-lg-3 col-xl-3"> <div class="card border-dark mb-3"> <div class="card-header"> <h5> Research </h5> </div> <ul class="list-group list-group-flush"> <li class="list-group-item"> <a href="/publications/">Publications</a> </li> <li class="list-group-item"> <a href="/research/">Research Projects</a></li> <li class="list-group-item"> <a href="/seminar/">PL Seminar</a></li> </ul> </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body"> <p class="card-text"> In our <a href="/education/">teaching</a> 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. </p> </div> </div> <div class="row">  <div class="mb-3 col-sm-12 col-md-12 col-lg-6 col-xl-6"> <div class="card border-dark mb-3"> <a href="/research/"> <img src="/img/vmb6/2018/2018-03-14-whiteboard-wide-2.jpg" width="100%" /></a> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="https://github.com/jespercockx/agda-core/"> Agda Core </a> </h5> </div> <div class="card-body p-2"> 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. </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="https://github.com/agda/agda2hs"> Agda2Hs </a> </h5> </div> <div class="card-body p-2"> 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. </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> Programming and Validating Software Restructurings </h5> </div> <div class="row no-gutters"> <div class="col-3"> <div class="card-body p-2"> <img src="/img/nwo/Logoset Digitaal/NWO_logo_RGB.jpg" class="card-img" alt="WebDSL"> </div> </div> <div class="col-9"> <div class="card-body p-2"> 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. </div> </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="/research/projects/oracle-pie/"> Flexible, Composable, and Incremental Compiler Pipelines </a> </h5> </div> <div class="row no-gutters"> <div class="col-3"> <div class="card-body p-2"> <a href="/research/projects/oracle-pie/"> <img src="/img/oracle/sig-color-wbg.gif" class="card-img" alt="WebDSL" max-width="100px" width="100%" > </a> </div> </div> <div class="col-9"> <div class="card-body p-2"> Supported by an unrestricted gift by Oracle Labs, we are working on a uniform approach to support the high-level definition of software pipelines. As one particularly interesting use case, this approach provides a flexible framework for composition of compiler pipelines in the Spoofax language workbench. </div> </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="/research/projects/scope-graphs/"> Scope Graphs: A Theory of Name Resolution </a> </h5> </div> <div class="card-body p-2"> Scope graphs provide a uniform framework for the representation of a wide range of bindings and name resolution policies in programming languages. </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="https://metaborg.org"> The Spoofax Language Workbench </a> </h5> </div> <div class="row no-gutters"> <div class="col-3"> <div class="card-body p-2"> <a href="https://metaborg.org"> <img src="/img/spoofax/logo/Spoofax_Logo.png" class="card-img" alt="WebDSL" max-width="100px" width="100%" > </a> </div> </div> <div class="col-9"> <div class="card-body p-2"> The <a href="/research/projects/spoofax/">Spoofax</a> Language Workbench provides a platform for high-level language definition and experimentation with linguistic abstractions for language engineering. </div> </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-header p-2"> <h5 class="mb-0 pb-0"> <a href="https://webdsl.org"> The WebDSL Web Programming Language </a> </h5> </div> <div class="row no-gutters"> <div class="col-3"> <div class="card-body p-2"> <a href="https://webdsl.org"> <img src="/img/spoofax/logo/webdsl_1024.png" class="card-img" alt="WebDSL" max-width="100px" width="100%" > </a> </div> </div> <div class="col-9"> <div class="card-body p-2"> The <a href="/research/projects/webdsl/">WebDSL</a> web programming language provides abstractions and consistency checking for data modeling, presentation, search, access control, and more. </div> </div> </div> </div> </div>  <div class="col-sm-12 col-md-12 col-lg-6 col-xl-6">  <div class="card border-dark mb-3 embed-responsive" style="aspect-ratio: 0.5"> <iframe class="embed-responsive-item" allowfullscreen sandbox="allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox" src="https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fakademienl.social%2Fusers%2FDelftPL&theme=light&size=100&header=false&replies=false&boosts=true"></iframe> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p><a href="https://jasperdenkers.nl">Jasper Denkers</a> successfully defended his dissertation <a href="http://doi.org/10.4233/uuid:b982121b-842a-41ad-a2c5-dbc19857d279">Domain-Specific Languages for Digital Printing Systems</a> and was awarded the degree of doctor.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | October 01, 2024 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>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!</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | February 01, 2024 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Danny Groenewegen successfully defended his dissertation <a href="https://doi.org/10.4233/uuid:fb0cc4b7-a67b-474b-9570-96eb054a39ec">WebDSL: Linguistic Abstractions for Web Programming</a> and was awarded the degree of doctor.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | November 10, 2023 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>On 8 September 2023, Jeff Smits successfully defended his dissertation <a href="https://doi.org/10.4233/uuid:25f6f514-a07d-4b78-8cc3-2769555a5c20">Strategic Language Workbench Improvements</a> and was awarded the degree of doctor.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | September 08, 2023 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>The <a href="https://symposium.eelcovisser.org">Eelco Visser Commemorative Symposium</a> was held on 5 April 2023: the first anniversary of Eelco’s untimely passing. It brought together more than 130 colleagues from various communities, with presentations of papers on topics related to Eelco’s research and his other academic activities. The proceedings were published online as <a href="https://www.dagstuhl.de/dagpub/978-3-95977-267-9">volume 109</a> in the <a href="https://drops.dagstuhl.de/opus/institut_oasics.php">Dagstuhl Open Access Series in Informatics (OASIcs)</a>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | April 05, 2023 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>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!</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | February 01, 2023 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>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.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | April 05, 2022 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Arjen Rouvoet successfully defended his dissertation <a href="http://pl.ewi.tudelft.nl/seminar/dissertation/2021/10/14/phd-defense-arjen-rouvoet/">Correct by Construction Language Implementations</a> and was awarded the degree of doctor with distinction.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | October 14, 2021 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>This year we have extended the <a href="/organization/people/">PL group</a> 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 <a href="/hiring/">open positions</a> for two PhD students at the moment.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | September 01, 2021 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>We are delighted that <a href="https://benediktahrens.gitlab.io/">Benedikt Ahrens</a> will join TU Delft Programming Languages group as assistant professor starting September 1, 2021.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | September 01, 2021 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>We are delighted that <a href="https://www.st.ewi.tudelft.nl/sschakraborty/">Soham Chakraborty</a> will join TU Delft Programming Languages group as assistant professor starting March 1, 2021.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | March 01, 2021 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Congratulations to <a href="https://jesper.sikanda.be/">Jesper Cockx</a> for his NWO Veni grant for <em>A Trustworthy and Extensible Core Language for Agda</em>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | November 05, 2020 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>NWO has granted our proposal to the <a href="https://www.nwo.nl/en/research-and-results/programmes/partnership/partnershipprogrammes/ttw-+esi+mastering+complexity+%28mascot%29">MasCot</a> call to work on <a href="https://www.nwo.nl/onderzoek-en-resultaten/programmas/ttw/partnership/17933.html">Programming and Validating Software Restructurings</a>. We will be hiring two PhD students in Delft and one in Eindhoven. PI on the proposal is <a href="http://eelcovisser.org">Eelco Visser</a>. Co-applicants are <a href="http://casperbp.net/">Casper Bach Poulsen</a> (TU Delft), <a href="https://www.tue.nl/en/research/researchers/jan-friso-groote/">Jan Friso Groote</a> (TU Eindhoven), and <a href="https://www.jeroenkeiren.nl/">Jeroen Keiren</a> (TU Eindhoven).</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | December 06, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Maarten Sijm wins the <a href="https://2019.splashcon.org/track/splash-2019-SRC">ACM Student Research Competition at SPLASH 2019</a> for his work on <a href="https://2019.splashcon.org/details/splash-2019-SRC/9/Incremental-Scannerless-Generalized-LR-Parsing">Incremental Scannerless Generalized LR Parsing</a>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | October 23, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>We are delighted that <a href="https://jesper.sikanda.be/">Jesper Cockx</a> will join TU Delft Programming Languages group as assistant professor starting December 1, 2019.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | October 11, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p><a href="https://jasperdenkers.com/">Jasper Denkers</a> <a href="https://twitter.com/LancsUniSE/status/1166366012238958593">wins best paper and best presentation award</a> at <a href="https://esec-fse19.ut.ee/program/doctoral-symposium/">ESEC/FSE 2019 Doctoral Symposium</a> for his paper on “A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry” based on work with/at Océ.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | August 27, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>The PL group has an <a href="/hiring/2019-phd-student-language-engineering/">open position for a PhD student</a> in the area of language engineering.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | August 09, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>The PL group has an <a href="http://pl.ewi.tudelft.nl/hiring/2019-assistant-professor/">opening for an assistant or associate professor in programming languages</a> (applications are due September 1, 2019)</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | July 20, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Congratulations to <a href="http://casperbp.net/">Casper Bach Poulsen</a> for his <a href="https://www.nwo.nl/en/research-and-results/programmes/nwo/talent-scheme/veni-awards-2019.html#abc">NWO Veni</a> grant for <em>Composable and Safe-by-Construction Programming Language Definitions</em>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | July 16, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Eduardo Amorim successfully defended his dissertation <a href="/seminar/dissertation/2019/06/19/phd-eduardo-amorim/">Declarative Syntax Definition for Modern Language Workbenches</a> and was awarded the degree of doctor.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | June 19, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>The paper “Scopes and Frames Improve Meta-Interpreter Specialization” by Vlad Vergu, Andrew Tolmach, and Eelco Visser has been accepted at <a href="https://2019.ecoop.org/home">ECOOP 2019</a>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | June 10, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | April 25, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Congratulations to Sebastian Erdweg with his new position as Associate Professor at the <a href="https://www.cs.uni-mainz.de/">Johannes Gutenberg Universität Mainz</a>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | April 24, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>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 <a href="https://2019.ecoop.org/home">ECOOP 2019</a>.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | April 01, 2019 </div> </div> </div> <div class="card border-dark mb-3"> <div class="card-body p-2"> <p>Daco Harkes successfully defended his PhD thesis <a href="/seminar/dissertation/2019/03/26/15-00-phd-daco-harkes/">Declarative Specification of Information System Data Models and Business Logic</a> and was awarded the degree of doctor.</p> <div class="small mt-1 fontweight-light"> <a href="/news/">News</a> | March 27, 2019 </div> </div> </div>  <div class="card border-dark mb-3"> <a href="/seminar/"> <img src="/img/seminar/2019-03-27-sungshik-jongmans/room.jpg" width="100%" /></a> </div> <div class="card border-dark mb-3" > <div class="card-body p-2"> <h5 class="card-title"> <a href="/seminar/2025/02/12/tdjong/"> Domain theoretic denotational semantics in type theory </a> </h5> <h6 class="card-subtitle mb-2 text-muted"> Tom de Jong </h6> <div class="small"> <a href="/seminar/">Seminar</a> | Wed, February 12, 2025 </div> </div> </div>  <div class="card mb-3"> <a href="/readinggroup/"> <img src="/img/vmb6/2019/2019-02-27-4-van-wijngaarden.jpg" width="100%" /> </a> </div> </div> </div> </div> </div> </main> <script src="https://cdn.jsdelivr.net/npm/jquery@3.5.1/dist/jquery.slim.min.js" integrity="sha384-DfXdz2htPH0lsSSs5nCTpuj/zy4C+OGpamoFVy38MVBnE+IbbVYUew+OrCXaRkfj" crossorigin="anonymous"></script> <script src="https://cdn.jsdelivr.net/npm/bootstrap@4.6.1/dist/js/bootstrap.bundle.min.js" integrity="sha384-fQybjgWLrvvRgtW6bFlB7jaZrFsaBXjsOMm/tB9LTS58ONXgqbR9W8oWht/amnpF" crossorigin="anonymous"></script> </body> </html>

CINXE.COM

TU Delft Programming Languages