EVCS
Wed 5 Apr 2023 Delft, Netherlands

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

Wed 5 Apr

Displayed 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
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
Chair(s): Ralf Lämmel Universität Koblenz
09:30
10m
Talk
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
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
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
DOI Pre-print
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:00 - 11:30
Coffee breakCatering at Foyer
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
10m
Talk
On Solving Solved Problems
Eelco Visser Commemorative Symposium
Link to publication DOI File Attached
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
DOI
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
DOI
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
Pre-print
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

13:00 - 14:00
LunchCatering at Foyer
14:00 - 15:30
Session 3: Parsing & TransformationEelco Visser Commemorative Symposium at Theatre Hall
Chair(s): Bernd Fischer Stellenbosch University, South Africa
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
File Attached
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
DOI Pre-print
15:20
10m
Other
Session closing
Eelco Visser Commemorative Symposium

15:30 - 16:00
Coffee breakCatering at Foyer
16:00 - 17:30
Session 4: Scopes & TypesEelco Visser Commemorative Symposium at Theatre Hall
Chair(s): Yannis Smaragdakis University of Athens
16:00
10m
Talk
Scope Graphs: The Story so Far
Eelco Visser Commemorative Symposium
Aron Zwaan Delft University of Technology, Hendrik van Antwerpen GitHub
DOI Pre-print File Attached
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
Link to publication DOI
16:20
10m
Talk
Stack graphs: Name Resolution at Scale
Eelco Visser Commemorative Symposium
DOI Pre-print
16:30
10m
Talk
Using Spoofax to Support Online Code Navigation
Eelco Visser Commemorative Symposium
Peter D. Mosses Delft University of Technology
DOI File Attached
16:40
10m
Talk
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
Eelco Visser Commemorative Symposium
Casper Bach Poulsen Delft University of Technology
DOI Pre-print
16:50
10m
Talk
Reasoning About Paths in the Interface Graph
Eelco Visser Commemorative Symposium
Michael Greenberg Stevens Institute of Technology
Link to publication DOI
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
Pre-print
17:10
10m
Talk
A Simply Numbered Lambda Calculus
Eelco Visser Commemorative Symposium
Friedrich Steimann Fernuniversität in Hagen
Link to publication DOI
17:20
10m
Other
Session closing
Eelco Visser Commemorative Symposium

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

Title
Analysing the SML97 Definition: Lexicalisation
Eelco Visser Commemorative Symposium
A Simply Numbered Lambda Calculus
Eelco Visser Commemorative Symposium
Link to publication DOI
Comparing Bottom-up with Top-down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint
Eelco Visser Commemorative Symposium
Pre-print
Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites
Eelco Visser Commemorative Symposium
DOI
Context in Parsing: Techniques and Applications
Eelco Visser Commemorative Symposium
Pre-print
Dependently Typed Languages in Statix
Eelco Visser Commemorative Symposium
Link to publication DOI
Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows
Eelco Visser Commemorative Symposium
DOI
Eelco Visser and IFIP WG 2.16
Eelco Visser Commemorative Symposium
Eelco Visser – An Exceptional SLE Researcher
Eelco Visser Commemorative Symposium
Eelco Visser as a Founding Member of the IFIP WG 2.11
Eelco Visser Commemorative Symposium
Eelco Visser as a Typographic Designer
Eelco Visser Commemorative Symposium
Eelco Visser: The Oregon Connection
Eelco Visser Commemorative Symposium
Generating Software for Well-Understood Domains
Eelco Visser Commemorative Symposium
Pre-print
Getting Things Done: The Eelco Way (Keynote)
Eelco Visser Commemorative Symposium
File Attached
Injecting Language Workbench Technology into Mainstream Languages
Eelco Visser Commemorative Symposium
DOI Pre-print
On Solving Solved Problems
Eelco Visser Commemorative Symposium
Link to publication DOI File Attached
On the Origins of Coccinelle
Eelco Visser Commemorative Symposium
File Attached
Reasoning About Paths in the Interface Graph
Eelco Visser Commemorative Symposium
Link to publication DOI
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings
Eelco Visser Commemorative Symposium
DOI Pre-print
Reflections on the Birth of Spoofax
Eelco Visser Commemorative Symposium
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
Eelco Visser Commemorative Symposium
DOI Pre-print
Scope Graphs: The Story so Far
Eelco Visser Commemorative Symposium
DOI Pre-print File Attached
Semantics Engineering with Concrete Syntax
Eelco Visser Commemorative Symposium
Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics
Eelco Visser Commemorative Symposium
Stack graphs: Name Resolution at Scale
Eelco Visser Commemorative Symposium
DOI Pre-print
The Importance of Being Eelco
Eelco Visser Commemorative Symposium
The Ultimate GUI Framework: Are We There Yet?
Eelco Visser Commemorative Symposium
Towards Modular Compilation Using Higher-Order Effects
Eelco Visser Commemorative Symposium
Typed Multi-Language Strategy Combinators
Eelco Visser Commemorative Symposium
Type Theory as a Language Workbench
Eelco Visser Commemorative Symposium
Pre-print
Using Spoofax to Support Online Code Navigation
Eelco Visser Commemorative Symposium
DOI File Attached
Visitor Optimization Revisited – Realizing Traversal Graph Pruning by Runtime Bytecode Generation
Eelco Visser Commemorative Symposium

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.