WG 2.11 - User contributions [en]

File:M11slidesBalland.pdf

2012-07-03T08:18:01Z

Emilie:

WG211/M11Schedule

2012-07-03T08:16:16Z

Emilie: /* monday */

[[Category:WG211]]

=IFIP Working Group 2.11, Eleventh Meeting=
==June 25-27, 2012, Halmstad, Sweden==

===Venue and Travel===

The meeting will be held at Halmstad University in Sweden, June 25-27, hosted by Walid Taha. '''Registration and hotel booking deadline: May 7th.''' The meeting starts June 25th in the morning, and ends with a lunch on June 27th.

For accommodation, you are recommended the Hotel Mårtensson. To get a special rate of SEK 928/night including breakfast and VAT, booking '''must''' be made by either by e-mail to malin.nilsson@firsthotels.se or by phoning them, tel: +46 35 17 75 75, as this is a group arrangement. Use the booking code sent to you by email (contact [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]] if you do not have it.) To get this rate, you must book by May 7th, and you should not book through the hotel's web page (but by email, as described above). If you want more information or review other booking options, please see [http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/ http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/].

The official directions for getting to campus can be found [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html here]. To simplify matters, if you are flying in internationally you might find it easiest to fly into Copenhagen (CPH) airport, which is locally known as Kastrup (as on the instructions on the above mentioned page). The best thing about flying into CPH is that you just buy a train ticket and take a train to Halmstad when you arrive. The train leaves from the airport itself. Once in Halmstad, everything is either in walking distance or a short cab ride away. Usually there are cabs at the station, but in case there are none there is a little phone that connects directly to the local taxi company.

Note that CPH is in Denmark, which is a different country. So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That's one transfer and one wait.

===Getting to the venue===

The meeting is in Wigforssalen, Visionen Building, Halmstad University. To get there from one of the hotels, you can either walk or go there by bus. The university is about 1500m from the train station, it takes about 15-20 minutes to walk there from the station, probably 30 minutes from hotel Martenson, along the route indicated in this map [[Media:Map_to_Halmstad_University.pdf]]. When you get to the university, you will see a big sign with the university logo on on the right side. The Visionen house is just behind the tower house within the campus area. Visionen is house "H" on the [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html university map]. The meeting is on the 21st floor of the building, in the room called "Faculty club".

