Sixth Stratego User Days
Stratego -- Strategies for Program Transformation
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
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 | pdf |
| Akim Demaille, Thomas Largillier, Nicolas Pouillard (Epita) | ESDF: A Proposal for a More Flexible SDF Handling | pdf |
| 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 | pdf |
| 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
- Alexandre Borghi (Epita)
- Martin Bravenboer (UU)
- Valentin David (LIP6, Epita)
- Akim Demaille (Epita)
- Renaud Durlin (Epita)
- Rene de Groot (UU)
- Mart Kolthof (UU)
- Thomas Largillier (Epita)
- Yaroslav Usenko (TUE)
- Rob Vermaas (UU)
- Eelco Visser (UU)
- Mikal Ziane (LIP6, Université Paris 5)
Tuesday - Wednesday
- Anya Helene Bagge (UIB,UU)
- Olivier Gournet (Epita; only Tue and Wed)
- Karl Trygve Kalleberg (UIB,UU)
- Magne Haveraaen (UIB; dinner Mon)
- Karina Olmos (UU)
- Nicolas Pouillard (Epita; only Tue and Wed)
- Huanwen Qu (UU)