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 |
- 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 | |
| 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 | |
| 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 | |
| 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 | |
| 10:30 | Break | ||
| 11:00 | Magne Haveraaen | Philosophy behind CodeBoost | |
| CodeBoost Agenda | |||
| 12:00 | Karl Trygve Kalleberg | Extending CodeBoost to new languages | |
| 12:30 | Lunch | ||
| 14:00 | Karl Trygve Kalleberg | Abstract specification of transformations | |
| 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 | |
| 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 | |
| 15:00 | Eelco Dolstra | Release Management for Stratego/XT with Nix | |
| 15:30 | Break | ||
| 16:00 | Forum: Plans for the future | ||
Registered Participants
- Robert Anisko
- Otto Skrove Bagge
- Remko van Beusekom
- Martin Bravenboer
- Salima Chantit
- Arthur van Dam
- Eelco Dolstra
- Jan Heering
- Niels Janssen
- Merijn de Jonge
- Karl Trygve Kalleberg
- Dick Kieburtz
- Jozef Kruger
- Arthur van Leeuwen
- Andres Loeh
- Magne Haveraaen
- Karina Olmos
- Shishir Ramam
- Alexey Rodriguez
- Ganesh Sittampalam
- Rob Vermaas
- Jurgen Vinju
- Eelco Visser
- Epita student 1
- Epita student 2
- Epita student 3
Pictures
Pictures taken during the Stratego User Days are available at FifthStrategoUserDaysPictures.