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

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.


Stratego.FifthStrategoUserDays moved from Stratego.FifthStrategoUsersDay on 11 Feb 2004 - 11:37 by EelcoVisser - put it back