Eelco Visser

News

  • Janary 1, 2018: Welcome to Casper Bach Poulsen as new assistant professor in the Programming Languages Group.

Archive

Open Positions

I have open positions for

  • a PhD student in language engineering
  • a postdoc in the area of verification of programming language definitions
  • student programmers
    • grammar engineer to develop high quality SDF3 grammars
    • web programmer in the academic workflow engineering team

If you would be interested in working with me, send me an email.

Coordinates

Full contact information

TU Delft Programming Languages Group

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.

Research overview

Projects

Untitled

Project overview

Recommended Publications

p95-visser-crop

Static semantics

Dynamic semantics

Integrated development environments

Build and deployment

Transformation and analysis

Syntax definition and parsing

Language composition

Programming with relations

Abstractions for web programming

More publications | biggest hits

Current Activities

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.

From Concrete syntax for objects