Eelco Visser Commemorative SymposiumEVCS
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
Wed 5 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:15 | Walk inCatering at Foyer 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 15mDay opening | Welcome Eelco Visser Commemorative Symposium |
09:30 - 09:40 | KeynoteEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Ralf Lämmel Universität Koblenz | ||
09:30 10mTalk | Getting Things Done: The Eelco Way (Keynote) Eelco Visser Commemorative Symposium Arie van Deursen Delft University of Technology File Attached |
09:40 - 11:00 | Session 1: Reflections & WorkbenchesEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
09:40 10mTalk | Eelco Visser as a Typographic Designer Eelco Visser Commemorative Symposium Paul Klint Centrum Wiskunde & Informatica | ||
09:50 10mTalk | Reflections on the Birth of Spoofax Eelco Visser Commemorative Symposium Karl Trygve Kalleberg KolibriFX AS | ||
10:00 10mTalk | 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 10mTalk | The Importance of Being Eelco Eelco Visser Commemorative Symposium Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Research & Programming | ||
10:20 10mTalk | Injecting Language Workbench Technology into Mainstream Languages Eelco Visser Commemorative Symposium DOI Pre-print | ||
10:30 10mTalk | Semantics Engineering with Concrete Syntax Eelco Visser Commemorative Symposium Tijs van der Storm CWI & University of Groningen | ||
10:40 10mTalk | Eelco Visser: The Oregon Connection Eelco Visser Commemorative Symposium Andrew Tolmach Portland State University | ||
10:50 10mOther | Session closing Eelco Visser Commemorative Symposium |
11:30 - 13:00 | Session 2: Reflections & Domain-Specific LanguagesEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
11:30 10mTalk | On Solving Solved Problems Eelco Visser Commemorative Symposium Sebastian Erdweg JGU Mainz Link to publication DOI File Attached | ||
11:40 10mTalk | Eelco Visser as a Founding Member of the IFIP WG 2.11 Eelco Visser Commemorative Symposium | ||
11:50 10mTalk | 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 DOI | ||
12:00 10mTalk | 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 DOI | ||
12:10 10mTalk | Eelco Visser – An Exceptional SLE Researcher Eelco Visser Commemorative Symposium Ralf Lämmel Universität Koblenz | ||
12:20 10mTalk | Eelco Visser and IFIP WG 2.16 Eelco Visser Commemorative Symposium Tijs van der Storm CWI & University of Groningen | ||
12:30 10mTalk | 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 Pre-print | ||
12:40 10mTalk | 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 10mOther | Session closing Eelco Visser Commemorative Symposium |
14:00 - 15:30 | Session 3: Parsing & TransformationEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Bernd Fischer Stellenbosch University, South Africa | ||
14:00 10mTalk | 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 10mTalk | 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 10mTalk | 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 10mTalk | On the Origins of Coccinelle Eelco Visser Commemorative Symposium Julia Lawall Inria File Attached | ||
14:40 10mTalk | Typed Multi-Language Strategy Combinators Eelco Visser Commemorative Symposium James Koppel Massachusetts Institute of Technology, USA | ||
14:50 10mTalk | Towards Modular Compilation Using Higher-Order Effects Eelco Visser Commemorative Symposium Jaro Reinders TU Delft | ||
15:00 10mTalk | Visitor Optimization Revisited – Realizing Traversal Graph Pruning by Runtime Bytecode Generation Eelco Visser Commemorative Symposium | ||
15:10 10mTalk | Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings Eelco Visser Commemorative Symposium DOI Pre-print | ||
15:20 10mOther | Session closing Eelco Visser Commemorative Symposium |
16:00 - 17:30 | Session 4: Scopes & TypesEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Yannis Smaragdakis University of Athens | ||
16:00 10mTalk | Scope Graphs: The Story so Far Eelco Visser Commemorative Symposium DOI Pre-print File Attached | ||
16:10 10mTalk | 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 Link to publication DOI | ||
16:20 10mTalk | Stack graphs: Name Resolution at Scale Eelco Visser Commemorative Symposium DOI Pre-print | ||
16:30 10mTalk | Using Spoofax to Support Online Code Navigation Eelco Visser Commemorative Symposium Peter D. Mosses Delft University of Technology DOI File Attached | ||
16:40 10mTalk | Renamingless Capture-Avoiding Substitution for Definitional Interpreters Eelco Visser Commemorative Symposium Casper Bach Poulsen Delft University of Technology DOI Pre-print | ||
16:50 10mTalk | Reasoning About Paths in the Interface Graph Eelco Visser Commemorative Symposium Michael Greenberg Stevens Institute of Technology Link to publication DOI | ||
17:00 10mTalk | 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 Pre-print | ||
17:10 10mTalk | A Simply Numbered Lambda Calculus Eelco Visser Commemorative Symposium Friedrich Steimann Fernuniversität in Hagen Link to publication DOI | ||
17:20 10mOther | 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.