TWiki> WG211 Web>M3Schedule (10 Feb 2006, PaulHJKelly)EditAttach
IFIP WG2.11, meeting schedule

IFIP Working Group 2.11 Third Meeting

Schedule

January 25-28, 2006, Dagstuhl, Germany


ArrivalDeparture and TaxiSharing

Attendees

Members: (20)

Albert Cohen, Charles Consel, Krzysztof Czarnecki, Robert Glück, Kevin Hammond, Christoph A. Herrmann, Sam Kamin, Paul Kelly, Julia Lawall, Christian Lengauer, Eugenio Moggi, John O'Donnell, Christine Paulin, Marc Pouzet, Laurent Reveillere, Yannis Smaragdakis, Jörg Striegnitz, Walid Taha, Todd Veldhuizen, Eelco Visser

Observers: (10)

Edwin Brady, Marco Danelutto, Gabor Karsai, Ralf Lämmel, Anne-Francoise Le Meur, Roberto Lopez-Herrejon, Francesco Nidito, Lawrence Rauchwerger, Doaitse Swierstra, Stephanie Weirich

Costs

The cost of the meeting will be 80 euros per night for a single room and 50 euros per person per night for a double room. Costs are payable at the end of the meeting.

Schedule

Talks will be 20 minutes in length, excluding questions.

Wednesday 9:00-10:00

Session chair: Christian Lengauer

A proposal for Domain-Specific Software Engineering
Charles Consel

Wednesday 10:30-12:00

Session chair: Walid Taha

Verifying Model Templates
Krzysztof Czarnecki

Generative aspects in skeletons
Marco Danelutto

Partial evaluation of static analyses for programs with holes
Sam Kamin

Wednesday 14:30-16:00

Session chair: Christoph Herrmann

Typed XML programming without serialization
Ralf Lämmel

Type Systems to Support Language Embeddings
Jörg Striegnitz

Practical type inference for advanced type systems
Stephanie Weirich

Wednesday 16:30-18:00

Session chair: Paul H. J. Kelly

Dynamically Extending Syntax and Semantics
Doaitse Swierstra

Easy Non-Intrusive Java Language Extensions with MAJ
Yannis Smaragdakis

Integrating concerns into software architectures
Anne-Françoise Le Meur

Thursday 9:00-10:00

Session chair: John T O'Donnell

A monadic approach to avoiding code duplication
Walid Taha

Tradeoffs in Metaprogramming
Todd Veldhuizen.

Thursday 10:30-12:00

Discussion Session:

How can we make metaprogramming predictable and enjoyable?
Albert Cohen

Thursday 14:30-16:00

Session chair: Julia Lawall

Domain-Specific Interpreters
Paul Kelly

Program generation by linking
Eugenio Moggi

Mapping Features to Aspects
Roberto Lopez-Herrejon

Thursday 16:30-18:00

Discussion Session:

The future and potential of AOP
Julia Lawall and Christian Lengauer

Thursday 20:00-21:00

Discussion Session:

