Eelco Visser

News

Looking postdocs and PhD students

• Transformations for Abstractions (NWO Open Competition 2005)
• Model-Driven Software Evolution (Jacquard 2006)

I am moving to Delft University of Technology to become associate professor.

I will be on leave/sabatical from July to mid-October 2006.

Coordinates

• Assistant professor
• Center for Software Technology
• Department of Information and Computing Sciences
• Faculty of Science
• Universiteit Utrecht
• Utrecht, The Netherlands (CEST/CET)

• Student advisor for the Master Program Software Technology

• Email: visser@acm.org or visser@cs.uu.nl
• http://www.cs.uu.nl/~visser
• Address (Card)
• Blog

Recent Papers

• Declarative, Formal, and Extensible Syntax Definition for AspectJ (OOPSLA'06)
• Stratego/XT 0.16. Components for Transformation Systems (PEPM'06)
• Stratego/XT Manual (documentation)
• Transformations for Abstractions (Keynote SCAM'05)
• Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (GPCE'05)
• MetaBorg in Action (GTTSE'05)
• Service Configuration Management (SCM-12)
• The Stratego/XT BibTeX Tools (documentation)
• Adaptive Code Reuse by Aspects, Cloning and Renaming (techrep)
• Combining Aspect-Oriented and Strategic Programming (RULE'05)
• Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (CC'05)
• Program Transformation with Scoped Dynamic Rewrite Rules (FI)
• Nix a safe and policy-free system for software deployment (LISA'04)
• A survey of strategies in rule based program transformation systems (JSC)
• Concrete syntax for objects (OOPSLA'04)
• Imposing a memory management discipline on software deployment (ICSE'04)
• Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT 0.9 (DSPG)
• Older recent papers and full publication list

Recent Software

• Stratego/XT 0.16: program transformation language and toolset
  • Stratego/XT unstable: the latest and the greatest
• Extensions and utilities
  • Stratego Shell: an interactive interpreter
  • Stratego/XT Utilities 0.14: utilities for developers
  • xdoc: documentation generation for Stratego
  • Aspect Stratego: an experimental extension with aspects
• Transformation tools for Java
  • JavaFront: front-end for the Java language
  • Dryad: static analysis and bytecode
  • JavaBorg: domain-specific language embeddings
  • JavaSwul: user-interface language embedding
• Other transformation applications
  • Octave Compiler: a compiler for the Matlab clone
  • bibtex-tools: bibliography processing
  • Tiger in Stratego: demonstration compiler
  • prolog-tools: language front-end and DSL embedding
  • xweb: website generation
• Nix 0.9.2: software deployment system
  • recent releases
• Other software

Ongoing Activities

• program-transformation.org
• Rewriting Techniques and Applications (RTA'06)
• Higher-Order Rewriting (HOR'06) (invited talk)
• Source Code Analysis and Manipulation (SCAM'06)
• PROgramación y LEnguajes (PROLE'06) (invited talk)
• Generative Programming and Component Engineering (GPCE'06)
• Software Transformation Systems (STS'06)
• Domain-Specific Aspect Languages (DSAL'06)
• Models for Enterprise Computing (IWMEC'06) at EDOC 2006
• Partial Evaluation and Program Manipulation (PEPM '07)
• Other activities