Difference between revisions of "WG211/M3Schedule"

From WG 2.11
Jump to: navigation, search
(Created page with "Category:WG211 <html><head><title>IFIP WG2.11, meeting schedule</title> </head><body bgcolor="white"> <center> #IP http://www.smart-generators.org/ Working Group 2.11...")
 
m (1 revision)
(No difference)

Revision as of 11:06, 12 December 2011


IFIP WG2.11, meeting schedule

#IP [[http://www.smart-generators.org/ Working Group 2.11]] Third Meeting

Schedule

January 25-28, 2006, Dagstuhl, Germany


[[ArrivalDepartureTaxiSharing 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

[[http://smart-generators.org/M3Consel* A proposal for Domain-Specific Software Engineering]]
Charles Consel

Wednesday 10:30-12:00

Session chair: Walid Taha

[[http://smart-generators.org/M3Czarnecki* Verifying Model Templates]]
Krzysztof Czarnecki

[[http://smart-generators.org/M3Danelutto* Generative aspects in skeletons]]
Marco Danelutto

[[http://smart-generators.org/M3Kamin* Partial evaluation of static analyses for programs with holes]]
Sam Kamin

Wednesday 14:30-16:00

Session chair: Christoph Herrmann

[[http://smart-generators.org/M3Lammel* Typed XML programming without serialization]]
Ralf Lämmel

[[http://smart-generators.org/M3Striegnitz* Type Systems to Support Language Embeddings]]
Jörg Striegnitz

[[http://smart-generators.org/M3Weirich* Practical type inference for advanced type systems]]
Stephanie Weirich

Wednesday 16:30-18:00

Session chair: Paul H. J. Kelly

[[http://smart-generators.org/M3Swierstra* Dynamically Extending Syntax and Semantics]]
Doaitse Swierstra

[[http://smart-generators.org/M3Smaragdakis* Easy Non-Intrusive Java Language Extensions with MAJ]]
Yannis Smaragdakis

[[http://smart-generators.org/M3LeMeur* Integrating concerns into software architectures]]
Anne-Françoise Le Meur

Thursday 9:00-10:00

Session chair: John T O'Donnell

[[http://smart-generators.org/M3Taha* A monadic approach to avoiding code duplication]]
Walid Taha

[[http://smart-generators.org/M3Veldhuizen* Tradeoffs in Metaprogramming]]
Todd Veldhuizen.

Thursday 10:30-12:00

Discussion Session:

[[http://smart-generators.org/M3CohenDiscussion* How can we make metaprogramming predictable and enjoyable?]]
Albert Cohen

Thursday 14:30-16:00

Session chair: Julia Lawall

[[http://smart-generators.org/M3Kelly* Domain-Specific Interpreters]]
Paul Kelly

[[http://smart-generators.org/M3Moggi* Program generation by linking]]
Eugenio Moggi

[[http://smart-generators.org/M3LopezHerrejon* Mapping Features to Aspects]]
Roberto Lopez-Herrejon

Thursday 16:30-18:00

Discussion Session:

[[http://smart-generators.org/M3LawallLengauerDiscussion* The future and potential of AOP]]
Julia Lawall and Christian Lengauer

Thursday 20:00-21:00

Discussion Session:

[[http://smart-generators.org/M3LawallLengauerDiscussion* The future and potential of AOP (cont'd)]]
Julia Lawall and Christian Lengauer

Friday 9:00-10:00

Session chair: Albert Cohen

[[http://smart-generators.org/M3Glück* The structure of a program inverter]]
Robert Glück

[[http://smart-generators.org/M3Pouzet* Extending Synchronous Dataflow with State Machines by Means of Program Transformations]]
Marc Pouzet

Friday 10:30-12:00

Session chair: Todd Veldhuizen

[[http://smart-generators.org/M3Visser* A Framework for Transformation of Java Programs]]
Eelco Visser

[[http://smart-generators.org/M3Hammond* Proving Size Bounds with Dependent Types]]
Edwin Brady

[[http://smart-generators.org/M3Cohen* N-Synchronous Kahn Networks: A Domain-Specific Program Generation Perspective]]
Albert Cohen

Friday 14:30-16:00

Session chair: Kevin Hammond

[[http://smart-generators.org/M3ODonnell* Equational Reasoning with Circuit Transformations in Hydra]]
John O'Donnell

[[http://smart-generators.org/M3Herrmann* Generating size-parameterized functions for circuit simulation using Template Haskell]]
Christoph A. Herrmann

[[http://smart-generators.org/M3Rauchwerger* STAPL: A High Productivity Parallel Programming Environment]]
Lawrence Rauchwerger

Friday 16:30-18:00

Discussion Session:

[[http://smart-generators.org/M3KaminDiscussion* 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

[[http://smart-generators.org/M3Swierstra2* Implicit Program Generation]]
Doaitse Swierstra

Saturday 10:30-12:00

Final discussions

Meeting coordinator

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

File Attachments

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M3Schedule&oldid=159"