Eelco Visser
News
February 5, 2018: Paper PIE: A Domain-Specific Language for Interactive Software Development Pipelines with Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg and Eelco Visser accepted for ‹Programming› 2018
February 5, 2018: Paper Towards Zero-Overhead Disambiguation of Deep Priority Conflicts by Luís Eduardo de Souza Amorim, Michael J. Steindorfer and Eelco Visser accepted for ‹Programming› 2018
January 1, 2018: I have been invited to talk at Curry On 2018 in Amsterdam
December 19, 2017: Paper PixieDust: Declarative Incremental User Interface Rendering through Static Dependency Tracking by Nick ten Veen, Daco Harkes and Eelco Visser accepted for WWW 2018 track on Web Programming
September 26, 2017: Paper Intrinsically Typed Definitional Interpreters for Imperative Languages by Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser accepted at POPL 2018 [video] [paper]
Open Positions
I have an opening for a PhD student in software language engineering
Postdoc candidates: contact me if you are interested in submitting a proposal to the LEaDing Fellows program for Marie Curie postdoc positions starting in May 2019; next deadline is October 31, 2018.
I am looking for student programmers
If you would be interested in working with me, send me an email.
Coordinates
- Full Professor
- Antoni van Leeuwenhoek Professor
- Chair of Programming Languages Group
- Department of Software Technology
- Faculty of Electrical Engineering, Mathematics and Computer Science
- Delft University of Technology
- Delft, The Netherlands (CEST/CET)
- Email: e.visser@tudelft.nl, visser@acm.org
- Web: http://eelcovisser.org (this page)
Research
I lead the Software Language Design and Engineering research program. Our mission is to enable software engineers to effectively design, implement, and apply domain-specific languages. We are doing research in three tracks:
Language engineering: investigate the automatic derivation of efficient, scalable, incremental compilers and usable IDEs from high-level, declarative language definitions
Semantics engineering: investigate the automatic verification of the consistency of language definitions in order to check properties such as type soundness and semantics preservation
Language design: investigate the systematic design of domain-specific software languages with an optimal tradeoff between expressivity, completeness, portability, coverage, and maintainability.
Projects
- The Language Designer’s Workbench
- Spoofax: a language workbench
- SDF3: a syntax definition formalism
- NaBL2: a name binding language
- DynSem: a dynamic semantics specification language
- Stratego: a program transformation language
- WebDSL: a web programming language
- researchr: a bibliography management system
- researchr/conf: a domain-specific content management system for conferences
- WebLab: a learning management system
Recommended Publications
Static semantics
- A constraint language for static semantic analysis based on scope graphs (PEPM 2016)
- A theory of name resolution (ESOP 2015)
- Declarative name binding and scope rules (SLE 2012)
Dynamic semantics
- Intrinsically Typed Definitional Interpreters for Imperative Languages (POPL 2018)
- Scopes describe Frames: A uniform model for memory layout in dynamic semantics (ECOOP 2016)
- DynSem: A DSL for Dynamic Semantics Specification (RTA 2015)
Integrated development environments
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines (Programming 2018)
- Bootstrapping domain-specific meta-Languages in language workbenches (GPCE 2016)
- A language designer’s workbench: A one-stop-shop for implementation and verification of language designs (Onward! 2014)
- Software development environments on the Web: A research agenda (Onward! 2012)
- The Spoofax Language Workbench. Rules for declarative specification of languages and IDEs (OOPSLA 2010)
Transformation and analysis
- Integrated language definition testing. Enabling test-driven language development (OOPSLA 2011)
- Decorated attribute grammars. Attribute evaluation meets strategic programming (CC 2009)
Syntax definition and parsing
- Towards Zero-Overhead Disambiguation of Deep Priority Conflicts (Programming 2018)
- Deep priority conflicts in the wild: a pilot study (SLE 2017)
- Principled syntactic code completion using placeholders (SLE 2016)
- Natural and flexible error recovery for generated modular language environments (TOPLAS 2012)
- Pure and declarative syntax definition: Paradise lost and regained (Onward! 2010)
Language composition
- Preventing injection attacks with syntax embeddings (SCP 2010)
- Parse table composition. Separate compilation and binary extensibility of grammars (SLE 2008)
- Mixing source and bytecode. A case for compilation by normalization (OOPSLA 2008)
- Transformations for Abstractions (SCAM 2005)
Programming with relations
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (ECOOP 2017)
- IceDust: Incremental and eventual computation of derived values in persistent object graphs (ECOOP 2016)
- Unifying and generalizing relations in role-based data modeling and navigation (SLE 2014)
Abstractions for web programming
- PixieDust: Declarative Incremental User Interface Rendering through Static Dependency Tracking (WWW 2018)
- Static consistency checking of web applications with WebDSL (JSC 2011)
- Declaratively programming the mobile Web with mobl (OOPSLA 2011)
- Separation of concerns and linguistic integration in WebDSL (IEEE Software 2010)
- Declarative access control for WebDSL (ICWE 2008)
More publications | biggest hits
Current Activities
- Program Chair: OOPSLA 2019
- PC member: SLE 2018
- PC member: OOPSLA 2018
- PC member: ICSE 2018
- PC member: ‹Programming› 2018
- PC member: Web Programming at The Web Conference 2018
Speaker: Curry On 2018
- Speaker: ECOOP 2017 Summer School
Chair: IFIP WG2.16 on Programming Language Design (2011-2018)
All my professional activities | Presentations
Quote
MetaBorg provides generic technology for allowing a host language (collective) to incorporate and assimilate external domains (cultures) in order to strengthen itself. The ease of implementing embeddings makes resistance futile.