---

Call for Participation

Fifth Stratego User Days (SUD'04)

with a special session on CodeBoost

March 1 - 3, 2004
Utrecht University
Utrecht, The Netherlands

Scope

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

• Ongoing developments and plans and requirements for the future
• Development tools
  • Compilers, interpreters, documentation generation
  • Transformation components and their composition
  • Deployment issues
  • Benchmarking transformations and transformed programs
• Transformation techniques
  • Specification of (data-flow) optimizations in Stratego
  • Partial evaluation
• Transformation systems for specific languages
  • C, C++, Java, XML, ...

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.

Since there are quite a few people with an interest in transformation of C and C++ a special session will be devoted to the design and implementation of transformation systems for these languages.

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. Please send proposals for contributions to visser+sud04@cs.uu.nl before February 1, 2004. A list of already proposed contributions is available below.

Call for Participation

From Monday, March 1 to Wednesday, March 3, 2004 we meet at Utrecht University so that everyone interested in Stratego 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.

Participation is free and includes lunch. Usually we go out for dinner at night, which is at your own expense. Please register as soon as possible so that we can make reservations for lunch and dinner by sending an email to visser+sud04@cs.uu.nl. If you are coming from outside and need accomodation, you can consult the list of recommended hotels of the department.

Important Dates

• Proposals for contributions: February 1, 2004
• Registration for attendance: February 15, 2004
• Meeting: March 1 - 3, 2004

Venue

The meeting will be held at the Uithof campus of Utrecht University in the Buys Ballot (BBL) building

Day	Time	Room
Mon	9-13	BBL 160
Mon	13-18	BBL 508
Tue	9-18	BBL 160
Wed	9-18	BBL 160

• Directions to campus
• Campus map

• Some hotels in Utrecht

Dinner Monday

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

Dinner Tuesday

Indiaas Restaurant Ajanta
Oudegracht 207
Utrecht
030 231 80 63
http://www.ajanta.nl/inutr.html

Program

Monday	Stratego Development		Slides
9:00	Eelco Visser	Stratego/XT in 2003	pdf
		Program Overview
		StrategoCompiler
		Announcement: C transformation system
10:00	Martin Bravenboer	StrategoShell	ps/pdf
10:30	Break
11:00	Martin Bravenboer	StrategoRegular XmlTools StrategoBox ParseUnit	ps/pdf
11:45	Merijn de Jonge	Generic pretty-printing in Stratego/XT	pdf
12:05	Rob Vermaas	xDoc: an Extendible Documentation Generator	ps/pdf
12:30	Lunch
13:30	Jan Heering	Higher-order abstract syntax and higher-order rewriting	pdf
14:30	Ganesh Sitampalam	Higher-order matching in MAG	ps/pdf
15:00	Break
free
19:00	Dinner in Casa di David
Tuesday	CodeBoost / Transforming Imperative Programs
9:00	Ganesh Sitampalam	Regular path queries	ps/pdf
10:00	Karina Olmos	Data-flow optimizations	pdf
10:30	Break
11:00	Magne Haveraaen	Philosophy behind CodeBoost
		CodeBoost Agenda
12:00	Karl Trygve Kalleberg	Extending CodeBoost to new languages	pdf
12:30	Lunch
14:00	Karl Trygve Kalleberg	Abstract specification of transformations	pdf
14:30	Robert Anisko	The Epita C++ toolset
		Stratego/XT at Epita
15:00	Otto Skrove Bagge	Infrastructure for C transformation systems
15:30	Break
16:00	Forum: architecture of a joint C/C++ transformation toolset
19:00	Dinner in Restaurant Ajanta
Wednesday	Applications and Deployment
9:00	Arthur van Dam	What are dynamic rules anyway? Applications and new ideas.	ps/pdf
9:45	Eelco Visser	Partial Evaluation	pdf
10:30	Break
11:00	Dick Kieburtz	A theorem prover for Haskell	html in tar.gz
11:45	Eelco Visser	Variation points in programming with concrete syntax
12:30	Lunch
14:00	Martin Bravenboer	XTC Shell	ps/pdf
14:30	Niels Janssen	ATerm Path Language	pdf
15:00	Eelco Dolstra	Release Management for Stratego/XT with Nix	pdf
15:30	Break
16:00	Forum: Plans for the future

Registered Participants

1. Robert Anisko
2. Otto Skrove Bagge
3. Remko van Beusekom
4. Martin Bravenboer
5. Salima Chantit
6. Arthur van Dam
7. Eelco Dolstra
8. Jan Heering
9. Niels Janssen
10. Merijn de Jonge
11. Karl Trygve Kalleberg
12. Dick Kieburtz
13. Jozef Kruger
14. Arthur van Leeuwen
15. Andres Loeh
16. Magne Haveraaen
17. Karina Olmos
18. Shishir Ramam
19. Alexey Rodriguez
20. Ganesh Sittampalam
21. Rob Vermaas
22. Jurgen Vinju
23. Eelco Visser
24. Epita student 1
25. Epita student 2
26. Epita student 3

Pictures

Pictures taken during the Stratego User Days are available at FifthStrategoUserDaysPictures.