Eelco Visser
News
- April 30, 2013: Open PhD position in programming language verification (applications due June 15, 2013)
- January 31, 2013: My NWO VICI proposal The Language Designer's Workbench has been awarded; 1,500,000 Euro for language engineering research!
Coordinates
I am Associate Professor of Computer Science at Delft University of Technology in the Software Engineering Research Group.
My coordinates
- Software Engineering Research Group
- Department of Software and Computer Technology
- Electrical Engineering, Mathematics and Computer Science (EWI)
- 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 Lab. 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
- Spoofax: a language workbench
- SDF: a syntax definition formalism
- Stratego: a DSL for program transformation
- WebDSL: a web programming language
- Mobl: a mobile web programming language
- Nix: a software deployment system
- researchr: a bibliography management system
Recommended Publications
Syntax definition and parsing
- Natural and flexible error recovery for generated modular language environments (TOPLAS 2013)
- 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)
Transformation and analysis
- Declarative name binding and scope rules (SLE 2012)
- Code generation by model transformation (SoSyM 2010)
- PIL: A platform independent language for retargetable DSLs (SLE 2009)
- Decorated attribute grammars. Attribute evaluation meets strategic programming (CC 2009)
Integrated development environments
Abstractions for web programming
- 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)
Upcoming Activities
- Tutorial: Declarative Name Binding and Scope Rules at Code Generation 2013
- PC: Generative Programming: Concepts & Experiences (GPCE 2013)
- PC: Systems, Programming, Languages and Applications: Software for Humanity (SPLASH/OOPSLA 2013)
- PC: Model Transformation (ICMT 2013)
- PC: Fundamental Approaches to Software Engineering (FASE 2014)
All my professional activities
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.