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 (Aster, The Dryad Compiler, sdf2imp)

University of Massachusetts Amherst

• 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)

Lockheed Martin, Advanced Technology Laboratories (ATL)

Stratego is being used on a number of research programs under the Lockheed Martin Software Technology Initiative (STI). The aim of the STI is to help bring state-of-the-art software development and maintenance technologies to Lockheed Martin development groups, and develop software research programs to sustain future innovation.

The Chimera project is using C/C++ source code transformation to automate the migration of legacy code to heterogeneous processor environments (e.g., Cell, GPU, FPGA). We are using a modified version of the Transformers SDF grammar to parse C++ code without using filters to disambiguate. Chimera couples a Stratego-based transformation engine with the GrammarTech CodeSurfer program analysis engine (written in Scheme) to perform complex dismantling and assembling of source code. The project started in 2008 and is expected to run for more than three years.

The Chimera project involves collaboration with Drexel University (Prof. Spiros Mancoridis) and CMU (Prof. Bill Scherlis).

• Daniel Waddington (Principal Researcher - daniel.waddington@lmco.com)
• Scott Kagan (Researcher)
• Shahrukh Tarapore (Researcher)
• Matt Burkholder (Researcher)
• Gary Katz (Researcher)
• Ken Owens (Researcher)
• Robert Lange (Drexel PhD Student)
• Kevin Lynch (Drexel MSc Student)

A previous project, Thimble, used Stratego to reverse engineer C# code into Bogor (from Kansas State University) model-checkable models. Thimble used the ANT compiler to generate C# ATerms, which were fed into and analyzed in Stratego.

Bell Labs, Lucent Technologies

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 (Researcher - since left)
• Bin Yao (Researcher - since left)
• Marcio Buss (Sutdent, Columbia University - graduated)
• Steve Kennedy

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