You can also get to the university by bus. Note that buses do not cash, but you can pay with a credit card (or purchase a multi-ride ticket in advance). To catch a bus from hotel Martenson, go to the Osterskans bus terminal which is on the other side of Nissan from Martenson, at the end of Osterbro (go south to the square, then across the bridge). The numbers of the relevant buses are 20 to Fyllinge (every 15 minutes in the morning) and 30 to N Andersberg (every half hour). They stop very close to the university (same stop, "Hogskolan", after about 6 minutes of bus ride, 1 zone of travel). Of course you can take them back to town center too, in this case the bus stop is on the other side of the street outside the university. To get more information on bus traffic, look at [http://www.hallandstrafiken.se/CM.php?PageID=88037 Hallandstrafiken] (they have information in English).

===Related events===

The workshop on Reversible Computing [http://www.reversible-computation.org RC 2012] is located in Copenhagen the week after, July 2-3.

===Registration===

Registration is done using Paypal, deadline is May 7th, and the registration fee is SEK 2500. Link is available in the left-hand column on this page. Registration covers lunch, dinners, coffee breaks, and transportation for an excursion.

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===

Sven Apel (Monday+Tuesday), Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph Herrmann, Jun Inoue, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Ostermann, Morten Rhiger, Ina Schaefer, Sven-Bodo Scholz, Ulrik Schultz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk

Pictures from the meeting: [[https://plus.google.com/u/0/photos/116527648259261444487/albums/5758990205399703857?hl=en album from Walid Taha]]

===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 following the examples below:

Talks:
* [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
* [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland [[Media:M11slidesBalland.pdf | (slides)]]
* [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
* [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady
* [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
* [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
* [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glück [[Media:M11slidesGlueck.pdf | (slides)]]
* [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Gorel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
* [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue [[Media:M11slidesInoue.pdf | (slides)]]
* [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
* [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
* [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Puschel (Monday/Tuesday)
* [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
* [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
* [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser

Overall schedule including lunch and dinner arrangements: [https://docs.google.com/document/pub?id=1uHLkUo7OnGnYsEZP0qUF08FmBJneS5vm3Gxx7Zwk0Rc Overall schedule (google docs)]

Talk schedule (see also overall schedule):

===monday===
* Monday morning 1: 9.00-10.40
** Welcome
** [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland [[Media:M11slidesBalland.pdf | (slides)]]
** [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady [[Media:idris-wg211.pdf | (slides)]]
** [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* Coffee (10:40-11:10)
* Monday morning 2: 11.10-12.10
** [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glueck [[Media:M11slidesGlueck.pdf | (slides)]]
** [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* Lunch (12.10-14.00, Lille Helfvettet)
* Monday afternoon 1: 14.00-15.30
** [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
** [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
** [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Görel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* Coffee (15:30-16:00)
* Monday afternoon 2: 16.00-17.30
** [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
** [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue [[Media:M11slidesInoue.pdf | (slides)]]
** [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* Dinner 19:00 Svarta Örnshuset (The Black Eagle House), uptown

===tuesday===
* Tuesday morning 1: 9.00-10.30
** [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
** [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
** [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Tuesday morning 2: 11.00-12.00
** [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
** [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Püschel
* Lunch 12.00-14:00 Tre Hjärtan (Three Hearts), downtown
* Tuesday afternoon 1: 14.00-15.15
** [[WG211/M11Discussion | Discussion]] (75 minutes)
** (Short break)
* Tuesday afternoon 2: 15.30-16.30
** [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
** [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* Business meeting (members only) 16.45-18.00
* Dinner: 19:00 at Brasserie Cullier, downtown

===wednesday===
* Wednesday morning 1: 9.00-10.30
** [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser
** [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
** [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Wednesday morning 2: 11.00-12.00
** [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
** [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* Lunch 12.00-14:00 [Robert’s Cafe, downtown]

WG211/M11Schedule

2012-07-03T08:15:57Z

Emilie: /* Talks */

[[Category:WG211]]

=IFIP Working Group 2.11, Eleventh Meeting=
==June 25-27, 2012, Halmstad, Sweden==

===Venue and Travel===

The meeting will be held at Halmstad University in Sweden, June 25-27, hosted by Walid Taha. '''Registration and hotel booking deadline: May 7th.''' The meeting starts June 25th in the morning, and ends with a lunch on June 27th.

For accommodation, you are recommended the Hotel Mårtensson. To get a special rate of SEK 928/night including breakfast and VAT, booking '''must''' be made by either by e-mail to malin.nilsson@firsthotels.se or by phoning them, tel: +46 35 17 75 75, as this is a group arrangement. Use the booking code sent to you by email (contact [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]] if you do not have it.) To get this rate, you must book by May 7th, and you should not book through the hotel's web page (but by email, as described above). If you want more information or review other booking options, please see [http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/ http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/].

The official directions for getting to campus can be found [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html here]. To simplify matters, if you are flying in internationally you might find it easiest to fly into Copenhagen (CPH) airport, which is locally known as Kastrup (as on the instructions on the above mentioned page). The best thing about flying into CPH is that you just buy a train ticket and take a train to Halmstad when you arrive. The train leaves from the airport itself. Once in Halmstad, everything is either in walking distance or a short cab ride away. Usually there are cabs at the station, but in case there are none there is a little phone that connects directly to the local taxi company.

Note that CPH is in Denmark, which is a different country. So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That's one transfer and one wait.

===Getting to the venue===

The meeting is in Wigforssalen, Visionen Building, Halmstad University. To get there from one of the hotels, you can either walk or go there by bus. The university is about 1500m from the train station, it takes about 15-20 minutes to walk there from the station, probably 30 minutes from hotel Martenson, along the route indicated in this map [[Media:Map_to_Halmstad_University.pdf]]. When you get to the university, you will see a big sign with the university logo on on the right side. The Visionen house is just behind the tower house within the campus area. Visionen is house "H" on the [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html university map]. The meeting is on the 21st floor of the building, in the room called "Faculty club".

You can also get to the university by bus. Note that buses do not cash, but you can pay with a credit card (or purchase a multi-ride ticket in advance). To catch a bus from hotel Martenson, go to the Osterskans bus terminal which is on the other side of Nissan from Martenson, at the end of Osterbro (go south to the square, then across the bridge). The numbers of the relevant buses are 20 to Fyllinge (every 15 minutes in the morning) and 30 to N Andersberg (every half hour). They stop very close to the university (same stop, "Hogskolan", after about 6 minutes of bus ride, 1 zone of travel). Of course you can take them back to town center too, in this case the bus stop is on the other side of the street outside the university. To get more information on bus traffic, look at [http://www.hallandstrafiken.se/CM.php?PageID=88037 Hallandstrafiken] (they have information in English).

===Related events===

The workshop on Reversible Computing [http://www.reversible-computation.org RC 2012] is located in Copenhagen the week after, July 2-3.

===Registration===

Registration is done using Paypal, deadline is May 7th, and the registration fee is SEK 2500. Link is available in the left-hand column on this page. Registration covers lunch, dinners, coffee breaks, and transportation for an excursion.

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===

Sven Apel (Monday+Tuesday), Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph Herrmann, Jun Inoue, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Ostermann, Morten Rhiger, Ina Schaefer, Sven-Bodo Scholz, Ulrik Schultz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk

Pictures from the meeting: [[https://plus.google.com/u/0/photos/116527648259261444487/albums/5758990205399703857?hl=en album from Walid Taha]]

===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 following the examples below:

Talks:
* [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
* [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland [[Media:M11slidesBalland.pdf | (slides)]]
* [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
* [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady
* [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
* [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
* [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glück [[Media:M11slidesGlueck.pdf | (slides)]]
* [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Gorel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
* [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue [[Media:M11slidesInoue.pdf | (slides)]]
* [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
* [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
* [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Puschel (Monday/Tuesday)
* [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
* [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
* [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser

Overall schedule including lunch and dinner arrangements: [https://docs.google.com/document/pub?id=1uHLkUo7OnGnYsEZP0qUF08FmBJneS5vm3Gxx7Zwk0Rc Overall schedule (google docs)]

Talk schedule (see also overall schedule):

===monday===
* Monday morning 1: 9.00-10.40
** Welcome
** [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland
** [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady [[Media:idris-wg211.pdf | (slides)]]
** [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* Coffee (10:40-11:10)
* Monday morning 2: 11.10-12.10
** [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glueck [[Media:M11slidesGlueck.pdf | (slides)]]
** [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* Lunch (12.10-14.00, Lille Helfvettet)
* Monday afternoon 1: 14.00-15.30
** [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
** [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
** [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Görel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* Coffee (15:30-16:00)
* Monday afternoon 2: 16.00-17.30
** [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
** [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue [[Media:M11slidesInoue.pdf | (slides)]]
** [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* Dinner 19:00 Svarta Örnshuset (The Black Eagle House), uptown

===tuesday===
* Tuesday morning 1: 9.00-10.30
** [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
** [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
** [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Tuesday morning 2: 11.00-12.00
** [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
** [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Püschel
* Lunch 12.00-14:00 Tre Hjärtan (Three Hearts), downtown
* Tuesday afternoon 1: 14.00-15.15
** [[WG211/M11Discussion | Discussion]] (75 minutes)
** (Short break)
* Tuesday afternoon 2: 15.30-16.30
** [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
** [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* Business meeting (members only) 16.45-18.00
* Dinner: 19:00 at Brasserie Cullier, downtown

===wednesday===
* Wednesday morning 1: 9.00-10.30
** [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser
** [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
** [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Wednesday morning 2: 11.00-12.00
** [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
** [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* Lunch 12.00-14:00 [Robert’s Cafe, downtown]

Main Page

2012-07-03T08:15:05Z

Emilie: /* Job openings */

Welcome to the homepage of [http://www.ifip.org/ifiptc2/ IFIP TC-2] working group on Program Generation (WG 2.11)

=Program Generation (WG 2.11)=

Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.

==Current Activity==

''' The eleventh meeting will be in Halmstad, Sweden on June 25-27, 2012.''' See [[WG211/M11Schedule]].

==Current Members==

{|
|[http://www.infosun.fim.uni-passau.de/cl/staff/apel/ Sven Apel] (DE)
|[http://phoenix.inria.fr/balland Emilie Balland] (FR)
|[http://www.cs.st-andrews.ac.uk/~eb/ Edwin Brady] (UK)
|-
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA)
|[http://phoenix.labri.fr/people/consel/ Charles Consel] (FR)
|[http://www.cs.utexas.edu/~wcook/ William R. Cook] (US)
|-
|[http://gsd.uwaterloo.ca/kczarnec Krzysztof Czarnecki] (CA)
|[http://www.brics.dk/~danvy/ Olivier Danvy] (DK)
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)
|-
|[http://www.ecs.soton.ac.uk/people/bf Bernd Fischer] (UK)
|[http://www.diku.dk/~glueck Robert Glück] (DK)
|[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK)
|-
|[http://www.msg-systems.com/74.0.html Christoph Herrmann] (DE)
|[http://www-sal.cs.uiuc.edu/~kamin/ Sam Kamin] (US)
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)
|-
|[http://okmij.org/ftp/ Oleg Kiselyov] (US)
|[http://www.uni-marburg.de/fb12/ps/team/kaestner Christian Kästner] (DE)
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)
|-
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE), Chair
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)
|[http://www.dcs.gla.ac.uk/~jtod/ John O'Donnell] (UK)
|-
|[https://ece.uwaterloo.ca/~drayside/ Derek Rayside] (CA)
|[http://phoenix.labri.fr/people/reveillere/ Laurent Réveillère] (FR)
|[https://www.tu-braunschweig.de/sse/mitarbeiter/schaefer Ina Schaefer] (DE)
|-
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK), Vice Chair
|[http://www.cs.rutgers.edu/~ccshan/ Chung-Chieh Shan] (US)
|[http://web.cecs.pdx.edu/~sheard/ Tim Sheard] (US)
|-
|[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU)
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (US)
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)
|-
|[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL)
|[http://www.cis.upenn.edu/~sweirich/ Stephanie Weirich] (US)
|[http://www-users.cs.umn.edu/~evw/ Eric van Wyk] (US)
|-
|}

==Past Activity==
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]
* [[WG211/M6Schedule | Sixth meeting in Passau]]
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]]
* [[WG211/M4Schedule | Fourth meeting in Portland]]
* [[WG211/M3Schedule | Third meeting at Dagstuhl]]
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]



==Background==

* [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011

* [[Media:aims-2003-09-01.txt | Initial aims ]] of the working group, as submitted to IFIP, September 2003).

* [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2003131 Dagstuhl seminar] that lead directly to the WG 2.11.

==Related events==

* [http://fosd.de/2012 FOSD 2012]: Fourth International Workshop on Feature-Oriented Software Development (FOSD), September 24-25, 2012, Dresden, Germany.
* [http://program-transformation.org/GPCE12 GPCE 2012]: 11th International Conference on Generative Programming and Component Engineering (GPCE'12), September 24-27, 2012, Dresden, Germany
* [http://planet-sl.org/ SLE 2012]: 5th International Conference on Software Language Engineering (SLE), September 25-28, 2012, Dresden, Germany.
* [http://www.cgo.org/cgo2012/index.html CGO 2012]: 2012 International Symposium on Code Generation and Optimization, March 31-April 4, San Jose, California.
* [http://www.reversible-computation.org/2012/ RC 2012]: 4th Workshop on Reversible Computation, July 2nd-3rd, 2012, Copenhagen, Denmark.





==Job openings==


==Mailing list==
* The working group maintains a mailing list for discussions related to program generation. You can subscribe to this list [https://mailman.rice.edu/mailman/listinfo/wg2.11-discussion-l here].

'''Contact information:''' Please direct comments or questions to wg2.11-chair@cs.rice.edu.

Main Page

2012-05-24T13:09:23Z

Emilie: /* Job openings */

Welcome to the homepage of [http://www.ifip.org/ifiptc2/ IFIP TC-2] working group on Program Generation (WG 2.11)

=Program Generation (WG 2.11)=

Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.

==Current Activity==

''' The eleventh meeting will be in Halmstad, Sweden on June 25-27, 2012.''' See [[WG211/M11Schedule]].

==Current Members==

{|
|[http://www.infosun.fim.uni-passau.de/cl/staff/apel/ Sven Apel] (DE)
|[http://www.cs.st-andrews.ac.uk/~eb/ Edwin Brady] (UK)
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA)
|-
|[http://phoenix.labri.fr/people/consel/ Charles Consel] (FR)
|[http://www.cs.utexas.edu/~wcook/ William R. Cook] (US)
|[http://gsd.uwaterloo.ca/kczarnec Krzysztof Czarnecki] (CA)
|-
|[http://www.brics.dk/~danvy/ Olivier Danvy] (DK)
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)
|[http://www.ecs.soton.ac.uk/people/bf Bernd Fischer] (UK)
|-
|[http://www.diku.dk/~glueck Robert Glück] (DK)
|[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK)
|[http://www.msg-systems.com/74.0.html Christoph Herrmann] (DE)
|-
|[http://www-sal.cs.uiuc.edu/~kamin/ Sam Kamin] (US)
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)
|[http://okmij.org/ftp/ Oleg Kiselyov] (US)
|-
|[http://www.uni-marburg.de/fb12/ps/team/kaestner Christian Kästner] (DE)
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE), Chair
|-
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)
|[http://www.dcs.gla.ac.uk/~jtod/ John O'Donnell] (UK)
|[http://phoenix.labri.fr/people/reveillere/ Laurent Réveillère] (FR)
|-
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK), Vice Chair
|[http://www.cs.rutgers.edu/~ccshan/ Chung-Chieh Shan] (US)
|[http://web.cecs.pdx.edu/~sheard/ Tim Sheard] (US)
|-
|[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU)
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (US)
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)
|-
|[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL)
|[http://www.cis.upenn.edu/~sweirich/ Stephanie Weirich] (US)
|[http://www-users.cs.umn.edu/~evw/ Eric van Wyk] (US)
|-
|}

==Past Activity==
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]
* [[WG211/M6Schedule | Sixth meeting in Passau]]
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]]
* [[WG211/M4Schedule | Fourth meeting in Portland]]
* [[WG211/M3Schedule | Third meeting at Dagstuhl]]
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]



==Background==

* [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011

* [[Media:aims-2003-09-01.txt | Initial aims ]] of the working group, as submitted to IFIP, September 2003).

* [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2003131 Dagstuhl seminar] that lead directly to the WG 2.11.

==Related events==

* [http://fosd.de/2012 FOSD 2012]: Fourth International Workshop on Feature-Oriented Software Development (FOSD), September 24-25, 2012, Dresden, Germany.
* [http://program-transformation.org/GPCE12 GPCE 2012]: 11th International Conference on Generative Programming and Component Engineering (GPCE'12), September 24-27, 2012, Dresden, Germany
* [http://planet-sl.org/ SLE 2012]: 5th International Conference on Software Language Engineering (SLE), September 25-28, 2012, Dresden, Germany.
* [http://www.cgo.org/cgo2012/index.html CGO 2012]: 2012 International Symposium on Code Generation and Optimization, March 31-April 4, San Jose, California.
* [http://www.reversible-computation.org/2012/ RC 2012]: 4th Workshop on Reversible Computation, July 2nd-3rd, 2012, Copenhagen, Denmark.





==Job openings==
''' Open position for a PhD thesis at Inria Bordeaux: [[http://phoenix.inria.fr/news/13-thesis/115-new-open-position'''Towards a Development and Verification Methodology Dedicated to the Orchestration of Networked Devices]]


==Mailing list==
* The working group maintains a mailing list for discussions related to program generation. You can subscribe to this list [https://mailman.rice.edu/mailman/listinfo/wg2.11-discussion-l here].

'''Contact information:''' Please direct comments or questions to wg2.11-chair@cs.rice.edu.

WG211/M11Balland

2012-05-24T08:59:39Z

Emilie:

'''Design-driven Development of Dependable Applications: A Case Study in Avionics''' by Emilie Balland

Making an application dependable demands that its functional and
non-functional requirements be stringently fulfilled throughout its
development process. In this context, a design-driven development
approach has the key advantage of enabling requirements to be traced
from their high-level design forms to the resulting executable
artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite]
for the development and verification of dependable Sense/Compute/Control
applications. This approach is applied to a realistic case study in the avionics
domain.

WG211/M11Balland

2012-05-24T08:59:08Z

Emilie: Created page with "'''Design-driven Development of Dependable Applications: A Case Study in Avionics''' by Emilie Balland Making an application dependable demands that its functional and non-funct..."

WG211/M11Schedule

2012-05-24T08:51:34Z

Emilie: