Joint work with Chris Brown, Susmit Sarker, Adam Barwell and Simon Thompson. More details TBA.

WG211/M21Schedule

2022-08-10T23:41:42Z

Edwin: /* Talks */

=IFIP Working Group 2.11, Twenty-first Meeting=

== August 15th-18th in Odense, Denmark ==

The meeting will be held in Odense, Denmark, hosted by Ulrik Pagh Schultz.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

=== Venue ===

The meeting will take place at the main campus of the [https://www.sdu.dk University of Southern Denmark] located in the city of Odense, in the meeting room [https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/560156db423b7e2140a27614 Ellehammer] which is in the main building of [https://goo.gl/maps/zVR7MU66e7yxjBca9 The Faculty of Engineering] (building 42).

To get to the main campus there is both a city bus and a tram ("letbane") that leaves from the city center/train station and stops at the university. Both have frequent departures morning and afternoon, and operate most of the day. The tram is easier to use and takes you precisely where you need to go, so this is the recommended option.
* For the tram, when starting in the city center you should take it in the direction "Hjallese" (there is only a single line, so provided you go in the right direction, you're fine). The stop named "SDU University" is closest to the meeting room. From there walk up the stairs and enter the building, then turn right and keep walking in the same direction, using bridges to cross between buildings (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). When you cannot get any further in the same direction, you will basically need to get one level up, and then you will be at Ellehammer. There will be signs at this point showing you which way to go, but basically just turn right and use the stairway that you can find on your left.
* For the bus you simply get off at the the university, which will usually be the terminus. From there it takes 5 minutes to walk to the meeting room (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). Enter through the main entrance as indicated on the map, and walk up the huge orange stairs, turn right, and you will be at Ellehammer.
* You can also walk from the city center, it's a safe walking area and google maps provides useful pedestrian instructions.
Call or text Ulrik on +4540797629 if you need help.

There are a number of options for tickets:
* Plain old paper tickets: Tickets can be purchased at the train station and in the university bookstore.
* Rejsekort: you can use a pre-paid card [https://www.rejsekort.dk/?sc_lang=en "Rejsekort"] that works with all Danish publish transportation and can be bought at train stations (the [https://www.rejsekort.dk/Bestil/Rejsekort-anonymt "Anonymous" version]).
* The [https://www.fynbus.dk/?lang=29 FynBus mobile phone app].
* Online ticket from the [https://webshop.fynbus.dk FynBus webshop].
The cheapest option seems to be the 72-hour tourist ticket plus a 24-hour tourist ticket. When using the "Rejsekort" on the Odense tram each ticket costs DKK 18 (so make sure to pre-load it with at least 36 DKK before starting out in the morning), whereas it costs DKK 24 with the app. You don't need to show your tickets when using the tram, but should be able to show it on request. You can read more about tickets for the tramway at the official website [https://www.odenseletbane.dk/billetter/tickets-and-travel-info-in-english Odense Letbane]. With the "Rejsekort" you need to check in/check out yourself, read more about it at the [https://www.rejsekort.dk/en/Hjaelp/Kom-godt-i-gang Rejsekort website].

=== Travel ===

The easiest way to travel to Odense is via Copenhagen International Airport. From the airport a 2-hour direct train ride will take you to the center of Odense, with hotels located within walking distance from the train station.

Tickets can be bought from vending machines at the airport, or you can use the aforementioned "Rejsekort" if you have enough money on it (at least DKK 300 if you want to use it for the trip to Odense). You can also buy a ticked in advance at [https://www.dsb.dk/en/ dsb.dk], use "CPH lufthavn" as starting point and "Odense St." as destination. Reserved seats are optional but are definitely recommended in rush hour e.g. Monday morning. There is also an app "DSB" (iPhone, android), where you can buy tickets electronically. If you buy a ticked well in advance for non-rush-hour times, you can get "Orange" tickets which are significantly cheaper but cannot be refunded or changed, or sometimes "Orange Fri" which are also cheaper and can be freely changed up to 30 minutes before departure. Rather than buying combined return ticket, you are recommended to buy separate tickets (there is no price reduction in buying them as a return ticket, and having two separate tickets means you can cancel one without cancelling the other).

=== Accommodation ===

We recommend that you stay at [https://hotelodeon.dk/en/ Hotel Odeon] in the center of Odense. It's conveniently located within walking distance of the train station, and is right next to a tramway station for direct connection to the university campus. A block of rooms have been reserved, and there is a special rate available if you fill out a form and send it by email to the hotel assistance at University of Southern Denmark, deadline August 1st 2022. (Information has been circulated on the mailing list, contact the organiser or one of the Chairs for additional information.) Note however that the number of room available Sunday-Monday is limited, and are made available on a first-come first-serve basis - alternatives include either finding a room for that night somewhere else in Odense, or staying the night in Copenhagen (we will have a late start Monday so that it's possible to catch the morning train).

=== Registration ===

Registration is on-line and paid via credit card at the registration site [https://event.sdu.dk/wg211 https://event.sdu.dk/wg211] (note: anyone registering from a Danish university is recommended to use the EAN method to pay). The fee is paid in Danish Kroner (DKK) and is roughly equivalent to EUR 383. Deadline for registration is August 8th (but some flexibility is possible, write Ulrik if you need more time).

=== COVID-19 ===

Currently there are no covid-related restrictions in Denmark. The vaccination rate is one of the highest in the world, and the current infection rates are very low. Many studies have indicated that Denmark reached a good balance between restrictions and public safety. Given that Covid-19 so far has been seasonal similar to e.g. the flu, it currently seems unlikely that there will be any covid-related restrictions or issues in Denmark in August.

== Attendance ==

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]

Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reichenbach, Ulrik Pagh Schultz, Thiago Rocha Silva, Satnam Singh, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name:

* Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, Faster ]]
* Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SSA ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]
* Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurrence Functions]]
* Christoph Reichenbach (TBD)
* Walid Taha (details to be announced later)
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]
* Edwin Brady [[WG211/M21Brady | Refactoring for Dependently Typed Languages ]]

We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

== Program / schedule ==

=== Scientific program ===

'''PRELIMINARY PROGRAM, TO BE FINALIZED'''

Monday, August 15:
* 10:00 - 12:00: Welcome and talks (2 talks)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 15:00: Session (2 talks)
* 15:00 - 15:30: Break (cake, coffee)
* 15:30 - 17:00: Session (2 talks)

* 19:00: Dinner at [https://olufbagersgaard.dk/ Oluf Bagers Gård] ([https://g.page/restaurant-oluf-bagers-gaard?share MAP] city center)

Tuesday, August 16:
* 9:00 - 9:45: Session (1 talk)
* 10:00-10:30: Excursion to SDU Industry 4.0 lab
* 10:45-12:15: Session (2 talks)
* 12:15 - 14:15: Lunch in SDU Restaurant
* 14:15 - 15:45: Session (2 talks)
* 16:00 - 17:00: Business Meeting, members only. Note: full remote participation via zoom will be possible.

* 19:00: Dinner at [https://www.nordatlantiskhus.dk/ Nordatlantisk Hus] ([https://g.page/nordatlantiskhus?share MAP] 15-minutes walk from train station)

Wednesday, August 17:
* 8:30 - 12:00: Session (4 talks, half hour break)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 14:15: Talk
* 14:30 - 17:00: Excursion by bus to SDU UAS Labs at Beldringe Airport, bus picks us up on campus and will drop us off at city center.

* 19:15: Dinner at [https://www.sortebrokro.dk/ Sortebro Kro] ([https://g.page/sortebro?share MAP], easily accessible by quick local train ride from Odense St at 18:46 getting off at "Fruens Bøge", Ulrik will guide)

Thursday, August 18:
* 9:00 - 11:45: Session (3 talks, half hour break)
* 11:45 - 13:30: Lunch in SDU Canteen

=== Social events ===

There will be a short visit to the main robotics lab at University of Southern Denmark and an afternoon bus excursion Wednesday afternoon to the Drone Lab located at Hans Christian Andersen Airport.

== Touristy information ==

Odense is the birthplace of Hans Christian Andersen, see [https://www.visitodense.dk Visit Odense] for more information on sights to see in Odense and nearby. When traveling to Odense consider making a stop in Copenhagen. Copenhagen Central Station is easily accessible from the airport, and there are direct trains two times per hour during the day (and evening) from Copenhagen Central Station to Odense. Google Maps is useful for navigating Danish public transportation, but also consider using e.g. [www.rejseplanen.dk https://www.rejseplanen.dk]. An alternative travel route is to fly into Denmark via Billund airport, which is located just next to Legoland. From Billund public transportation to Odense via bus and train takes roughly 90 minutes.

WG211/M21Schedule

2022-08-02T15:31:26Z

Edwin: /* Attendance */

WG211/M21Schedule

2022-07-25T17:10:16Z

Edwin: /* Attendance */

2020-02-14T19:11:26Z

Edwin: /* Scientific program */

=IFIP Working Group 2.11, Twentieth Meeting=

== Febuary 17-20th in Paris, France ==

The meeting will be held in Paris, France, hosted by Julia Lawall.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

=== Venue ===

LIP6, 4 place Jussieu, 75005 Paris

room 25-26/105

When you arrive at the Jussieu metro station (either because you took the metro or on foot), follow everyone else into the university. You will need to open any bags. Make a sharp left, such that you are walking parallel to the street. Enter tower 26. Sometimes the first door you come to does not open. Just walk around the tower to find another door or take the elevator. Go to the first floor (2 flights of stairs). Look for the hallway marked 25-26, and then take the door at the immediate right. The hallway door requires a key. I will monitor it one hour before the meeting starts. If you arrive late, send an email. Eduroam is available.

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu (direction Gare d'Austerlitz). The metro station is actually called Cluny-La Sorbonne, but it can be reached from the St Michel RER station without going outside. This trip can be done with a single ticket (10.30 euros). It takes around 1 hour.

From Orly also takes about an hour, but is less convenient.

From the Gare du Nord, you can also take the RER B line to St Michel and then line 10 to Jussieu. In this case, you just need an ordinary metro ticket.

From the Gare de l'Est, you can take line 7 to Jussieu, with no changes. From the Gare de Lyon, you can walk (around 20 minutes).

=== Accommodation ===

The [https://www.parishotelminerve.com/en/ Hotel Minerve] is suggested. There are other hotels nearby, on the rue des Ecoles or the rue Linne. For other accomodations, consider staying near metro line 10 or metro line 7.

=== Registration ===

The cost of the registration will be 300 euros. The registration site is now open: https://congres.upmc.fr/ifip2020/

The registration fee covers lunch, dinner, and snacks on February 17-19, and snacks on February 20.

== Attendance ==

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]

Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Antoine Mine (Monday and Wednesday), Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name:

* Edwin Brady [[WG211/M20Brady | TBD]]
* Bernd Fischer [[WG211/M20Fischer | TBD]]
* Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting Systems]] (Tuesday anytime please)
* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Yukiyoshi Kameyama [[WG211/M20Kameyama | Language-Integrated Query with Nested Data Structures and Grouping]]
* Paul Kelly [[WG211/M20Kelly | Intermediate representations in DSLs for solving PDEs]]
* Oleg Kiselyov [[WG211/M20Kiselyov | Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems]]
* Geoff Mainland [[WG211/M20Mainland | SPIRAL in Haskell]]
* Antoine Mine: Combinations of Reusable Abstract Domains in the MOPSA Static Analyzer
* Peter Mosses [[WG211/M20Mosses | Modular SOS and static semantics]]
* Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]] (Tuesday anytime or Wednesday before lunch please)
* Christoph Reichenbach [[WG211/M20Reichenbach | Combining Pattern Matching and Datalog in MetaDL]]
* Sven-Bodo Scholz [[WG211/M20Scholz | TBD]]
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Matthew Taylor [[WG211/M20Taylor | Late-bound code generation]] (short talk)
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]
* Jeremy Yallop [[WG211/M20Yallop | Certified Optimisation of Stream Operations Using Heterogeneous Staging]]
* Vadim Zaytsev [[WG211/M20Zaytsev | BabyCOBOL: The Challenge to Program Generation Tool Developers]]

We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

== Program / schedule ==

=== Scientific program ===

Monday, February 17:
* 8:45 - 10:30: Welcome and 2 talks
** 9:00: Jeremy Yallop [[WG211/M20Yallop | Certified Optimisation of Stream Operations Using Heterogeneous Staging]]
** 9:45: Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Christoph Reichenbach [[WG211/M20Reichenbach | Combining Pattern Matching and Datalog in MetaDL]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
* 15:30 - 16:15: Break
* 16:15 - 17:00: 1 talk

Tuesday, February 18:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:15: 2 talks
* 16:30: Excursion

Wednesday, February 19:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
* 15:30 - 16:00: Break
** 16:00 - 17:30: Business Meeting, members only

Thursday, February 20:
* 9:00 - 10:30: 2 talks
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk

=== Social events ===

February 17: Dinner at the [https://www.lafourchette.com/restaurant/le-buisson-ardent/3009?cc=18174-54f Buisson Ardent] (across the street from the meeting location)

February 18: Visit to the [https://www.arts-et-metiers.net/musee/visitor-information CNAM Museum] starting at 4:30pm. 60 rue Réaumur, Metro: Arts-et-Métiers, Réaumur-Sébastopol. Dinner at the [https://villamaasai.fr/ Villa Maasai]. 9 boulevard des Italiens, Metro Richelieu-Druot

February 19: Dinner at the [https://lelouisvins.fr/en Louis Vins] 9 Rue de la Montagne Sainte Geneviève, a short walk from the meeting location

Lunch on February 17-19 will be served at the meeting location.

WG211/M20Schedule

2020-02-12T22:15:49Z

Edwin: /* Talks */

WG211/M20Schedule

2020-02-12T22:14:29Z

Edwin: /* Talks */

WG211/M20Kameyama

2020-02-11T13:57:14Z

2019-06-19T10:14:19Z

Edwin: /* Related events */

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 next meeting will be in Paris, France, February 17-20th 2020. [[WG211/M20Schedule]]'''

==Current Members==
{|
|[http://phoenix.inria.fr/balland Emilie Balland] (FR)
|[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR)
|[http://eb.host.cs.st-andrews.ac.uk/ Edwin Brady] (UK), Vice Chair
|-
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA), Chair
|[http://www.cs.utexas.edu/~wcook/ William R. Cook] (US)
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)
|-
|[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA)
|[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (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.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP)
|[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US)
|-
|[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP)
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)
|[http://okmij.org/ftp/ Oleg Kiselyov] (JP)
|-
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE)
|-
|[https://pdmosses.github.io Peter Mosses] (UK, NL)
|[http://ps.informatik.uni-tuebingen.de/team/ostermann/ Klaus Ostermann] (DE)
|[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH)
|-
|[http://creichen.net/ Christoph Reichenbach] (DE)
|[http://tiarkrompf.github.io/ Tiark Rompf] (US)
|[http://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html Sven-Bodo Scholz] (UK)
|-
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK)
|[http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (US)
|[http://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] (US)
|-
|[http://raintown.org/ Satnam Singh] (US)
|[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU)
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR)
|-
|[https://people.csail.mit.edu/asolar/ Armando Solar-Lezama] (US)
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)
|[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US)
|-
|[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL)
|[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK)
|-
|}

==Past Activity==

* [[WG211/M19Schedule | Nineteenth meeting in Salem, USA ]]
* [[WG211/M18Schedule | Eighteenth meeting in Kyoto, Japan ]]
* [[WG211/M17Schedule | Seventeenth meeting in Koblenz, Germany ]]
* [[WG211/M16Schedule | Sixteenth meeting in Bloomington, Indiana, USA]]
* [[WG211/M15Schedule | Fifteenth meeting in London, England]]
* [[WG211/M14Schedule | Fourteenth meeting in Stellenbosch, South Africa]]
* [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]]
* [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]]
* [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]]
* [[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==
* [https://conf.researchr.org/home/gpce-2019 GPCE 2019] and [https://conf.researchr.org/home/sle-2019 SLE 2019] will be held in Athens as part of [https://2019.splashcon.org/home SPLASH]






==Past members==
A few past members include
{|
|[http://www.infosun.fim.uni-passau.de/cl/staff/apel/ Sven Apel] (DE)
|[http://www.brics.dk/~danvy/ Olivier Danvy] (DK)
|[http://www.msg-systems.com/74.0.html Christoph Herrmann] (DE)
|-
|[http://www-sal.cs.uiuc.edu/~kamin/ Sam Kamin] (US)
|}


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

2019-06-19T10:08:33Z

Edwin: /* Talks */

2012-06-27T07:03:59Z

Edwin: /* 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

===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
* [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden (Monday/Tuesday)
* [[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 Glueck
* [[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
* [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner
* [[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 (Wednesday)
* [[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 (Tuesday/Wednesday)
* [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz
* [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane
* [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk
* [[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
** [[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
** [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk
** [[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
** [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner
* 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
** [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer
* 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
** [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz
* Lunch 12.00-14:00 [Robert’s Cafe, downtown]

File:Idris-wg211.pdf

2012-06-27T07:02:17Z

Edwin: