Eelco Visser
News
August 24, 2018: three papers accepted at SLE 2018:
- Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages by Eduardo Amorim, Michael Steindorfer, Sebastian Erdweg, and Eelco Visser
- Migrating custom DSL implementations to a language workbench: An industrial tool demonstration by Jasper Denkers, Louis van Gool, and Eelco Visser
- Migrating business logic to an incremental computing DSL: A case study by Daco Harkes, Elmer van Chastelet, and Eelco Visser
August 16, 2018: Paper Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser accepted for OOPSLA 2018. The artifact accompanying the paper has also been accepted as Functional and Reusable
July 23, 2018: The video of my talk at Curry On 2018 in Amsterdam is now online
July 18, 2018: Congratulations to Robbert Krebbers for his NWO Veni grant for Verified programming language interaction
July 6, 2018: Paper “Specializing a Meta-Interpreter” by Vlad Vergu and Eelco Visser accepted for ManLang 2018
July 5, 2018: Paper Scopes as Types by Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser conditionally accepted for OOPSLA 2018
July 3, 2018: Paper “Scalable Incremental Building with Dynamic Task Dependencies” by Gabriël Konat, Sebastian Erdweg, and Eelco Visser accepted for ASE 2018
February 5, 2018: Paper PIE: A Domain-Specific Language for Interactive Software Development Pipelines by 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
- Scopes as types (OOPSLA 2018)
- 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)
- Specializing a meta-interpreter (ManLang 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
- 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)
Build and deployment
- Scalable incremental building with dynamic task dependencies (ASE 2018)
- PIE: A domain-specific language for interactive software development pipelines (Programming 2018)
- Bootstrapping domain-specific meta-Languages in language workbenches (GPCE 2016)
- Nix: A safe and policy-free system for software deployment (LISA 2004)
- Imposing a memory management discipline on software deployment (ICSE 2004)
Transformation and analysis
- FlowSpec: declarative dataflow analysis specification (SLE 2017)
- Integrated language definition testing. Enabling test-driven language development (OOPSLA 2011)
- Decorated attribute grammars. Attribute evaluation meets strategic programming (CC 2009)
- Stratego/XT 0.17. A language and toolset for program transformation (SCP 2008)
- Program transformation with scoped dynamic rewrite rules (FI 2006)
- A survey of strategies in rule-based program transformation systems (JSC 2005)
- Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules (CC 2005)
- Building program optimizers with rewriting strategies (ICFP 1998)
Syntax definition and parsing
- Declarative specification of indentation rules (SLE 2018)
- 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)
- Generalized type-based disambiguation of meta programs with concrete object syntax (GPCE 2005)
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (OOPSLA 2004)
- Meta-programming with concrete object syntax (GPCE 2002)
Programming with relations
- Migrating business logic to an incremental computing DSL: A case study (SLE 2018)
- 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
- Review Committee Chair: OOPSLA 2019
- Associate Editor: PACMPL
- PC member: CC 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.