Registered user since Wed 19 Mar 2014
Eelco Visser is Antoni van Leeuwenhoek Professor of Computer Science and chair of the Programming Languages Group at Delft University of Technology. His current research is on the foundation and implementation of declarative specification of programming languages. He studied at the University of Amsterdam (master 1993; doctorate 1997), and worked at the Oregon Graduate Institute (postdoc 1997-1998), Utrecht University (assistant professor 1998-2006), and TU Delft (associate professor 2006-2013, full professor since 2013).
His research interests include (domain-specific) programming languages, language engineering, program transformation, and declarative language definition. With his students he has designed and implemented the Spoofax language workbench, as well as several domain-specific languages, including DSLs for syntax definition (SDF3), program transformation (Stratego), static semantics (Statix), software deployment (Nix), and web application development (WebDSL). Applications of WebDSL include the researchr conference hosting site and the WebLab learning management system.
Contributions
2022
SPLASH
- Steering Committee Member in Steering Committee
- Author of Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers within the OOPSLA-track
- Author of Language-parametric static semantic code completion within the OOPSLA-track
- Author of Intrinsically-Typed Definitional Interpreters à la Carte within the OOPSLA-track
2021
SPLASH
SLE
ECOOP
- Session Chair of Modular Programming / Types (time band 3) (part of ECOOP Technical Papers)
- Author of Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers within the ECOOP Technical Papers-track
- Author of Scope States within the ECOOP Artifacts-track
- PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP/ISSTA
2020
BAPL
SPLASH
- Session Chair of W-3 (part of OOPSLA)
- Chair in Steering Committee
- Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track
- Session Chair of R-6 (part of OOPSLA)
- Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track
- Committee Member in Review Committee within the OOPSLA-track
- Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track
miniKanren
‹Programming›
2019
SPLASH
- Speaker of What is PL Research? within the PLMW-track
- Steering Committee Member in Steering Committee
- Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track
- Session Chair of Awards / SIGPLAN Town Hall Meeting (part of OOPSLA)
- Session Chair of Dillig keynote (part of Keynotes)
- Chair in Review Committee within the OOPSLA-track
- OOPSLA Review Committee Chair in Organizing Committee
- Speaker in Speakers & Panelists within the PLMW-track
Incremental Computing
ECOOP
- Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track
- Author of Towards Language-Parametric Semantic Editor Services within the Posters-track
- Committee Member in Academic Panel within the Doctoral Symposium-track
- Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track
2018
SLE
- Author of Migrating Business Logic to an Incremental Computing DSL: A Case Study within the SLE 2018-track
- Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the SLE 2018-track
- Author of Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) within the SLE 2018-track
- Committee Member in Program Committee within the SLE 2018-track
- Session Chair of Parsing / Composition (part of SLE 2018)
SPLASH
- Author of Scopes as Types within the OOPSLA-track
- Author of Migrating Business Logic to an Incremental Computing DSL: A Case Study within the Posters-track
- Committee Member in Review Committee within the OOPSLA-track
- Author of Incremental compilation for Stratego within the Posters-track
- Session Chair of Language Design 1 (part of OOPSLA)
- Committee Member in Steering Committee
- Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the Posters-track
- Author of Scopes as Types within the Artifacts-track
- Author of Scopes as Types within the Posters-track
- Author of Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) within the Posters-track
- Author of Toward a Language-Parametric Code Completion Editor Service within the Posters-track
‹Programming›
- Committee Member in Steering Committee
- Committee Member in Program Committee within the Research Papers-track
- Author of PIE: A Domain-Specific Language for Interactive Software Development Pipelines within the Research Papers-track
- Author of Towards Zero-Overhead Disambiguation of Deep Priority Conflicts within the Research Papers-track
2017
SLE
ECOOP
Incremental Computing
‹Programming›
2016
SPLASH
- General Chair in Organizing Committee
- Committee Member in Sponsorship Committee
- SPLASH 2016 General Chair of Welcome to SPLASH 2016 within the Keynotes and Awards-track
- SPLASH-I Co-Chair in Program Committee within the SPLASH-I-track
- Presenter of OOPSLA 10-year Most Influential Paper Award within the Keynotes and Awards-track
- Session Chair of Keynote Wednesday (part of Keynotes and Awards)
- SPLASH 2016 General Chair in Steering Committee
- Session Chair of Session 15 (Keynote) (part of SPLASH-I)
- SPLASH 2016 General Chair of SPLASH 2016 General Chair's Report within the Keynotes and Awards-track
GPCE
Parsing@SLE
ECOOP
- Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Research Track-track
- Author of IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs within the Research Track-track
- Author of IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs within the Posters-track
- Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Posters-track
- Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Artifacts-track
GRACE
OOPSLA-PC
Modularity
POPL
2015
SPLASH
- Session Chair of 2. Domain Specific Languages (part of OOPSLA)
- Committee Member in Program Committee within the OOPSLA-track
- Author of Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites within the Posters-track
- Web Technology Chair in Organizing Committee
Parsing@SLE
2014
Onward!
2013
SLE
2012
2011
SPLASH
- Author of Declaratively Programming the Mobile Web with Mobl within the OOPSLA-track
- Program Chair in Organization within the Onward! -track
- Presenter of SugarJ: Library-based Language Extensibility within the Posters-track
- Author of Integrated Language Definition Testing: Enabling Test-Driven Language Development within the OOPSLA-track
- Onward! Chair in Organizing Committee
- Committee Member in Program Committee within the OOPSLA-track
Blog Posts
- Possible disruption of train service on Monday Sun 30 Oct 2016
- Winter is coming Fri 28 Oct 2016
- Planning Your Attendance Mon 24 Oct 2016
- A Call to Blog! Mon 4 Jul 2016