Walid at 13:26, 16 December 2011

2011-12-16T13:26:46Z

Walid at 13:20, 16 December 2011

2011-12-16T13:20:20Z

← Older revision		Revision as of 15:20, 16 December 2011
Line 3:		Line 3:
	IFIP WG2.11, meeting schedule		IFIP WG2.11, meeting schedule

	~~#IP [[http://www.smart-generators.org/~~ Working Group 2.11]] Third Meeting		IFIP Working Group 2.11 Third Meeting
	<h1 class="style3">Schedule</h1>		<h1 class="style3">Schedule</h1>
	January 25-28, 2006, Dagstuhl, Germany		January 25-28, 2006, Dagstuhl, Germany
Line 64:		Line 64:

	<p>		<p>
	[[~~http://smart-generators.org~~/M3Consel* A proposal for Domain-Specific Software Engineering]]<br>		[[WG211/M3Consel \| A proposal for Domain-Specific Software Engineering]]<br>
	Charles Consel		Charles Consel
	</p>		</p>
Line 73:		Line 73:

	<p>		<p>
	[[~~http://smart-generators.org~~/M3Czarnecki* Verifying Model Templates]]<br>		[[WG211/M3Czarnecki \| Verifying Model Templates]]<br>
	Krzysztof Czarnecki		Krzysztof Czarnecki

	</p><p>		</p><p>

	[[~~http://smart-generators.org~~/M3Danelutto* Generative aspects in skeletons]]		[[WG211/M3Danelutto\| Generative aspects in skeletons]]
	<br>		<br>
	Marco Danelutto		Marco Danelutto

Walid at 11:48, 16 December 2011

2011-12-16T11:48:33Z

← Older revision		Revision as of 13:48, 16 December 2011
Line 8:		Line 8:


	[[ArrivalDepartureTaxiSharing ~~ArrivalDeparture and TaxiSharing~~]]		[[WG211/ArrivalDepartureTaxiSharing]]

	<h2>Attendees</h2>		<h2>Attendees</h2>

Walid at 11:46, 16 December 2011

2011-12-16T11:46:46Z

← Older revision		Revision as of 13:46, 16 December 2011
Line 1:		Line 1:
	[[Category:WG211]]		[[Category:WG211]]

			IFIP WG2.11, meeting schedule

	~~<html><head><title>IFIP WG2.11, meeting schedule</title>~~

	~~</head><body bgcolor="white">~~

	~~<center>~~
	#IP [[http://www.smart-generators.org/ Working Group 2.11]] Third Meeting		#IP [[http://www.smart-generators.org/ Working Group 2.11]] Third Meeting
	<h1 class="style3">Schedule</h1>		<h1 class="style3">Schedule</h1>
	January 25-28, 2006, Dagstuhl, Germany		January 25-28, 2006, Dagstuhl, Germany
	~~</center>~~

	~~<p></p><br><p></p>~~

	[[ArrivalDepartureTaxiSharing ArrivalDeparture and TaxiSharing]]		[[ArrivalDepartureTaxiSharing ArrivalDeparture and TaxiSharing]]

Admin: 1 revision

2011-12-12T10:06:26Z

1 revision

New page

[[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]] Third Meeting
<h1 class="style3">Schedule</h1>
January 25-28, 2006, Dagstuhl, Germany
</center>

<p></p><br><p></p>

[[ArrivalDepartureTaxiSharing ArrivalDeparture and TaxiSharing]]

<h2>Attendees</h2>

<h3>Members: (20)</h3>

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

<h3>Observers: (10)</h3>

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

<h2>Costs</h2>

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.

<h2>Schedule</h2>

Talks will be 20 minutes in length, excluding questions.

<h2>Wednesday 9:00-10:00</h2>

Session chair: Christian Lengauer

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

<h2>Wednesday 10:30-12:00</h2>

Session chair: Walid Taha

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

</p><p>

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

</p><p>

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

<h2>Wednesday 14:30-16:00</h2>

Session chair: Christoph Herrmann

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

</p><p>

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

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

</p>

<h2>Wednesday 16:30-18:00</h2>

Session chair: Paul H. J. Kelly

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

</p><p>

[[http://smart-generators.org/M3Smaragdakis* Easy Non-Intrusive Java Language Extensions with MAJ]]<br>
Yannis Smaragdakis
</p>
<p>
[[http://smart-generators.org/M3LeMeur* Integrating concerns into software architectures]]<br>
Anne-Françoise Le Meur
</p>

<h2>Thursday 9:00-10:00</h2>

Session chair: John T O'Donnell

<p>

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

</p><p>

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

</p>

<h2>Thursday 10:30-12:00</h2>

Discussion Session:

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

<h2>Thursday 14:30-16:00</h2>

Session chair: Julia Lawall

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

</p><p>

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

</p><p>

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

<h2>Thursday 16:30-18:00</h2>

Discussion Session:

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

</p>

<h2>Thursday 20:00-21:00</h2>

Discussion Session:

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

</p>

<h2>Friday 9:00-10:00</h2>

Session chair: Albert Cohen

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

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

</p>

<h2>Friday 10:30-12:00</h2>

Session chair: Todd Veldhuizen

<p>

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

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

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

<h2>Friday 14:30-16:00</h2>

Session chair: Kevin Hammond

<p>

[[http://smart-generators.org/M3ODonnell* Equational Reasoning with Circuit Transformations in Hydra]]<br>
John O'Donnell
</p><p>
[[http://smart-generators.org/M3Herrmann* Generating size-parameterized functions for circuit simulation using Template Haskell]]<br>
Christoph A. Herrmann
</p>
<p>
[[http://smart-generators.org/M3Rauchwerger* STAPL: A High Productivity Parallel Programming Environment]]<br>
Lawrence Rauchwerger
</p>

<h2>Friday 16:30-18:00</h2>

Discussion Session:

<p>

[[http://smart-generators.org/M3KaminDiscussion* Compelling examples of program generation]]<br>
Sam Kamin and Eelco Visser

</p>

<h2>Friday 20:00-21:00</h2>

Discussion Session:

<p>
Planning of future WG 2.11 activities and events<br>
Walid Taha
</p>

<h2>Saturday 9:00-10:00</h2>

Session chair: Christian Lengauer

<p>

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

</p>

<h2>Saturday 10:30-12:00</h2>

Final discussions

<h2>Meeting coordinator</h2>

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

</html>

==File Attachments==

*[[Media:dslides.pdf | dslides.pdf]]
*[[Media:weirich-wg211.ppt | weirich-wg211.ppt]]
*[[Media:reveillere-aop.pdf | reveillere-aop.pdf]]
*[[Media:lemeur-IFIP-Wg2.11.pdf | lemeur-IFIP-Wg2.11.pdf]]
*[[Media:MoggiE-M3.pdf | MoggiE-M3.pdf]]
*[[Media:foozles.pdf | foozles.pdf]]
*[[Media:tradeoffs.pdf | tradeoffs.pdf]]
*[[Media:yannis-smaragdakis-ifip06.pdf | yannis-smaragdakis-ifip06.pdf]]
*[[Media:Visser-JavaTransform.pdf | Visser-JavaTransform.pdf]]
*[[Media:LengauerAOP.pdf | LengauerAOP.pdf]]
*[[Media:RG-slides-Dagstuhl060127.pdf | RG-slides-Dagstuhl060127.pdf]]
*[[Media:MonadsforCodeDuplication.pdf | MonadsforCodeDuplication.pdf]]
*[[Media:dagstuhl06.ppt | dagstuhl06.ppt]]
*[[Media:PermParsers2002.pdf | PermParsers2002.pdf]]
*[[Media:weirich-aop.ppt | weirich-aop.ppt]]
*[[Media:talk.ppt | talk.ppt]]
*[[Media:brady.pdf | brady.pdf]]
*[[Media:herrmann.pdf | herrmann.pdf]]
*[[Media:LopezHerrejonFeaturesToAspects.pdf | LopezHerrejonFeaturesToAspects.pdf]]
*[[Media:Striegnitz.pdf | Striegnitz.pdf]]
*[[Media:nsynchronous.pdf | nsynchronous.pdf]]
*[[Media:xlanguage.pdf | xlanguage.pdf]]
*[[Media:DSI-WG211-Talk-Draft03.ppt | DSI-WG211-Talk-Draft03.ppt]]

WG211/M3Schedule - Revision history

Walid at 13:26, 16 December 2011

Walid at 13:20, 16 December 2011

Walid at 11:48, 16 December 2011

Walid at 11:46, 16 December 2011

Admin: 1 revision