Paper: Gradually Typing Strategies by Jeff Smits and Eelco Visser accepted at SLE 2020
Keynote: Multi-Purpose Syntax Definition with SDF3 at Software Engineering and Formal Methods 2020 (SEFM20) at CWI in Amsterdam [PDF,Slides].
Talk: A Declarative Syntax Definition for OCaml at OCaml'20
Keynote: Executing Declarative Language Definitions at miniKanren 2020 (co-located with ICFP 2020)
Talk: Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering at 9th International Workshop on Confluence (IWC'20)
Tutorial: Slides and recordings of my tutorial on the Spoofax Language workbench at PLDI'20
Demonstration: Statix at Strumenta Community Meetup
Demonstration: SDF3 at Strumenta Community Meetup
Paper: FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis by Jeff Smits, Guido Wachsmuth, and Eelco Visser published in Journal of Computer Languages.
Talk: Type Checkers from Declarative Specifications in Statix at INRIA in Paris.
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).
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 2020 (Conference postponed to 2021).
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.
Workshop: Build Automation and Programming Languages (BAPL'20) at PLDI 2020 (canceled)
Tutorial: Declarative Language Definition with Spoofax at PLDI 2020 in London (online tutorial)
Welcome to Jesper Cockx as new assistant professor in the Programming Languages Group.
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]
Lecture: at PLISS 2020 Summer School in Bertinoro, Italy. (PLISS has been canceled due to Corona Virus)
Proud to present Proceedings of the ACM on Programming Languages. Volume 3 Issue OOPSLA, October 2019. All 73 articles are open access. The editorial message explains the reviewing process.
Invited talk: KNAW symposium on safety-critical software (in dutch) about language-based software safety. Attendance on October 31 is free (register at the website).
Blog post: Fast and Safe Linguistic Abstraction for the Masses (my contribution to the 2018 workshop A Research Agenda for Formal Methods in the Netherlands)
Award: Jasper Denkers wins best paper and best presentation award at ESEC/FSE 2019 Doctoral Symposium for his paper on 'A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry' based on work with/at Océ.
Eduardo Amorim successfully defended his PhD thesis Declarative Syntax Definition for Modern Language Workbenches and was awarded the degree of doctor.
Paper: Scopes and Frames Improve Meta-Interpreter Specialization by Vlad Vergu, Andrew Tolmach, and Eelco Visser has been accepted at ECOOP 2019.
Grant: Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
Paper: Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications ('brave new idea') by Daniël Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser has been accepted at ECOOP 2019.
Defense: Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
Hiring: The PL group has an opening for an assistant or associate professor in programming languages
Talk: A Direct Semantics for Declarative Disambiguation Rules
The PL group has a website, including a page with upcoming seminar talks
Dissertation Daco Harkes printed
Slides: Declarative type system specification with Statix
Welcome to Casper Bach Poulsen as new assistant professor in the Programming Languages Group.
Paper: Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages by Eduardo Amorim, Michael Steindorfer, Sebastian Erdweg, and Eelco Visser accepted at SLE 2018
Paper: Migrating business logic to an incremental computing DSL: A case study by Daco Harkes, Elmer van Chastelet, and Eelco Visser accepted at SLE 2018
Paper: Migrating custom DSL implementations to a language workbench: An industrial tool demonstration by Jasper Denkers, Louis van Gool, and Eelco Visser accepted at SLE 2018
Paper: Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser accepted for OOPSLA 2018. The artifact accompanying the paper has also been accepted as Functional and Reusable
The video of my talk at Curry On 2018 in Amsterdam is now online
Grant: Congratulations to Robbert Krebbers for his NWO Veni grant for Verified programming language interaction
Paper “Software that meets its Intent” to appear at ISoLA 2016
Paper: 'Specializing a Meta-Interpreter' by Vlad Vergu and Eelco Visser accepted for ManLang 2018
Paper: Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser conditionally accepted for OOPSLA 2018
Paper 'Scalable Incremental Building with Dynamic Task Dependencies' by Gabriël Konat, Sebastian Erdweg, and Eelco Visser accepted for ASE 2018
Paper Towards Zero-Overhead Disambiguation of Deep Priority Conflicts by Luís Eduardo de Souza Amorim, Michael J. Steindorfer and Eelco Visser accepted for ‹Programming› 2018
Paper: PIE: A Domain-Specific Language for Interactive Software Development Pipelines by Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg and Eelco Visser accepted for ‹Programming› 2018
Invited talk: Spoofax: Live Programming Language Design at Curry On 2018 in Amsterdam
Paper PixieDust: Declarative Incremental User Interface Rendering through Static Dependency Tracking by Nick ten Veen, Daco Harkes and Eelco Visser accepted for WWW 2018 track on Web Programming
Paper Intrinsically Typed Definitional Interpreters for Imperative Languages by Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser accepted at POPL 2018 [video] [paper]
Paper “The Semantics of Name Resolution in Grace” by Vlad Vergu and Eelco Visser accepted at DLS 2017
Paper: 'FlowSpec: Declarative Dataflow Analysis Specification' by Jeff Smits and Eelco Visser accepted at SLE 2017
Paper: 'Deep Priority Conflicts in the Wild — A Pilot Study' by Eduardo Amorim, Michael Steindorfer, and Eelco Visser accepted at SLE 2017
I will serve on the OOPSLA 2018 program committee; submission deadline is April 16, 2017; submit interesting papers!
I will give a talk about scope graphs at Curry On 2017 in Barcelona (video)
Paper IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition with Daco Harkes accepted at ECOOP 2017
I will be on the Program Committee of ‹Programming› 2018; submit interesting papers!
I will be lecturing on Declarative Language Definition at the ECOOP 2017 Summer School
I’m in the PC of ProWeb 2017; submit interesting papers!
Proceedings of SPLASH 2016 available from ACM DL.
Paper: Teaching Concepts of Programming Languages with Definitional Interpreters in Scala and the WebLab Learning Management System. An Experience Report to appear at Scala 2016
Paper: Bootstrapping domain-specific meta-Languages in language workbenches to appear at GPCE 2016
Paper Principled syntactic code completion using placeholders to appear at SLE 2016
I have been invited to the program committee of ICSE 2018; submit interesting papers, please!
Presentation Grace in Spoofax: Readable Specification and Implementation in One by Michiel Haise at Grace 2016 workshop in Rome
Robbert Krebbers will join the Programming Languages group as assistant professor in September 2016.
Paper Towards Live Language Development at LIVE 2016 in Rome
Guido Wachsmuth has started in a new position at Oracle Labs Zürich where he has started working on integrating Spoofax and Truffle
Paper IceDust: Incremental and eventual computation of derived values in persistent object graphs accepted at ECOOP 2016
Paper Scopes describe frames: A uniform model for memory layout in dynamic semantics (ECOOP16) accepted at ECOOP 2016
Sebastian Erdweg will join the PL group as assistant professor per April 1, 2016
TU Delft now has an official Programming Languages Group
We are hiring an assistant professor in programming languages
Accepted for PEPM 2016: A constraint language for static semantic analysis based on scope graphs
Tutorial: Declare Your Language (And Run it Too) with the Spoofax Language Workbench at POPL 2016
Technical report: A constraint language for static semantic analysis based on scope graphs
Community survey paper Evaluating and comparing language workbenches. Existing results and benchmarks for the future published in Computer Languages, Systems & Structures journal.
Blog: Test your programming skills in WebLab programming competitions
SPLASH 2015 poster: Towards a domain-specific content management system for managing large conference websites about conf.researchr.org
Domain-specific language engineering paper on Hacker News
Technical report on language-independent type-dependent name resolution extending our work on scope graphs.
Declare Your Language a book (in progress) on language definition with the Spoofax Language Workbench.
I will give a hands-on tutorial on language definition with Spoofax at the Summer School on DSL Design and Implementation at EPFL in Lausanne on July 13.
EAPLS Award 2015 (aka ETAPS 2015 Best Paper Award) for A Theory of Name Resolution
Paper DynSem: A DSL for Dynamic Semantics Specification accepted at RTA 2015
I have been invited to give the keynote talk at the Dynamic Languages Symposium at SPLASH 2015
Paper “A Theory of Name Resolution” accepted at ESOP 2015 (Pre-print)
We have a position for a PhD student in automatic assessment and feeback for online assignments
I will serve as General Chair of SPLASH 2016
Paper on A language designer’s workbench. A one-stop-shop for implementation and verification of language designs accepted at Onward! 2014
Paper on Unifying and generalizing relations in role-based data modeling and navigation with Daco Harkes accepted at SLE 2014
I am serving as Program Chair for the Modularity Visions track of the Modularity 2015 conference.
We are organizing a small Symposium on Language Engineering on the occasion of Markus Völter’s PhD thesis defines on June 18, 2014. Download the flyer.
Markus Völter will defend his PhD thesis on “Generic Tools, Specific Languages” at TU Delft on June 18, 2014
I will give a keynote talk on Separation of Concerns in Language Definition at Modularity 2014 in Lugano
Three Spoofax-related presentations at the upcoming Code Generation 2014 conference: Spoofax in industry, a hands-on tutorial, and our submission to the Language Workbench Challenge workshop.
Recordings of talks of symposium on Future of Programming and Inaugural address online
Paper: Understanding Software through Linguistic Abstraction for special issue of Science of Computer Programming on Software Understanding, on the occasion of Paul Klint’s retirement
I have been invited to give a keynote talk at the software engineering track of ICT.OPEN 2013
I have been invited to give a talk at the Workshop on Secure Cloud and Reactive Internet Programming Technology (SCRIPT 2013) on Foundations for tier-less web programming in WebDSL
I will hold my inaugural speech as full professor on January 17, 2014
Paper: The state of the art in language workbenches. Conclusions from the language workbench challenge at SLE'13
Paper: A language independent task engine for incremental name and type analysis at SLE'13
Appointed as Antoni van Leeuwenhoek Professor
We will give a tech talk at SPLASH 2013 on interactive language design with the Spoofax language workbench
Open postdoc position in semantics engineering (applications due August 15, 2013)
Open PhD position in programming language verification (applications due June 15, 2013)
Spoofax 1.1 released
Paper on Robust Real-Time Synchronization between Textual and Graphical Editors accepted at ICMT 2013
Integration of Data Validation and User Interface Concerns in a DSL for Web Applications published in SoSyM
We will present a tutorial on Declarative Name Binding and Scope Rules at Code Generation 2013
Miljoenenpremies naar 32 toponderzoekers; Toekenningen Vici 2012; VICI voor Eelco Visser
Looking for language engineering researchers
My NWO VICI proposal The Language Designer’s Workbench has been awarded; 1,500,000 Euro for language engineering research! [twitter]