The future and potential of AOP (cont'd)
Julia Lawall and Christian Lengauer

Friday 9:00-10:00

Session chair: Albert Cohen

The structure of a program inverter
Robert Glück

Extending Synchronous Dataflow with State Machines by Means of Program Transformations
Marc Pouzet

Friday 10:30-12:00

Session chair: Todd Veldhuizen

A Framework for Transformation of Java Programs
Eelco Visser

Proving Size Bounds with Dependent Types
Edwin Brady

N-Synchronous Kahn Networks: A Domain-Specific Program Generation Perspective
Albert Cohen

Friday 14:30-16:00

Session chair: Kevin Hammond

Equational Reasoning with Circuit Transformations in Hydra
John O'Donnell

Generating size-parameterized functions for circuit simulation using Template Haskell
Christoph A. Herrmann

STAPL: A High Productivity Parallel Programming Environment
Lawrence Rauchwerger

Friday 16:30-18:00

Discussion Session:

Compelling examples of program generation
Sam Kamin and Eelco Visser

Friday 20:00-21:00

Discussion Session:

Planning of future WG 2.11 activities and events
Walid Taha

Saturday 9:00-10:00

Session chair: Christian Lengauer

Implicit Program Generation
Doaitse Swierstra

Saturday 10:30-12:00

Final discussions

Meeting coordinator

Christian Lengauer: e-mail: lengauer@fmi.uni-passau.de

Topic attachments
I Attachment Action Size Date Who Comment
pptppt DSI-WG211-Talk-Draft03.ppt manage 2128.0 K 10 Feb 2006 - 20:08 Main.UnknownUser  
pdfpdf LengauerAOP.pdf manage 86.1 K 29 Jan 2006 - 10:05 Main.UnknownUser Discussion Session: The future and potential of AOP
pdfpdf LopezHerrejonFeaturesToAspects.pdf manage 221.8 K 01 Feb 2006 - 19:04 Main.UnknownUser Mapping Features to Aspects
pdfpdf MoggiE-M3.pdf manage 323.4 K 26 Jan 2006 - 21:37 Main.UnknownUser  
pdfpdf MonadsforCodeDuplication.pdf manage 41.6 K 29 Jan 2006 - 13:10 Main.WalidTaha  
pdfpdf PermParsers2002.pdf manage 323.1 K 29 Jan 2006 - 15:24 Main.UnknownUser  
pdfpdf RG-slides-Dagstuhl060127.pdf manage 102.2 K 29 Jan 2006 - 12:49 Main.UnknownUser Slides Robert Glück
pdfpdf Striegnitz.pdf manage 1627.2 K 05 Feb 2006 - 19:17 Main.UnknownUser  
pdfpdf Visser-JavaTransform.pdf manage 229.8 K 27 Jan 2006 - 14:49 Main.UnknownUser A Framework for Transformation of Java Programs (Stratego/XT for Java)
pdfpdf brady.pdf manage 118.3 K 31 Jan 2006 - 22:55 Main.UnknownUser  
pptppt dagstuhl06.ppt manage 183.0 K 29 Jan 2006 - 13:28 Main.UnknownUser  
pdfpdf dslides.pdf manage 55.0 K 26 Jan 2006 - 12:56 Main.JuliaLawall  
pdfpdf foozles.pdf manage 85.2 K 27 Jan 2006 - 09:29 Main.UnknownUser  
pdfpdf herrmann.pdf manage 421.5 K 01 Feb 2006 - 18:20 Main.UnknownUser Slides
pdfpdf lemeur-IFIP-Wg2.11.pdf manage 409.6 K 26 Jan 2006 - 21:13 Main.UnknownUser  
pdfpdf nsynchronous.pdf manage 174.8 K 06 Feb 2006 - 13:00 Main.UnknownUser N-Synchronous Kahn Networks
pdfpdf reveillere-aop.pdf manage 209.4 K 26 Jan 2006 - 20:33 Main.UnknownUser Discussion Session: The future and potential of AOP
pptppt talk.ppt manage 223.5 K 31 Jan 2006 - 02:30 Main.UnknownUser  
pdfpdf tradeoffs.pdf manage 115.2 K 27 Jan 2006 - 09:26 Main.UnknownUser  
pptppt weirich-aop.ppt manage 69.0 K 30 Jan 2006 - 17:38 Main.UnknownUser AOP Panel
pptppt weirich-wg211.ppt manage 296.0 K 26 Jan 2006 - 18:54 Main.UnknownUser  
pdfpdf xlanguage.pdf manage 201.9 K 06 Feb 2006 - 13:01 Main.UnknownUser Enjoyable and Predictable Meta-Programming
pdfpdf yannis-smaragdakis-ifip06.pdf manage 71.5 K 27 Jan 2006 - 09:58 Main.UnknownUser  
Topic revision: r44 - 10 Feb 2006 - 20:08:26 - PaulHJKelly