5 April 2023, Delft, The Netherlands
Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the software language engineering and programming language design communities. His many scientific contributions about meta-languages and domain-specific languages have been of high importance in both the scientific and industrial communities. He was a founding member of IFIP Working Groups 2.11 (Program Generation) and 2.16 (Programming Language Design).
Eelco Visser’s work on the cutting-edge language workbench Spoofax started with a ground-breaking publication in 2010, for which he received a Most Influential Paper award at OOPSLA 2020. As a strong advocate of tool-supported programming education, he led the development of WebLab, a learning management system that is in use for a range of programming languages and courses at TU Delft. He also led the design, implementation and use of conf.researchr.org, a content management system for scientific events used by hundreds of international events since 2014.
A commemorative symposium for Eelco Visser is to be held on 5 April 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.
Topics of interest include, but are not limited to:
- Language engineering
- Program transformation
- Language workbenches
- Declarative language specification
- Name binding and scope graphs
- Type soundness and intrinsically-typed interpreters
- Language specification testing
- Language implementation generation
- Domain-specific programming languages
- DSLs for software deployment
- DSLs for web application development
- Tool-supported programming education
For all enquiries about the symposium, please use the contact form or email symposium@eelcovisser.org
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone
08:45 - 09:15 | Note: 08:45 is the peak time for many of TU Delft’s 27,000 students to arrive on campus! Please allow for potential delays, and aim to arrive early – refreshments will be available at the venue. The buses and roads are likely to be congested, and parking on campus may already be full. There could even be a tailback on the main bike path from the station… | ||
09:15 - 09:30 | |||
09:15 15m Day opening | Welcome Eelco Visser Commemorative Symposium Peter D. Mosses Delft University of Technology, Friedrich Steimann Fernuniversität in Hagen | ||
09:30 - 09:40 | KeynoteEelco Visser Commemorative Symposium at Theatre Hall | ||
09:30 10m Talk | Getting Things Done: The Eelco Way (Keynote) Eelco Visser Commemorative Symposium Arie van Deursen Delft University of Technology | ||
09:40 - 11:00 | Session 1: Reflections & WorkbenchesEelco Visser Commemorative Symposium at Theatre Hall | ||
09:40 10m Talk | Eelco Visser as a Typographic Designer Eelco Visser Commemorative Symposium Paul Klint Centrum Wiskunde & Informatica | ||
09:50 10m Talk | Reflections on the Birth of Spoofax Eelco Visser Commemorative Symposium Karl Trygve Kalleberg KolibriFX AS | ||
10:00 10m Talk | Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics Eelco Visser Commemorative Symposium Houda Boukham Mohammed V University in Rabat, Ecole Mohammadia d'Ingénieurs, Oracle Labs, Guido Wachsmuth Oracle Labs, Toine Hartman Oracle Labs, Hamza Boucherit Oracle Labs, Oskar van Rest Oracle, Hassan Chafi Oracle Labs, Sungpack Hong Oracle Labs, Martijn Dwars Oracle Labs, Arnaud Delamare Oracle Labs, Dalila Chiadmi Mohammed V University in Rabat, Ecole Mohammadia d'Ingénieurs | ||
10:10 10m Talk | The Importance of Being Eelco Eelco Visser Commemorative Symposium Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Research & Programming | ||
10:20 10m Talk | Injecting Language Workbench Technology into Mainstream Languages Eelco Visser Commemorative Symposium Michael Ballantyne PLT @ Northeastern University, Matthias Felleisen PLT @ Northeastern University | ||
10:30 10m Talk | Semantics Engineering with Concrete Syntax Eelco Visser Commemorative Symposium Tijs van der Storm CWI & University of Groningen | ||
10:40 10m Talk | Eelco Visser: The Oregon Connection Eelco Visser Commemorative Symposium Andrew Tolmach Portland State University | ||
10:50 10m Other | Session closing Eelco Visser Commemorative Symposium | ||
11:30 - 13:00 | Session 2: Reflections & Domain-Specific LanguagesEelco Visser Commemorative Symposium at Theatre Hall | ||
11:30 10m Talk | On Solving Solved Problems Eelco Visser Commemorative Symposium Sebastian Erdweg JGU Mainz | ||
11:40 10m Talk | Eelco Visser as a Founding Member of the IFIP WG 2.11 Eelco Visser Commemorative Symposium Christian Lengauer University of Passau, Jacques Carette McMaster University | ||
11:50 10m Talk | Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows Eelco Visser Commemorative Symposium Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Max de Krieger Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands | ||
12:00 10m Talk | Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites Eelco Visser Commemorative Symposium Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Max de Krieger Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Craig Anslow Victoria University of Wellington | ||
12:10 10m Talk | Eelco Visser – An Exceptional SLE Researcher Eelco Visser Commemorative Symposium Ralf Lämmel Universität Koblenz | ||
12:20 10m Talk | Eelco Visser and IFIP WG 2.16 Eelco Visser Commemorative Symposium Tijs van der Storm CWI & University of Groningen | ||
12:30 10m Talk | Generating Software for Well-Understood Domains Eelco Visser Commemorative Symposium Jacques Carette McMaster University, Spencer Smith McMaster University, Computing and Software Department, Jason Balaci McMaster University | ||
12:40 10m Talk | The Ultimate GUI Framework: Are We There Yet? Eelco Visser Commemorative Symposium Knut Anders Stokke University of Bergen, Norway, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku | ||
12:50 10m Other | Session closing Eelco Visser Commemorative Symposium | ||
14:00 - 15:30 | Session 3: Parsing & TransformationEelco Visser Commemorative Symposium at Theatre Hall | ||
14:00 10m Talk | Context in Parsing: Techniques and Applications Eelco Visser Commemorative Symposium Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA Pre-print | ||
14:10 10m Talk | Comparing Bottom-up with Top-down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint Eelco Visser Commemorative Symposium Jurgen Vinju CWI; Eindhoven University of Technology Pre-print | ||
14:20 10m Talk | Analysing the SML97 Definition: Lexicalisation Eelco Visser Commemorative Symposium Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London | ||
14:30 10m Talk | On the Origins of Coccinelle Eelco Visser Commemorative Symposium Julia Lawall Inria | ||
14:40 10m Talk | Typed Multi-Language Strategy Combinators Eelco Visser Commemorative Symposium James Koppel Massachusetts Institute of Technology, USA | ||
14:50 10m Talk | Towards Modular Compilation Using Higher-Order Effects Eelco Visser Commemorative Symposium Jaro Reinders TU Delft | ||
15:00 10m Talk | Visitor Optimization Revisited – Realizing Traversal Graph Pruning by Runtime Bytecode Generation Eelco Visser Commemorative Symposium Markus Lepper semantics GmbH, Baltasar Trancón y Widemann Nordakademie | ||
15:10 10m Talk | Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings Eelco Visser Commemorative Symposium Simon Thompson IOHK, University of Kent, and ELTE, Dániel Horpácsi Eötvös Loránd University | ||
15:20 10m Other | Session closing Eelco Visser Commemorative Symposium | ||
16:00 - 17:30 | Session 4: Scopes & TypesEelco Visser Commemorative Symposium at Theatre Hall | ||
16:00 10m Talk | Scope Graphs: The Story so Far Eelco Visser Commemorative Symposium Aron Zwaan Delft University of Technology, Hendrik van Antwerpen GitHub | ||
16:10 10m Talk | Dependently Typed Languages in Statix Eelco Visser Commemorative Symposium Jonathan Brouwer TU Delft, Jesper Cockx Delft University of Technology, Aron Zwaan Delft University of Technology | ||
16:20 10m Talk | Stack graphs: Name Resolution at Scale Eelco Visser Commemorative Symposium Douglas A. Creager GitHub, Hendrik van Antwerpen GitHub | ||
16:30 10m Talk | Using Spoofax to Support Online Code Navigation Eelco Visser Commemorative Symposium Peter D. Mosses Delft University of Technology | ||
16:40 10m Talk | Renamingless Capture-Avoiding Substitution for Definitional Interpreters Eelco Visser Commemorative Symposium Casper Bach Delft University of Technology | ||
16:50 10m Talk | Reasoning About Paths in the Interface Graph Eelco Visser Commemorative Symposium Michael Greenberg Stevens Institute of Technology | ||
17:00 10m Talk | Type Theory as a Language Workbench Eelco Visser Commemorative Symposium Jan de Muijnck-Hughes University of Glasgow, Guillaume Allais University of St Andrews, Edwin Brady University of St Andrews, UK | ||
17:10 10m Talk | A Simply Numbered Lambda Calculus Eelco Visser Commemorative Symposium Friedrich Steimann Fernuniversität in Hagen | ||
17:20 10m Other | Session closing Eelco Visser Commemorative Symposium | ||
17:30 - 17:35 | |||
18:30 - 22:30 | Social dinnerCatering at a room at De Brasserij Participation in the social dinner is restricted to those EVCS attendees who included it when registering. | ||
Accepted Papers
Call for Participation
The EVCS Program Committee has accepted 32 papers for the symposium. They have been published online in the Proceedings: Volume 109 in the Dagstuhl OpenAccess Series in Informatics.
The accepted papers include:
- extended abstracts of novel research contributions related to Eelco Visser’s work;
- papers that present some framework or application, and explain its relationship to his work;
- papers that recall and reflect upon personal experiences of his contributions in academia or industry.
The presentations at EVCS should generally be of interest (and accessible) to attendees who wish to participate in this commemorative symposium for Eelco Visser, and who have a Computer Science background.
Programme outline
The full programme is available here.
Wednesday 5th April 2023, in the Theatre Hall, X Building, TU Delft
08:45 Walk in, with coffee and tea – please aim to arrive at 08:45, allowing for peak traffic!
09.15 Welcome to EVCS
09:30 Keynote by Arie van Deursen: Getting Things Done: The Eelco Way
09:40 Session 1: Reflections & Workbenches
11:00 Coffee break
11:30 Session 2: Reflections & Domain-Specific Languages
13:00 Lunch break
14:00 Session 3: Parsing & Transformation
15:30 Coffee break
16:00 Session 4: Scopes and Types
17:30 Symposium closing
18:30 Social Dinner at De Brasserij, Delft (limited availability)
Presentations
All accepted papers are to be presented at the symposium. Presentations are limited to 10 minutes (longer slots are not possible, due to the large number of accepted papers).
In view of the special nature of the symposium, the presentations will not be streamed.
Registration
Registration is obligatory for attending EVCS.
Registration has closed.
Closed: Call for Papers
Submission of papers to EVCS has closed.
Types of Submissions
- Unpublished research: These are extended abstracts of novel research contributions related to Eelco Visser’s work. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by selected members of the relevant research communities. Subsequent submission of full papers including the same results to other venues is encouraged.
- On the relationship between Eelco Visser’s work and other frameworks: These are papers that present some framework and explain its relationship to his work, but without novel research contributions. Papers may range from 4 to 8 pages in length, and may optionally include up to 2 further pages of bibliography. Papers will be reviewed by experts on the relevant topics.
- Personal reflections on Eelco Visser’s activities: These are short papers that recall and reflect upon personal experiences of his contributions in academia or industry. Papers may range from 1 to 4 pages in length, including bibliography. Papers will be lightly reviewed for relevance.
Submissions
The submission website is on EasyChair. Declaration of intent to submit is optional, but helpful for allocation of appropriate reviewers. It is to include a provisional title, the type of submission, and an indication of the topics covered. Submitted papers should be formatted using LaTeX according to the author instructions for the Dagstuhl OpenAccess Series in Informatics (OASIcs), respecting the page limits indicated above.
Publication
All accepted papers will appear in the Proceedings of the EVCS, to be published as a volume in the Dagstuhl OpenAccess Series in Informatics (OASIcs). Authors retain copyright.
Presentations
All accepted papers are to be presented at the symposium. Presenters may choose between 5, 10, and 15-minute slots (including questions) subject to availability. Remote presentations are possible. Presenters may choose between 5- and 10-minute slots (15-minute slots are not possible, due to the large number of accepted papers). Presenters who are unable to attend the symposium in person will be asked to submit video recordings of their talks. Note that, in view of the special nature of EVCS, the presentations will not be streamed.