Stratego Community

Delft University of Technology

The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most of the development and maintenance of Stratego/XT. (But people interested in joining the effort are welcome.) Active members of the project are

• Eelco Visser (Stratego language, Stratego compiler, Stratego/XT Packages, XTC)
• Eelco Dolstra (deployment, release management, buildfarm, hacker)
• Lennart Kats

University of Oregon

• Martin Bravenboer (Stratego Shell, Java-front, Dryad, Stratego/XT Packages)

Utrecht University

Master students

• Eric Bouwers -- PHP-front, PHP-sat
• Mart Kolthof -- Loop vectorization for C
• Raymon van Wanrooij -- Software composition
• Sander Mak -- DSL interaction

Former members

Staff

• Merijn de Jonge (GPP, AutoBundle, DailyBuildSystem, Stratego XT Packages) (now at Philips Research)
• Karina Olmos (TigerCompiler, Octave Compiler (now at Philips)
• Rob Vermaas (xDoc, Octave Compiler) (now at ChipSoft)

Students

• Bogdan Dumitriu -- Improving and Customizing Data-flow Transformations for Object-Oriented Programs
• Jory van Zessen -- LVM Optimizer
• Remko van Beusekom (Octave Compiler)
• Arthur van Dam (Dynamic Rules, StrategoMisc)
• Niels Janssen (XTC / XWeb / strategoxt.org)
• Jozef Kruger (AutoBayes Optimizer)
• Alan van Dam (HsOpt)
• Rene de Groot (Java-Swul)
• Jonne van Wijngaarden (application generation)
• Hedzer Westra
• Lennart Swart

University of Bergen

The SAGA Group in Bergen works on domain-specific optimization, in particular of domain-specific for programs written with the Sophus numerical library.

• Magne Haveraaen
• Anya Helene Bagge
• Valentin David (formerly at EPITA)
• Karl Trygve Kalleberg (Spoofax, Stratego/J, jsglr, some Stratego/XT maintenance, AspectStratego, GraphStratego^?, MetaStratego, Stratego/XT documentation)

EPITA Research & Development Laboratory

The Transformers Project at Epita develops a transformation system for C++ using a syntax definition in SDF and disambiguation with a Stratego-based attribute grammar system.

• Akim Demaille
• Benoit Sigoure
• Nicolas Pierron
• Alexandre Borghi
• Clément Vasseur
• Julien Roussel
• Nicolas Despres
• ChoJin^?

Former students

• Robert Anisko ( MetaTiger )
• Valentin David (now in Bergen)

Philips (Research)

Philips has hired some former members of the Utrecht group.

• Merijn de Jonge (GPP, AutoBundle, DailyBuildSystem, Stratego XT Packages)
• Jozef Kruger
• Karina Olmos (TigerCompiler, Octave Compiler)

OGI

The very first version of Stratego was developed at the Oregon Graduate Institute. Dick Kieburtz uses Stratego to implement a theorem prover for correctness proofs of Haskell programs.

• Dick Kieburtz (P Logic Prover)

Lucent

The Proteus system developed at Lucent provides the YATL language for transformtion of C and C++ programs. The language is compiled to Stratego. The parser of Proteus is based on an SDF syntax definition.

• Daniel Waddington (C transformation system)
• Marcio Buss (at Columbia University)
• others

Université René Descartes

• Mikal Ziane
• Salima Chantit (refactoring)
• Jérome Grandguillot (refinement)

Chalmers

Sybille Schupp is interested in domain-specific optimization of library invocations.

Formerly

• Kyle Ross