WG211/M10Schedule - Revision history

Lasse: /* Talks */

2011-12-20T10:57:08Z

Talks

← Older revision		Revision as of 12:57, 20 December 2011
Line 87:		Line 87:
	* 13h15 – 14h45: [[WG211/M10Shan \| Chung-chieh Shan ]], [[WG211/M10Smaragdakis \| Yannis Smaragdakis ]]		* 13h15 – 14h45: [[WG211/M10Shan \| Chung-chieh Shan ]], [[WG211/M10Smaragdakis \| Yannis Smaragdakis ]]
	* 14h45 – 15h15: Coffee Break		* 14h45 – 15h15: Coffee Break
	* 15h15 – 16h15: [[~~M10ConselWG211~~/ \| Home Automation Lab Demo (Charles Consel) ]]		* 15h15 – 16h15: [[WG211/M10Consel \| Home Automation Lab Demo (Charles Consel) ]]

	Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.		Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.

Lasse: /* Talks */

2011-12-20T10:56:30Z

Talks

← Older revision		Revision as of 12:56, 20 December 2011
Line 28:		Line 28:
	[[WG211/M10Schultz \| Title of the Talk ]] Ulrik Schultz		[[WG211/M10Schultz \| Title of the Talk ]] Ulrik Schultz

	Talks:		Talks:<br>
	[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel<br>		*[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel<br>
	[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau<br>		*[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau<br>
	[[WG211/M10Cook \| Enso ]] William Cook<br>		*[[WG211/M10Cook \| Enso ]] William Cook<br>
	[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br>		*[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br>
	[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre<br>		*[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre<br>
	[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br>		*[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br>
	[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann<br>		*[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann<br>
	[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama<br>		*[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama<br>
	[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin<br>		*[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin<br>
	[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner<br>		*[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner<br>
	[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly<br>		*[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly<br>
	[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov<br>		*[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov<br>
	[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall<br>		*[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall<br>
	[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>		*[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>
	[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>		*[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>
	[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer<br>		*[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer<br>
	[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan<br>		*[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan<br>
	[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek<br>		*[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek<br>
	[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis<br>		*[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis<br>
	[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju<br>		*[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju<br>
	[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser<br>		*[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser<br>

	Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel		Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel
Line 58:		Line 58:
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 09h20: Welcome		* 09h00 – 09h20: Welcome
	* 09h20 – 10h40: [[M10Hammond \| Kevin Hammond ]], [[M10Kamin~~'''~~ \| Sam Kamin ]]		* 09h20 – 10h40: [[WG211/M10Hammond \| Kevin Hammond ]], [[WG211/M10Kamin \| Sam Kamin ]]
	* 10h40 – 11h10: Coffee		* 10h40 – 11h10: Coffee
	* 11h10 – 12h30: [[M10Doerre~~'''~~ \| Jens Doerre ]], [[M10Schaefer~~'''~~ \| Ina Schaefer ]]		* 11h10 – 12h30: [[WG211/M10Doerre \| Jens Doerre ]], [[WG211/M10Schaefer \| Ina Schaefer ]]
	* 12h30 – 13h30: Buffet Lunch		* 12h30 – 13h30: Buffet Lunch
	~~'''~~ 13h30 – 15h30: [[M10Siek~~'''~~ \| Jeremy Siek ]], [[M10Vinju~~'''~~ \| Jurgen Vinju ]], [[M10Kelly~~'''~~ \| Paul Kelly ]]		* 13h30 – 15h30: [[WG211/M10Siek \| Jeremy Siek ]], [[WG211/M10Vinju \| Jurgen Vinju ]], [[WG211/M10Kelly \| Paul Kelly ]]
	* 16h00 – 16:20: Coffee Break		* 16h00 – 16:20: Coffee Break
	~~'''~~ 16h20 – 18h30: [[M10Visser~~'''~~ \| Eelco Visser ]], [[M10Danvy~~'''~~ \| Olivier Danvy ]], [[M10Lawall~~'''~~ \| Julia Lawall ]]		* 16h20 – 18h30: [[WG211/M10Visser \| Eelco Visser ]], [[WG211/M10Danvy \| Olivier Danvy ]], [[WG211/M10Lawall \| Julia Lawall ]]
	* 19h30: Restaurant downtown: La Belle Epoque (2 Allees Orleans, 33000 Bordeaux)		* 19h30: Restaurant downtown: La Belle Epoque (2 Allees Orleans, 33000 Bordeaux)

	Sunday 4/09		Sunday 4/09
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 10h30: [[M10Mosses~~'''~~ \| Peter Mosses ]], [[M10Hermann~~'''~~ \| Christoph Herrmann ]]		* 09h00 – 10h30: [[WG211/M10Mosses \| Peter Mosses ]], [[WG211/M10Hermann \| Christoph Herrmann ]]
	* 10h30 – 11h00: Coffee Break		* 10h30 – 11h00: Coffee Break
	* 11h00 – 12h30: [[M10Kameyama~~'''~~ \| Yukiyoshi Kameyama ]], [[M10Kaestner~~'''~~ \| Christian Kaestner ]]		* 11h00 – 12h30: [[WG211/M10Kameyama \| Yukiyoshi Kameyama ]], [[WG211/M10Kaestner \| Christian Kaestner ]]
	* 12h30 – 13h30: Buffet Lunch		* 12h30 – 13h30: Buffet Lunch
	* 13h30 – 15h00: Discussion: canonical program generation examples for teaching (Ulrik Schultz)		* 13h30 – 15h00: Discussion: canonical program generation examples for teaching (Ulrik Schultz)
	~~'''~~ 15h00 – 16h00: [[M10Bruneau~~'''~~ \| Julien Bruneau ]], Olivier Danvy: Your Graduate Life in Pictures		* 15h00 – 16h00: [[WG211/M10Bruneau \| Julien Bruneau ]], Olivier Danvy: Your Graduate Life in Pictures
	* 16h00 – 16h30: Coffee Break		* 16h00 – 16h30: Coffee Break
	* 16h30 – 18h00: Business Meeting (members only)		* 16h30 – 18h00: Business Meeting (members only)
Line 81:		Line 81:
	Monday 5/09		Monday 5/09
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 10h15: [[M10Kiselyov~~'''~~ \| Oleg Kiselyov (short) ]], [[M10Apel~~'''~~ \| Sven Apel ]]		* 09h00 – 10h15: [[WG211/M10Kiselyov \| Oleg Kiselyov (short) ]], [[WG211/M10Apel \| Sven Apel ]]
	* 10h15 – 10h45: Coffee Break		* 10h15 – 10h45: Coffee Break
	* 10h45 – 12h15: [[M10Rayside~~'''~~ \| Derek Rayside ]], [[M10Cook~~'''~~ \| William Cook ]]		* 10h45 – 12h15: [[WG211/M10Rayside \| Derek Rayside ]], [[WG211/M10Cook \| William Cook ]]
	* 12h15 – 13h15: Buffet Lunch		* 12h15 – 13h15: Buffet Lunch
	* 13h15 – 14h45: [[M10Shan~~'''~~ \| Chung-chieh Shan ]], [[M10Smaragdakis~~'''~~ \| Yannis Smaragdakis ]]		* 13h15 – 14h45: [[WG211/M10Shan \| Chung-chieh Shan ]], [[WG211/M10Smaragdakis \| Yannis Smaragdakis ]]
	* 14h45 – 15h15: Coffee Break		* 14h45 – 15h15: Coffee Break
	~~'''~~ 15h15 – 16h15: [[~~M10Consel'''~~ \| Home Automation Lab Demo (Charles Consel) ]]		* 15h15 – 16h15: [[M10ConselWG211/ \| Home Automation Lab Demo (Charles Consel) ]]

	Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.		Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.

Lasse: /* Talks */

2011-12-20T10:48:04Z

Talks

Lasse: /* Talks */

2011-12-20T10:47:07Z

Talks

Admin: 1 revision

2011-12-12T10:06:24Z

1 revision

New page

[[Category:WG211]]

=IFIP Working Group 2.11, Tenth Meeting=
==September 3-5, 2011, Bordeaux, France==

This meeting will be co-located with the [[https://dsl2011.bordeaux.inria.fr 2011 Working Conference on Domain-specific Languages]], which will take place in Bordeaux on September 6-8, 2011. The meeting will start Saturday September 3rd at 9:00 and will end on Monday September 5th late afternoon. The DSL conference (talks and tutorials) does not start until Tuesday September 6th, so the two events are end-to-end but there is no overlap.
===Venue and Travel===

The meeting will be held at LaBRI (Laboratoire Bordelais de Recherche Informatique), University of Bordeaux, in the campus (Bat. A30 - 351 cours de la Liberation - 33400 Talence), map: http://www.labri.fr/images/uploads/planDDX1.jpg

For the accommodation, you are recommended the Hotel le Continental which is downtown and close to the tram line B (http://www.hotel-le-continental.com). As there are only 50 rooms, we recommend the attendees to book their room as soon as possible. Alternatively, there is another hotel that is close to the Continental (http://www.hotel-bordeaux-clemenceau.com/). The two dinners (Saturday and Sunday evenings) will be downtown.

To access the LaBRI from downtown Bordeaux, take tram Line B towards Pessac Centre and get off at "Arts et metiers" (this is the stop to use during the week-end: the only campus entrance open during the week-end is "Entrance Roul" near the roundabout). The journey from downtown takes around 20-30 minutes. Saturday the tram runs every 6 minutes, Sunday every 10 minutes.

For more information on the venue and information on how to get there Monday (and any other weekday), please see the [[https://dsl2011.bordeaux.inria.fr/index.php?option=com_content&view=article&id=7&Itemid=5 Venue information]] under the DSL conference web pages.
===Registration===

Registration is done using the DSL conference [[https://dsl2011.bordeaux.inria.fr/index.php?option=com_content&view=article&id=3&Itemid=9 registration page]], and will be open from June 23rd until July 15th. The registration fee is 175 EUR, payable by credit card only. The fee covers meals during the meetings (morning coffee breaks, lunches, afternoon snacks and two dinners downtown - one on Saturday and the other on Sunday).

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk | Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.
===Attendees===

Baris Aktemur, Sven Apel, Emilie Balland, Julien Bruneau, Jacques Carette, Charles Consel, William Cook, Olivier Danvy, Jens Doerre, Bernd Fischer, Kevin Hammond, Christoph Herrmann, Mark A Hills, Yukiyoshi Kameyama, Samuel Kamin, Christian Kaestner, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Peter Mosses, Nate Nystrom, Derek Rayside, Laurent Reveillere, Ina Schaefer, Ulrik Schultz, Chung-chieh Shan, Yannis Smaragdakis, Jeremy Siek, Tijs van der Storm, Jurgen Vinju, Eelco Visser
===Talks===

If you are giving a talk, email Ulrik the title and the abstract. Alternatively, if you have access to the wiki, add it yourself using the following template:
''' [[M10Schultz''' | Title of the Talk ]] Ulrik Schultz

Talks:
''' [[M10Apel''' | Combining and Unifying Product-Line Analyses ]] Sven Apel
''' [[M10Bruneau''' | Formalized generation of programming frameworks ]] Julien Bruneau
''' [[M10Cook''' | Enso ]] William Cook
''' [[M10Danvy''' | On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy
''' [[M10Doerre''' | Typing MapReduce ]] Jens Doerre
''' [[M10Hammond''' | ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond
''' [[M10Hermann''' | Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann
''' [[M10Kameyama''' | Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama
''' [[M10Kamin''' | Run-time specialization for matrix multiplication ]] Sam Kamin
''' [[M10Kaestner''' | A Variability-Aware Module System ]] Christian Kaestner
''' [[M10Kelly''' | Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly
''' [[M10Kiselyov''' | Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov
''' [[M10Lawall''' | Finding Resource-Release Omission Faults in Linux ]] Julia Lawall
''' [[M10Mosses''' | PLanCompS: Programming Language Components and Specifications ]] Peter Mosses
''' [[M10Rayside''' | Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside
''' [[M10Schaefer''' | Deductive Verification of Software Product Lines ]] Ina Schaefer
''' [[M10Shan''' | Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan
''' [[M10Siek''' | Composing DSLs ]] Jeremy Siek
''' [[M10Smaragdakis''' | Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis
''' [[M10Vinju''' | Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju
''' [[M10Visser''' | Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser

Demo: [[M10Consel* | Home Automation Lab ]] Charles Consel

Overall schedule (still tentative, will be finalized Tuesday August 23rd):

Saturday 3/09
* 08h30 – 09h00: Breakfast
* 09h00 – 09h20: Welcome
* 09h20 – 10h40: [[M10Hammond''' | Kevin Hammond ]], [[M10Kamin''' | Sam Kamin ]]
* 10h40 – 11h10: Coffee
* 11h10 – 12h30: [[M10Doerre''' | Jens Doerre ]], [[M10Schaefer''' | Ina Schaefer ]]
* 12h30 – 13h30: Buffet Lunch
''' 13h30 – 15h30: [[M10Siek''' | Jeremy Siek ]], [[M10Vinju''' | Jurgen Vinju ]], [[M10Kelly''' | Paul Kelly ]]
* 16h00 – 16:20: Coffee Break
''' 16h20 – 18h30: [[M10Visser''' | Eelco Visser ]], [[M10Danvy''' | Olivier Danvy ]], [[M10Lawall''' | Julia Lawall ]]
* 19h30: Restaurant downtown: La Belle Epoque (2 Allees Orleans, 33000 Bordeaux)

Sunday 4/09
* 08h30 – 09h00: Breakfast
* 09h00 – 10h30: [[M10Mosses''' | Peter Mosses ]], [[M10Hermann''' | Christoph Herrmann ]]
* 10h30 – 11h00: Coffee Break
* 11h00 – 12h30: [[M10Kameyama''' | Yukiyoshi Kameyama ]], [[M10Kaestner''' | Christian Kaestner ]]
* 12h30 – 13h30: Buffet Lunch
* 13h30 – 15h00: Discussion: canonical program generation examples for teaching (Ulrik Schultz)
''' 15h00 – 16h00: [[M10Bruneau''' | Julien Bruneau ]], Olivier Danvy: Your Graduate Life in Pictures
* 16h00 – 16h30: Coffee Break
* 16h30 – 18h00: Business Meeting (members only)
* 19h30: Restaurant downtown: Le Bistrot D'Edouard (16 Place Parlement, 33000 Bordeaux)

Monday 5/09
* 08h30 – 09h00: Breakfast
* 09h00 – 10h15: [[M10Kiselyov''' | Oleg Kiselyov (short) ]], [[M10Apel''' | Sven Apel ]]
* 10h15 – 10h45: Coffee Break
* 10h45 – 12h15: [[M10Rayside''' | Derek Rayside ]], [[M10Cook''' | William Cook ]]
* 12h15 – 13h15: Buffet Lunch
* 13h15 – 14h45: [[M10Shan''' | Chung-chieh Shan ]], [[M10Smaragdakis''' | Yannis Smaragdakis ]]
* 14h45 – 15h15: Coffee Break
''' 15h15 – 16h15: [[M10Consel''' | Home Automation Lab Demo (Charles Consel) ]]

Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.

← Older revision		Revision as of 12:56, 20 December 2011
Line 28:		Line 28:
	[[WG211/M10Schultz \| Title of the Talk ]] Ulrik Schultz		[[WG211/M10Schultz \| Title of the Talk ]] Ulrik Schultz

	Talks:		Talks:<br>
	[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel<br>		*[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel<br>
	[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau<br>		*[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau<br>
	[[WG211/M10Cook \| Enso ]] William Cook<br>		*[[WG211/M10Cook \| Enso ]] William Cook<br>
	[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br>		*[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br>
	[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre<br>		*[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre<br>
	[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br>		*[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br>
	[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann<br>		*[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann<br>
	[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama<br>		*[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama<br>
	[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin<br>		*[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin<br>
	[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner<br>		*[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner<br>
	[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly<br>		*[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly<br>
	[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov<br>		*[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov<br>
	[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall<br>		*[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall<br>
	[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>		*[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>
	[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>		*[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>
	[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer<br>		*[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer<br>
	[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan<br>		*[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan<br>
	[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek<br>		*[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek<br>
	[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis<br>		*[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis<br>
	[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju<br>		*[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju<br>
	[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser<br>		*[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser<br>

	Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel		Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel
Line 58:		Line 58:
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 09h20: Welcome		* 09h00 – 09h20: Welcome
	* 09h20 – 10h40: [[M10Hammond \| Kevin Hammond ]], [[M10Kamin~~'''~~ \| Sam Kamin ]]		* 09h20 – 10h40: [[WG211/M10Hammond \| Kevin Hammond ]], [[WG211/M10Kamin \| Sam Kamin ]]
	* 10h40 – 11h10: Coffee		* 10h40 – 11h10: Coffee
	* 11h10 – 12h30: [[M10Doerre~~'''~~ \| Jens Doerre ]], [[M10Schaefer~~'''~~ \| Ina Schaefer ]]		* 11h10 – 12h30: [[WG211/M10Doerre \| Jens Doerre ]], [[WG211/M10Schaefer \| Ina Schaefer ]]
	* 12h30 – 13h30: Buffet Lunch		* 12h30 – 13h30: Buffet Lunch
	~~'''~~ 13h30 – 15h30: [[M10Siek~~'''~~ \| Jeremy Siek ]], [[M10Vinju~~'''~~ \| Jurgen Vinju ]], [[M10Kelly~~'''~~ \| Paul Kelly ]]		* 13h30 – 15h30: [[WG211/M10Siek \| Jeremy Siek ]], [[WG211/M10Vinju \| Jurgen Vinju ]], [[WG211/M10Kelly \| Paul Kelly ]]
	* 16h00 – 16:20: Coffee Break		* 16h00 – 16:20: Coffee Break
	~~'''~~ 16h20 – 18h30: [[M10Visser~~'''~~ \| Eelco Visser ]], [[M10Danvy~~'''~~ \| Olivier Danvy ]], [[M10Lawall~~'''~~ \| Julia Lawall ]]		* 16h20 – 18h30: [[WG211/M10Visser \| Eelco Visser ]], [[WG211/M10Danvy \| Olivier Danvy ]], [[WG211/M10Lawall \| Julia Lawall ]]
	* 19h30: Restaurant downtown: La Belle Epoque (2 Allees Orleans, 33000 Bordeaux)		* 19h30: Restaurant downtown: La Belle Epoque (2 Allees Orleans, 33000 Bordeaux)

	Sunday 4/09		Sunday 4/09
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 10h30: [[M10Mosses~~'''~~ \| Peter Mosses ]], [[M10Hermann~~'''~~ \| Christoph Herrmann ]]		* 09h00 – 10h30: [[WG211/M10Mosses \| Peter Mosses ]], [[WG211/M10Hermann \| Christoph Herrmann ]]
	* 10h30 – 11h00: Coffee Break		* 10h30 – 11h00: Coffee Break
	* 11h00 – 12h30: [[M10Kameyama~~'''~~ \| Yukiyoshi Kameyama ]], [[M10Kaestner~~'''~~ \| Christian Kaestner ]]		* 11h00 – 12h30: [[WG211/M10Kameyama \| Yukiyoshi Kameyama ]], [[WG211/M10Kaestner \| Christian Kaestner ]]
	* 12h30 – 13h30: Buffet Lunch		* 12h30 – 13h30: Buffet Lunch
	* 13h30 – 15h00: Discussion: canonical program generation examples for teaching (Ulrik Schultz)		* 13h30 – 15h00: Discussion: canonical program generation examples for teaching (Ulrik Schultz)
	~~'''~~ 15h00 – 16h00: [[M10Bruneau~~'''~~ \| Julien Bruneau ]], Olivier Danvy: Your Graduate Life in Pictures		* 15h00 – 16h00: [[WG211/M10Bruneau \| Julien Bruneau ]], Olivier Danvy: Your Graduate Life in Pictures
	* 16h00 – 16h30: Coffee Break		* 16h00 – 16h30: Coffee Break
	* 16h30 – 18h00: Business Meeting (members only)		* 16h30 – 18h00: Business Meeting (members only)
Line 81:		Line 81:
	Monday 5/09		Monday 5/09
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 10h15: [[M10Kiselyov~~'''~~ \| Oleg Kiselyov (short) ]], [[M10Apel~~'''~~ \| Sven Apel ]]		* 09h00 – 10h15: [[WG211/M10Kiselyov \| Oleg Kiselyov (short) ]], [[WG211/M10Apel \| Sven Apel ]]
	* 10h15 – 10h45: Coffee Break		* 10h15 – 10h45: Coffee Break
	* 10h45 – 12h15: [[M10Rayside~~'''~~ \| Derek Rayside ]], [[M10Cook~~'''~~ \| William Cook ]]		* 10h45 – 12h15: [[WG211/M10Rayside \| Derek Rayside ]], [[WG211/M10Cook \| William Cook ]]
	* 12h15 – 13h15: Buffet Lunch		* 12h15 – 13h15: Buffet Lunch
	* 13h15 – 14h45: [[M10Shan~~'''~~ \| Chung-chieh Shan ]], [[M10Smaragdakis~~'''~~ \| Yannis Smaragdakis ]]		* 13h15 – 14h45: [[WG211/M10Shan \| Chung-chieh Shan ]], [[WG211/M10Smaragdakis \| Yannis Smaragdakis ]]
	* 14h45 – 15h15: Coffee Break		* 14h45 – 15h15: Coffee Break
	~~'''~~ 15h15 – 16h15: [[~~M10Consel'''~~ \| Home Automation Lab Demo (Charles Consel) ]]		* 15h15 – 16h15: [[M10ConselWG211/ \| Home Automation Lab Demo (Charles Consel) ]]

	Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.		Tickets are provided for public transportation, valid during the WG meeting and the DSL conference.

← Older revision		Revision as of 12:48, 20 December 2011
Line 29:		Line 29:

	Talks:		Talks:
	[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel		[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel<br>
	[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau		[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau<br>
	[[WG211/M10Cook \| Enso ]] William Cook		[[WG211/M10Cook \| Enso ]] William Cook<br>
	[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy		[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy<br>
	[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre		[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre<br>
	[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond		[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br>
	[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann		[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann<br>
	[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama		[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama<br>
	[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin		[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin<br>
	[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner		[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner<br>
	[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly		[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly<br>
	[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov		[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov<br>
	[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall		[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall<br>
	[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses		[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>
	[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside		[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>
	[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer		[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer<br>
	[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan		[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan<br>
	[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek		[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek<br>
	[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis		[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis<br>
	[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju		[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju<br>
	[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser		[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser<br>

	Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel		Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel

← Older revision		Revision as of 12:47, 20 December 2011
Line 26:		Line 26:

	If you are giving a talk, email Ulrik the title and the abstract. Alternatively, if you have access to the wiki, add it yourself using the following template:		If you are giving a talk, email Ulrik the title and the abstract. Alternatively, if you have access to the wiki, add it yourself using the following template:
	~~'''~~ [[M10Schultz~~'''~~ \| Title of the Talk ]] Ulrik Schultz		[[WG211/M10Schultz \| Title of the Talk ]] Ulrik Schultz

	Talks:		Talks:
	~~'''~~ [[M10Apel~~'''~~ \| Combining and Unifying Product-Line Analyses ]] Sven Apel		[[WG211/M10Apel \| Combining and Unifying Product-Line Analyses ]] Sven Apel
	~~'''~~ [[M10Bruneau~~'''~~ \| Formalized generation of programming frameworks ]] Julien Bruneau		[[WG211/M10Bruneau \| Formalized generation of programming frameworks ]] Julien Bruneau
	~~'''~~ [[M10Cook~~'''~~ \| Enso ]] William Cook		[[WG211/M10Cook \| Enso ]] William Cook
	~~'''~~ [[M10Danvy~~'''~~ \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy		[[WG211/M10Danvy \| On Leftmost Outermost Disjunctive Normalization ]] Olivier Danvy
	~~'''~~ [[M10Doerre~~'''~~ \| Typing MapReduce ]] Jens Doerre		[[WG211/M10Doerre \| Typing MapReduce ]] Jens Doerre
	~~'''~~ [[M10Hammond~~'''~~ \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond		[[WG211/M10Hammond \| ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond
	~~'''~~ [[M10Hermann~~'''~~ \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann		[[WG211/M10Hermann \| Multi-Level DSLs with a co-design of code generation and analysis/verification ]] Christoph Herrmann
	~~'''~~ [[M10Kameyama~~'''~~ \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama		[[WG211/M10Kameyama \| Staging, Effects, and Polymorphism ]] Yukiyoshi Kameyama
	~~'''~~ [[M10Kamin~~'''~~ \| Run-time specialization for matrix multiplication ]] Sam Kamin		[[WG211/M10Kamin \| Run-time specialization for matrix multiplication ]] Sam Kamin
	~~'''~~ [[M10Kaestner~~'''~~ \| A Variability-Aware Module System ]] Christian Kaestner		[[WG211/M10Kaestner \| A Variability-Aware Module System ]] Christian Kaestner
	~~'''~~ [[M10Kelly~~'''~~ \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly		[[WG211/M10Kelly \| Using DSLs to open expand the parallel code synthesis design space ]] Paul Kelly
	~~'''~~ [[M10Kiselyov~~'''~~ \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov		[[WG211/M10Kiselyov \| Computational Effects across Generated Binders, Part 1: Problems and solutions ]] Oleg Kiselyov
	~~'''~~ [[M10Lawall~~'''~~ \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall		[[WG211/M10Lawall \| Finding Resource-Release Omission Faults in Linux ]] Julia Lawall
	~~'''~~ [[M10Mosses~~'''~~ \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses		[[WG211/M10Mosses \| PLanCompS: Programming Language Components and Specifications ]] Peter Mosses
	~~'''~~ [[M10Rayside~~'''~~ \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside		[[WG211/M10Rayside \| Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside
	~~'''~~ [[M10Schaefer~~'''~~ \| Deductive Verification of Software Product Lines ]] Ina Schaefer		[[WG211/M10Schaefer \| Deductive Verification of Software Product Lines ]] Ina Schaefer
	~~'''~~ [[M10Shan~~'''~~ \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan		[[WG211/M10Shan \| Computational Effects across Generated Binders, Part 2: Enforcing lexical scope ]] Chung-chieh Shan
	~~'''~~ [[M10Siek~~'''~~ \| Composing DSLs ]] Jeremy Siek		[[WG211/M10Siek \| Composing DSLs ]] Jeremy Siek
	~~'''~~ [[M10Smaragdakis~~'''~~ \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis		[[WG211/M10Smaragdakis \| Template Systems for Languages of the Future, Part III: Variance ]] Yannis Smaragdakis
	~~'''~~ [[M10Vinju~~'''~~ \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju		[[WG211/M10Vinju \| Separation and integration of concerns in meta programming; the Rascal perspective ]] Jurgen Vinju
	~~'''~~ [[M10Visser~~'''~~ \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser		[[WG211/M10Visser \| Declaratively Programming the Mobile Web with Mobl ]] Eelco Visser

	Demo: [[M10Consel* \| Home Automation Lab ]] Charles Consel		Demo: [[WG211/M10Consel \| Home Automation Lab ]] Charles Consel

	Overall schedule (still tentative, will be finalized Tuesday August 23rd):		Overall schedule (still tentative, will be finalized Tuesday August 23rd):
Line 58:		Line 58:
	* 08h30 – 09h00: Breakfast		* 08h30 – 09h00: Breakfast
	* 09h00 – 09h20: Welcome		* 09h00 – 09h20: Welcome
	* 09h20 – 10h40: [[M10Hammond~~'''~~ \| Kevin Hammond ]], [[M10Kamin''' \| Sam Kamin ]]		* 09h20 – 10h40: [[M10Hammond \| Kevin Hammond ]], [[M10Kamin''' \| Sam Kamin ]]
	* 10h40 – 11h10: Coffee		* 10h40 – 11h10: Coffee
	* 11h10 – 12h30: [[M10Doerre''' \| Jens Doerre ]], [[M10Schaefer''' \| Ina Schaefer ]]		* 11h10 – 12h30: [[M10Doerre''' \| Jens Doerre ]], [[M10Schaefer''' \| Ina Schaefer ]]