Sixth Stratego User Days

May 2 - 4, 2005
Utrecht University
Utrecht, The Netherlands

Scope

The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include

• The state of the Stratego language and toolset
  • Ongoing developments
  • Plans and requirements for the future
• Development tools and implementation techniques for transformation systems
  • Compilers, interpreters, documentation generation
  • Transformation components and their composition
  • Deployment issues
  • Benchmarking transformations and transformed programs
  • Extensibility of transformation systems
• Strategies for ...
  • Data-flow optimizations
  • Partial evaluation
  • Typechecking
  • Compilation
  • etc.
• Language-specific transformation systems
  • C, C++, Java, XML, Haskell, Koala, ...
• Methods for design and development of transformation systems
  • Tutorials
  • Experience reports

Format

The meeting has a workshop format with talks, but also plenty of time will be reserved for discussions, code inspections, demonstrations, and time to meet individually. A walk through the woods around the campus is usually part of the deal as well.

Based on experiences from previous years, there are two types of attendees; new Stratego programmers interested in a basic tutorial, and advanced Stratego programmers and researchers interested in the cutting edge. To accomodate both types, the 2006 meeting will consist of a tutorial day and a technical program.

Tutorial

The tutorial day (on Monday) will consist of a basic introduction into Stratego and XT in the morning, and a series of tutorial talks about recent developments in the afternoon. Potential topics include

• Stratego language
  • Rules and strategies
  • Redesigned dynamic rules (including dependent dynamic rules)
• Architecture of transformation systems
  • Language-specific libraries
  • Transformation tool composition

It would be good to know well in advance who will attend the tutorial so that we can adjust the material to the audience.

Technical Program

The other (one or) two days are intended for a technical program consisting of 30 or 45 min talks about topics from the list above or other topics of interest to the Stratego/XT community. These talks will be accompanied by short papers (4 pages), which will be published in a Utrecht University technical report.

Call for Contributions and Participation

We invite everyone interested in program transformation and Stratego/XT to attend the meeting and possibly to make a contribution to the meeting in the form of a talk or demonstration.

Contributions

If you would like to give a talk or demonstration please send a short paper (at most 4 pages) to visser+sud05@cs.uu.nl before March 15 2004, but preferably earlier. If you are in doubt whether a certain topic would be of interest to the meeting, don't hesitate to get in touch via the same email address.

Participation

From Monday, May 2 to Wednesday, May 4, 2005 we meet at Utrecht University so that everyone interested in Stratego/XT can get up to date with current developments, and get an overview of ongoing activities. This is a good opportunity for Master's students to see what is going on in the program transformation project.

A fee to cover the expenses of coffee and lunch may be necessary. Usually we go out for dinner at night, which is at your own expense. Please register as soon as possible, but before April 1, 2005, so that we can make reservations for room, lunch and dinner by sending an email to visser+sud05@cs.uu.nl. If you are coming from outside and need accomodation, you can consult the list of recommended hotels of the department.

Organization

Important Dates

• Proposals for contributions: March 15, 2005
• Registration for attendance: April 1, 2005
• Meeting: May 2 - 4, 2005

Venue

The meeting will be held at the Uithof campus of Utrecht University in room BBL 416

• Directions to campus
• Campus map

• Some hotels in Utrecht

Dinner Monday 18:30

Casa di David
Oudegracht 88 a/d werf
3511 AV Utrecht
030 2368436
utrecht@casadidavid.com
http://www.casadidavid.com/

Dinner Tuesday

Restaurant SOMS
BILTSTRAAT 47 in Utrecht.
Bus (lijn 4) stopt vlak voor de deur.
030 234 07 69
0655 102 765
info@restaurantsoms.nl
http://www.restaurantsoms.nl/

Program

Monday	Tutorial		Slides
9:00	Eelco Visser	Introduction
9:10	Martin Bravenboer	Infrastructure for Program Transformation Systems	pdf
10:00	Eelco Visser	Stratego Bottomup: Combinators for Program Transformation Strategies	pdf(1) pdf(2)
12:00	lunch + walk
14:00	Martin Bravenboer	Programming with Concrete Object Syntax	pdf
15:00	Eelco Visser	Context-sensitive Transformations with Dynamic Rewrite Rules
Tuesday	Technical Program
9:00	Stratego/XT Developments
	Eelco Visser, Martin Bravenboer	The State of Stratego/XT	pdf
9:45	Eelco Visser	Dynamic Rules Refactored
11:00	break
11:15	Karl Trygve Kalleberg	AspectStratego	pdf
12:00	lunch + walk
14:00	Tools from Epita
	Alexandre Borghi, Valentin David, Akim Demaille, Olivier Gournet (Epita)	Implementing Attributes in SDF
	Akim Demaille, Thomas Largillier, Nicolas Pouillard (Epita)	ESDF: A Proposal for a More Flexible SDF Handling
	Valentin David, Akim Demaille, Renaud Durlin, Olivier Gournet (Epita)	C/C++ Disambiguation Using Attribute Grammars	pdf
15:30	break
16:00	Java Transformation
	Martin Bravenboer	Java-front and Dryad for transforming Java programs	pdf
Wednesday	Technical Program
9:00	Java Transformation
	Rene de Groot (UU)	JavaBorg applications	pdf
	Mikal Ziane (), Valentin David ()	Refactoring to object-oriented design patterns using program transformations
	Valentin David (), Mikal Ziane ()	Refactoring to object-oriented design patterns using program transformations - Implementation	pdf
	Karl Trygve Kalleberg (UIB, UU) et al.	Clone, Adapt and Improve!	pdf
10:30	break
11:30	Mart Kolthof (UU)	Using CIL as intermediate language for transforming C programs	pdf
12:00	lunch
14:00	Optimization
	Karina Olmos (UU)	Alias Analysis	pdf
	Rob Vermaas (UU)	The Stratego Octave Compiler	pdf
15:30	break
16:00	Karl Trygve Kalleberg	Spoofax: A Stratego Editor	pdf

Registered Participants

Monday - Wednesday

1. Alexandre Borghi (Epita)
2. Martin Bravenboer (UU)
3. Valentin David (LIP6, Epita)
4. Akim Demaille (Epita)
5. Renaud Durlin (Epita)
6. Rene de Groot (UU)
7. Mart Kolthof (UU)
8. Thomas Largillier (Epita)
9. Yaroslav Usenko (TUE)
10. Rob Vermaas (UU)
11. Eelco Visser (UU)
12. Mikal Ziane (LIP6, Université Paris 5)

Tuesday - Wednesday

1. Anya Helene Bagge (UIB,UU)
2. Olivier Gournet (Epita; only Tue and Wed)
3. Karl Trygve Kalleberg (UIB,UU)
4. Magne Haveraaen (UIB; dinner Mon)
5. Karina Olmos (UU)
6. Nicolas Pouillard (Epita; only Tue and Wed)
7. Huanwen Qu (UU)