EVCS
Wed 5 Apr 2023
Delft, Netherlands
Toggle navigation
Attending
Venue: X Building, TU Delft
Restaurant: De Brasserij
Registration
Hotels
Travel
Program
Complete Program
Your Program
Wed 5 Apr
Track/Call
Organization
EVCS Committees
Track Committees
Program and Organizing Committee
Local Organisation Committee
Contributors
People Index
Search
Series
Sign in
Sign up
EVCS (
series
) /
X Building, TU Delft
/
Room information: Theatre Hall
Venue
X Building, TU Delft
Room name
Theatre Hall
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
09:15 - 09:30
Opening
Eelco Visser Commemorative Symposium
at
Theatre Hall
09:15
15m
Day opening
Welcome
Eelco Visser Commemorative Symposium
09:30 - 09:40
Keynote
Eelco 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
File Attached
09:40 - 11:00
Session 1: Reflections & Workbenches
Eelco 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
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
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:30 - 13:00
Session 2: Reflections & Domain-Specific Languages
Eelco 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
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
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
14:00 - 15:30
Session 3: Parsing & Transformation
Eelco 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
Julia Lawall
Inria
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
16:00 - 17:30
Session 4: Scopes & Types
Eelco 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
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
Douglas A. Creager
GitHub
,
Hendrik van Antwerpen
GitHub
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
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
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
17:20
10m
Other
Session closing
Eelco Visser Commemorative Symposium
17:30 - 17:35
Closing
Eelco Visser Commemorative Symposium
at
Theatre Hall
Wed 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Theatre Hall
Eelco Visser Commemorative Symposium
Opening
Eelco Visser Commemorative Symposium
Keynote
Eelco Visser Commemorative Symposium
Session 1: Reflections & Workbenches
Eelco Visser Commemorative Symposium
Session 2: Reflections & Domain-Specific Languages
Eelco Visser Commemorative Symposium
Session 3: Parsing & Transformation
Eelco Visser Commemorative Symposium
Session 4: Scopes & Types
Eelco Visser Commemorative Symposium
Closing
Wed 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Theatre Hall
EVCS Eelco Visser Commemorative Symposium
Welcome
09:15 - 09:30
EVCS Eelco Visser Commemorative Symposium
Getting Things Done: The Eelco Way (Keynote)
09:30 - 09:40
EVCS Eelco Visser Commemorative Symposium
Eelco Visser as a Typographic Designer
09:40 - 09:50
EVCS Eelco Visser Commemorative Symposium
Reflections on the Birth of Spoofax
09:50 - 10:00
EVCS Eelco Visser Commemorative Symposium
Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale ...
10:00 - 10:10
EVCS Eelco Visser Commemorative Symposium
The Importance of Being Eelco
10:10 - 10:20
EVCS Eelco Visser Commemorative Symposium
Injecting Language Workbench Technology into Mainstream Languages
10:20 - 10:30
EVCS Eelco Visser Commemorative Symposium
Semantics Engineering with Concrete Syntax
10:30 - 10:40
EVCS Eelco Visser Commemorative Symposium
Eelco Visser: The Oregon Connection
10:40 - 10:50
EVCS Eelco Visser Commemorative Symposium
Session closing
10:50 - 11:00
EVCS Eelco Visser Commemorative Symposium
On Solving Solved Problems
11:30 - 11:40
EVCS Eelco Visser Commemorative Symposium
Eelco Visser as a Founding Member of the IFIP WG 2.11
11:40 - 11:50
EVCS Eelco Visser Commemorative Symposium
Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows
11:50 - 12:00
EVCS Eelco Visser Commemorative Symposium
Conf Researchr: A Domain-Specific Content Management System for Managin ...
12:00 - 12:10
EVCS Eelco Visser Commemorative Symposium
Eelco Visser – An Exceptional SLE Researcher
12:10 - 12:20
EVCS Eelco Visser Commemorative Symposium
Eelco Visser and IFIP WG 2.16
12:20 - 12:30
EVCS Eelco Visser Commemorative Symposium
Generating Software for Well-Understood Domains
12:30 - 12:40
EVCS Eelco Visser Commemorative Symposium
The Ultimate GUI Framework: Are We There Yet?
12:40 - 12:50
EVCS Eelco Visser Commemorative Symposium
Session closing
12:50 - 13:00
EVCS Eelco Visser Commemorative Symposium
Context in Parsing: Techniques and Applications
14:00 - 14:10
EVCS Eelco Visser Commemorative Symposium
Comparing Bottom-up with Top-down Parsing Architectures for the Syntax ...
14:10 - 14:20
EVCS Eelco Visser Commemorative Symposium
Analysing the SML97 Definition: Lexicalisation
14:20 - 14:30
EVCS Eelco Visser Commemorative Symposium
On the Origins of Coccinelle
14:30 - 14:40
EVCS Eelco Visser Commemorative Symposium
Typed Multi-Language Strategy Combinators
14:40 - 14:50
EVCS Eelco Visser Commemorative Symposium
Towards Modular Compilation Using Higher-Order Effects
14:50 - 15:00
EVCS Eelco Visser Commemorative Symposium
Visitor Optimization Revisited – Realizing Traversal Graph Pruning by R ...
15:00 - 15:10
EVCS Eelco Visser Commemorative Symposium
Refactoring = Substitution + Rewriting: Towards Generic, Language-Indep ...
15:10 - 15:20
EVCS Eelco Visser Commemorative Symposium
Session closing
15:20 - 15:30
EVCS Eelco Visser Commemorative Symposium
Scope Graphs: The Story so Far
16:00 - 16:10
EVCS Eelco Visser Commemorative Symposium
Dependently Typed Languages in Statix
16:10 - 16:20
EVCS Eelco Visser Commemorative Symposium
Stack graphs: Name Resolution at Scale
16:20 - 16:30
EVCS Eelco Visser Commemorative Symposium
Using Spoofax to Support Online Code Navigation
16:30 - 16:40
EVCS Eelco Visser Commemorative Symposium
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
16:40 - 16:50
EVCS Eelco Visser Commemorative Symposium
Reasoning About Paths in the Interface Graph
16:50 - 17:00
EVCS Eelco Visser Commemorative Symposium
Type Theory as a Language Workbench
17:00 - 17:10
EVCS Eelco Visser Commemorative Symposium
A Simply Numbered Lambda Calculus
17:10 - 17:20
EVCS Eelco Visser Commemorative Symposium
Session closing
17:20 - 17:30
x
Thu 23 Mar 18:16