|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Start of topic | Skip to actions
ScheduleJanuary 25-28, 2006, Dagstuhl, GermanyArrivalDeparture and TaxiSharing AttendeesMembers: (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 VisserObservers: (10)Edwin Brady, Marco Danelutto, Gabor Karsai, Ralf Lämmel, Anne-Francoise Le Meur, Roberto Lopez-Herrejon, Francesco Nidito, Lawrence Rauchwerger, Doaitse Swierstra, Stephanie WeirichCostsThe 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.ScheduleTalks will be 20 minutes in length, excluding questions.Wednesday 9:00-10:00Session chair: Christian Lengauer
A proposal for Domain-Specific Software Engineering Wednesday 10:30-12:00Session chair: Walid Taha
Verifying Model Templates Generative aspects in skeletons Marco Danelutto Partial evaluation of static analyses for programs with holes Sam Kamin Wednesday 14:30-16:00Session chair: Christoph Herrmann
Typed XML programming without serialization Type Systems to Support Language Embeddings Jörg Striegnitz Practical type inference for advanced type systems Stephanie Weirich Wednesday 16:30-18:00Session chair: Paul H. J. Kelly
Dynamically Extending Syntax and Semantics Easy Non-Intrusive Java Language Extensions with MAJ Yannis Smaragdakis
Integrating concerns into software architectures Thursday 9:00-10:00Session chair: John T O'DonnellA monadic approach to avoiding code duplication Walid Taha Tradeoffs in Metaprogramming Todd Veldhuizen. Thursday 10:30-12:00Discussion Session:
How can we make metaprogramming predictable and enjoyable? Thursday 14:30-16:00Session chair: Julia Lawall
Domain-Specific Interpreters Program generation by linking Eugenio Moggi Mapping Features to Aspects Roberto Lopez-Herrejon Thursday 16:30-18:00Discussion Session:
The future and potential of AOP Thursday 20:00-21:00Discussion Session:
The future and potential of AOP (cont'd) Friday 9:00-10:00Session chair: Albert Cohen
The structure of a program inverter
Extending Synchronous Dataflow with State Machines by Means of Program Transformations Friday 10:30-12:00Session chair: Todd VeldhuizenA 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 Friday 14:30-16:00Session chair: Kevin HammondEquational Reasoning with Circuit Transformations in Hydra John O'Donnell
Generating size-parameterized functions for circuit simulation using Template Haskell
STAPL: A High Productivity Parallel Programming Environment Friday 16:30-18:00Discussion Session:Compelling examples of program generation Sam Kamin and Eelco Visser Friday 20:00-21:00Discussion Session:
Planning of future WG 2.11 activities and events Saturday 9:00-10:00Session chair: Christian LengauerImplicit Program Generation Doaitse Swierstra Saturday 10:30-12:00Final discussionsMeeting coordinatorChristian Lengauer: e-mail: lengauer@fmi.uni-passau.de Show attachments Hide attachments
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r44 < r43 < r42 < r41 < r40 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211 Web Actions:  WG211 Web
 Create New Topic
 Index
 Search
 Changes
 Notifications
 Statistics
 Preferences
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Log In
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.