WG 2.11 - User contributions [en]

WG211/M18Schedule

2018-05-03T13:01:55Z

Lengauer:

=IFIP Working Group 2.11, Eighteenth Meeting=

This page is, obviously, incomplete. As information is completed group members and visitors will be notified.

== June 4-7, 2018 in Kyoto, Japan. ==

The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.

The meeting will last 3.5 days; the first three days (June 4-6) will be full-day, whereas the last day (June 7) will be a half-day session.

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ Kansai International Airport], located south of Osaka, is the natural access route to Kyoto. From there you can reach Kyoto Station in 1 hour 15 minutes, using the Limited Express HARUKA (runs twice an hour). Another option is to use a shared taxi (shuttle), which you should book in advance, operated either by Yasaka Taxi or MK Taxi.
You can also fly first to Narita International Airport or Haneda International Airport in Tokyo, and then connect to [https://www.osaka-airport.co.jp/en/ Osaka Airport (ITM)] from which you can take a limousine bus or a shared taxi to Kyoto. (If you are a train fan, it may be a good idea to take Shinkansen (superexpress train) from Tokyo to Kyoto, although it's an expensive choice.) [http://www.centrair.jp/en/ The Central Japan International Airport], nearby Nagoya, provides an alternative access route. The Mu-Sky limited express to Nagoya runs every 30mn (and takes 30mn), and from there to Kyoto is just 35mn by Shinkansen (albeit a bit expensive).

The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.

You can check timetables for trains inside Japan on [https://world.jorudan.co.jp/mln/en/?sub_lang=nosub Jorudan's Norikae-Annai] or on Google Maps.

---- Arrival/Departure

* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
* Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921

=== Accommodation ===

Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/ special booking web site]. If you'd like to book a room for an extra stay before/after the meeting, please contact Nippon Travel Agency Co., Ltd. (The contact email address is in the booking web site.) Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].

=== Registration ===

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
At [https://va.apollon.nta.co.jp/wg211/ the registration site], there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk

== 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, following the template below.

* ...

(What template???)

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

* Monday 4 June;
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
* Tuesday 5 June;
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
* Wednesday 6 June; 1pm-
** Excursion (see below)
** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)
* Thursday 7 June;
** Lunch (details TBD)

Social events are covered by the registration fee except the lunch on Thursday.

== Excursion==

* The bus leaves Kyoto University at 1pm.
* Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)
* Ride on Sakamoto Cable Railway to the town called Sakamoto (坂本) on Lake Biwa (琵琶湖), the largest lake in Japan. (http://www.sakamoto-cable.jp/utilities/pdf/pamp_en.pdf)
** The longest cable route in Japan
** If the weather is fine, we can expect a nice view over Lake Biwa.
* Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)
** A break with green tea
* Dinner at Kyoto Hotel Okura from 6pm.

== Joint trips before/after the meeting ==

People arriving before the meeting: Ulrik and Christoph (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday), Tony (arriving Saturday evening Osaka).

People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday), Julia (probably staying until Saturday, flying out of Osaka), Kevin (leaving Monday, from Osaka), Christoph (leaving Friday, from Osaka), Jacques (leaving Saturday, from Osaka), Tony (leaving Saturday evening via Osaka).

Places to go: Ken suggests [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] and [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum]

=== Sento ===

Jeremy suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome.

As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

WG211/M18Schedule

2018-01-17T13:05:44Z

Lengauer: /* Attendance */

WG211/M17Schedule

2017-06-28T15:22:59Z

Lengauer:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (at least the first two days), Tony Sloane, Yannis Smaragdakis, Friedrich Steimann, 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, following the template below.

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | TBD]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG2011/M17Kronawitter

2017-06-28T15:22:14Z

Lengauer: Created page with "Many problems in computational science and engineering involve elliptic partial differential equations. Multigrid is presently considered the most efficient method for their s..."

Many problems in computational science and engineering involve elliptic partial differential equations. Multigrid is presently considered the most efficient method for their solution. However, the concrete multigrid algorithm and its implementation depend highly on the underlying problem and hardware.

Project ExaStencils aims at a compiler and underlying code generation framework capable of generating automatically highly parallel and efficient geometric multigrid solvers from an abstract description, while selecting the most performant options for the target platform.

The optimizations required must be able to deal with both compute-bound and bandwidth-bound codes. For the former, a redundancy elimination applied to the body of the loop nest is helpful. Different techniques are implemented in current production compilers. To improve performance further, ExaStencils adds a stencils-specific, compiler-external redundancy elimination, including a loop-carried variant.

An optimization of bandwidth-bound codes benefits from an increase of data locality, for which the polyhedron model for loop transformation is perfect. However, in the domain of stencil codes, existing techniques fail to yield optimal or often even just bearable results. As an alternative, we propose a new, optimized, multi-dimensional polyhedral search space exploration. Along with a set of filters specifically for the domain of stencil codes, the exploration effort can be dramatically reduced without significantly impairing its performance.

WG211/M17Schedule

2017-06-28T15:20:16Z

Lengauer:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (at least the first two days), Tony Sloane, Yannis Smaragdakis, Friedrich Steimann, 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, following the template below.

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Stefan Kronawitter, Christian Lengauer [[ WG2011/M17Kronawitter | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | TBD]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG211/M17Schedule

2017-06-28T15:18:59Z

Lengauer:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (at least the first two days), Tony Sloane, Yannis Smaragdakis, Friedrich Steimann, 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, following the template below.

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Stefan Kronawitter, Christian Lengauer [[ WG2011/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | TBD]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG211/M17Lengauer

2017-06-28T11:37:16Z

Lengauer: Created page with "Title: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization Speakers: Christian Lengauer, Stefan Kronawitter Abstract: Many problems in computational scien..."

Title: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization

Speakers: Christian Lengauer, Stefan Kronawitter

Abstract:

Many problems in computational science and engineering involve elliptic partial differential equations. Multigrid is presently considered the most efficient method for their solution. However, the concrete multigrid algorithm and its implementation depend highly on the underlying problem and hardware.

Project ExaStencils aims at a compiler and underlying code generation framework capable of generating automatically highly parallel and efficient geometric multigrid solvers from an abstract description, while selecting the most performant options for the target platform.

The optimizations required must be able to deal with both compute-bound and bandwidth-bound codes. For the former, a redundancy elimination applied to the body of the loop nest is helpful. Different techniques are implemented in current production compilers. To improve performance further, ExaStencils adds a stencils--specific, compiler-external redundancy elimination, including a loop-carried variant.

An optimization of bandwidth-bound codes benefits from an increase of data locality, for which the polyhedron model for loop transformation is perfect. However, in the domain of stencil codes, existing techniques fail to yield optimal or often even just bearable results. As an alternative, we propose a new, optimized, multi-dimensional polyhedral search space exploration. Along with a set of filters specifically for the domain of stencil codes, the exploration effort can be dramatically reduced without significantly impairing its performance.

WG211/M17Schedule

2017-04-24T10:27:19Z

Lengauer:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Christoph Reichenbach, Ulrik Pagh Schultz, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, Jeremy Yallop.

== 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, following the template below.

* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Christian Lengauer, Stefan Kronawitter [[WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG211/M17Schedule

2017-04-18T08:52:18Z

Lengauer:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Ulrik Pagh Schultz, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, Jeremy Yallop.

== 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, following the template below.

* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG211/M12Lengauer

2013-06-06T18:38:28Z

Lengauer:

Announcement of project ExaStencils in the DFG Priority Programme SPPEXA (Software for Exascale Computing). The goal is to develop a domain-specific, optimizing refinement technology for the development of stencil codes with the potential for exascale performance. See http://www.exastencils.org.

WG211/M12Lengauer

2013-06-06T18:37:35Z

Lengauer: Created page with "Announcement of project ExaStencils in the DFG Priority Programme SPPEXA (Software for Exascale Computing). The goal is to develop a domain-specific, optimizing refinement techno..."

WG211/M12Schedule

2013-06-06T18:35:20Z

Lengauer: /* Talks */

[[Category:WG211]]

=IFIP Working Group 2.11, Twelfth Meeting=

[http://cs.umn.edu/~evw/wg_boat.jpg WG member photo]

==June 3-6, 2013, Minneapolis, USA==

A map of campus with a few (poorly drawn) additions of interest to us can be found [http://cs.umn.edu/~evw/map.jpg here].

=== Travel ===
After flying into Minneapolis-St. Paul airport it is easy to get to the university and the hotel. The easiest, and most expensive, is to take a taxi. This is usually around $25-$30. If you want to share a taxi ride, add your name and time of arrival in the space at the bottom of this page.

Another easy and less expensive way is to use public transportation. The light rail transit system will take you from the airport to downtown Minneapolis where you can take a city bus to campus.
* From baggage claim follow the signs to the LRT. This involves a 30 second tram ride to the station where you will need to purchase a ticket before boarding the train. This ticket is also good for the city bus.
* Go down the escalators and board any train going north. They all go to Minneapolis and signs make it clear which side the trains will be on.
* Ride to the "Downtown East / Metrodome" stop. Stops are announced on the train and there are maps on the train as well. You'll see the Metrodome one your left.
* The bus stop is just a few feet away. Follow some fellow passengers as most will be going there. It is just by the rail line at the very end of the platform as your exit the train and walk to your right. Do not cross the street, busing heading in the wrong direction leave from across the street.
* Your ticket is good on the bus, just show it to the bus driver and he or she will tell you have to run the ticket through the ticket reading device. There is typically a place for luggage at the front of the bus right as your enter.
* Get on a bus numbered 16 or 50. They will make two stops before crossing the Mississippi river. You can exit the bus at any of the next few stops. These stops are the yellow circles in the campus map. The buses only stop at designated stops and only when the yellow cord has been pulled to request a stop. If you get off of the bus on University Avenue (the one with 3 stops shown) and are unsure where exactly you are you can orient yourself by walking in the same direction as traffic until you see the large stadium on your left. Just turn left at any cross street, following the map to the hotel. (A number 3 bus will take you to the circled stop that is not on University Avenue, but will not go to the stops on University Ave.)
* The hotel reportedly offers a free shuttle to anywhere within 5 miles of the hotel. So they will come pick you up at the Metrodome station if you prefer to avoid the city bus. They will also drop you off there on your way home - this make for a simple and cheap way to get back to the airport.

=== Around campus ===
A map of campus with a few (poorly drawn) additions of interest to us can be found above.
* The hotel is incorrectly labeled on this map as "University Hotel". You will see it in yellow.
* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.
* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.

* Eating around campus: ... coming soon ...

===Venue ===
The meeting will be held at University of Minnesota in USA, June 3-6, hosted by Eric Van Wyk. The meeting starts June 3rd in the morning, and ends with a lunch on June 6th. (Note that the meeting was earlier announced as being a day longer, but was reduced in length to be June 3-6.)

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting.
[https://gc.synxis.com/rez.aspx?Hotel=53931&Chain=11910&template=GCF&shell=GCF2&start=availresults&arrive=6/2/2013&depart=6/7/2013&adult=1&child=0&group=060213COMP Follow this link to make reservations for our block of rooms.] Kindly note that this is an external website (synxis.com). The actual web page of the hotel is [http://www.commonshotel.com/ http://www.commonshotel.com/].

Please book your room by '''April 2'''. That is the last date on which we can modify the number of reserved rooms in our contract. Once that happens there will be a few additional rooms that can be reserved in our block, but to be sure of getting a room it is best to book before April 2.

* '''NEW:''' If you want to come a day early or stay a day late (and why not, there are plenty of nice things to do in Minneapolis and the snow will be melted by then...) then you should be able to book those rooms now. If the reservation system does not give you the pre-tax rate of $124 then let me know. It only means that the few rooms that they allocated for those extra nights have been booked, but we can easily get more. I just need to call the hotel to make it happen. -Eric, March 28.

* Coming soon: detailed information about getting to the hotel from the airport. See above now.

===Related events===

[http://www.gpce.org GPCE 2013] submission deadline is June 14, a week after the meeting.

[http://2013.icse-conferences.org/ ICSE 2013] is located in San Francisco two weeks earlier, May 18-26.

===Registration===

Registration is open.
* The registration web page is http://register.cce.umn.edu/Course.pl?sect_key=187328.
* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee in the mornings and afternoons.
* Payment is by credit card. Please contact Eric if you need to pay by some other means.
* At one point the web page says that payment is in "US Dollars drawn on a US bank." Disregard this; it isn't true but it is unfortunately hard-coded into the registration system.

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

Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Ulrik the title and the abstract:

Talks:

* [[WG211/M12Carette | Programming Languages through the Lens of Program Generation]] Jacques Carette
* [[WG211/M12Czarnecki | TBD]] Krzysztof Czarnecki (Tuesday)
* [[WG211/M12Erwig | Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
* [[WG211/M12Fischer | Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
* [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsushi Igarashi
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Lengauer | Advanced Stencil-Code Generation]] Christian Lengauer
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Rhiger | Towards static compilation of dynamic code generation ]] Morten Rhiger
* [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
* [[WG211/M12Schaefer | Engineering Delta Modeling Languages]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
* [[WG211/M12Siek | Linking isn't Substitution]] Jeremy Siek
* [[WG211/M12Singh | Computing without Processors]] Satnam Singh
* [[WG211/M12Smaragdakis | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis
* [[WG211/M12Wyk | Debugging Attribute Grammars]] Eric Van Wyk

Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

===Overall schedule===

The meeting is in the Coffman Union building, we are meeting in the Dale Shepard room on the 4th floor. Instructions on how to get there: see above.

Overall schedule including lunch and dinner arrangements (third revision):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
* 18:25: meet in hotel lobby
* 18:30: take taxis to dinner at [http://www.redstagsupperclub.com/ Red Stagg Supper Club]

Tuesday (6 talks, business meeting)
(On Tuesday only we are meeting in room 303 Coffman Union (the same building as we meet on other days). This room is one floor below the regular one and is basically between the elevators.)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* 18:25: meet in hotel lobby
* 18:30: walk to dinner at [http://loringpastabar.com/ Loring Pasta Bar]. This is marked as "LBP" on the map linked to above.

Wednesday (3 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-11.15: Talks (1)
* Afternoon excursion:
** 11:15: Drop bags at hotel, walk to the boat.
** 11:50: Board the boat.
** 12:00: Boat cruise and lunch
** 13:30: Go to the Mill City Museum
** 14:00: Mill City Museum
** 16:00: Free time to explore the view from Guthrie Theater, walk across the Stone Arch bridge, explore the old mill ruins in the outdoor part of the Mill City Museum. (In nice weather this would be a nice relaxing time.)
** 18:00: Head back to hotel, free time before dinner
* 18:25: meet in hotel lobby to walk to dinner at [http://www.republicmn.com/ Republic].
* 18:30: Walk to dinner

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club

Optional extra excursion: Visit to the Weisman modern art museum that is next door to where we are meeting (it is free).
http://www.weisman.umn.edu/

Talk schedule: As announced on the mailing list, we plan to have a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.
* Ulrik: arriving June 1st 12.45, inclined to train+bus but will share taxi if convenient
* Chris: arriving June 2nd, 18:38 from Atlanta on DL1528, intentions as Ulrik.

=== Sharing a taxi from the university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.
* Robert: dep June 6 15:55, inclined to shuttle+train but will share taxi if convenient
* Julia: dep June 6 15:45, inclined to shuttle+train but will share taxi if convenient

WG211/M12Schedule

2013-05-31T10:14:14Z

Lengauer: /* Sharing a taxi from the airport to the hotel */

[[Category:WG211]]

=IFIP Working Group 2.11, Twelfth Meeting=
==June 3-6, 2013, Minneapolis, USA==

A map of campus with a few (poorly drawn) additions of interest to us can be found [http://cs.umn.edu/~evw/map.jpg here].

=== Travel ===
After flying into Minneapolis-St. Paul airport it is easy to get to the university and the hotel. The easiest, and most expensive, is to take a taxi. This is usually around $25-$30. If you want to share a taxi ride, add your name and time of arrival in the space at the bottom of this page.

Another easy and less expensive way is to use public transportation. The light rail transit system will take you from the airport to downtown Minneapolis where you can take a city bus to campus.
* From baggage claim follow the signs to the LRT. This involves a 30 second tram ride to the station where you will need to purchase a ticket before boarding the train. This ticket is also good for the city bus.
* Go down the escalators and board any train going north. They all go to Minneapolis and signs make it clear which side the trains will be on.
* Ride to the "Downtown East / Metrodome" stop. Stops are announced on the train and there are maps on the train as well. You'll see the Metrodome one your left.
* The bus stop is just a few feet away. Follow some fellow passengers as most will be going there. It is just by the rail line at the very end of the platform as your exit the train and walk to your right. Do not cross the street, busing heading in the wrong direction leave from across the street.
* Your ticket is good on the bus, just show it to the bus driver and he or she will tell you have to run the ticket through the ticket reading device. There is typically a place for luggage at the front of the bus right as your enter.
* Get on a bus numbered 16 or 50. They will make two stops before crossing the Mississippi river. You can exit the bus at any of the next few stops. These stops are the yellow circles in the campus map. The buses only stop at designated stops and only when the yellow cord has been pulled to request a stop. If you get off of the bus on University Avenue (the one with 3 stops shown) and are unsure where exactly you are you can orient yourself by walking in the same direction as traffic until you see the large stadium on your left. Just turn left at any cross street, following the map to the hotel. (A number 3 bus will take you to the circled stop that is not on University Avenue, but will not go to the stops on University Ave.)
* The hotel reportedly offers a free shuttle to anywhere within 5 miles of the hotel. So they will come pick you up at the Metrodome station if you prefer to avoid the city bus. They will also drop you off there on your way home - this make for a simple and cheap way to get back to the airport.

=== Around campus ===
A map of campus with a few (poorly drawn) additions of interest to us can be found above.
* The hotel is incorrectly labeled on this map as "University Hotel". You will see it in yellow.
* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.
* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.

* Eating around campus: ... coming soon ...

===Venue ===
The meeting will be held at University of Minnesota in USA, June 3-6, hosted by Eric Van Wyk. The meeting starts June 3rd in the morning, and ends with a lunch on June 6th. (Note that the meeting was earlier announced as being a day longer, but was reduced in length to be June 3-6.)

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting.
[https://gc.synxis.com/rez.aspx?Hotel=53931&Chain=11910&template=GCF&shell=GCF2&start=availresults&arrive=6/2/2013&depart=6/7/2013&adult=1&child=0&group=060213COMP Follow this link to make reservations for our block of rooms.] Kindly note that this is an external website (synxis.com). The actual web page of the hotel is [http://www.commonshotel.com/ http://www.commonshotel.com/].

Please book your room by '''April 2'''. That is the last date on which we can modify the number of reserved rooms in our contract. Once that happens there will be a few additional rooms that can be reserved in our block, but to be sure of getting a room it is best to book before April 2.

* '''NEW:''' If you want to come a day early or stay a day late (and why not, there are plenty of nice things to do in Minneapolis and the snow will be melted by then...) then you should be able to book those rooms now. If the reservation system does not give you the pre-tax rate of $124 then let me know. It only means that the few rooms that they allocated for those extra nights have been booked, but we can easily get more. I just need to call the hotel to make it happen. -Eric, March 28.

* Coming soon: detailed information about getting to the hotel from the airport. See above now.

===Related events===

[http://www.gpce.org GPCE 2013] submission deadline is June 14, a week after the meeting.

[http://2013.icse-conferences.org/ ICSE 2013] is located in San Francisco two weeks earlier, May 18-26.

===Registration===

Registration is open.
* The registration web page is http://register.cce.umn.edu/Course.pl?sect_key=187328.
* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee in the mornings and afternoons.
* Payment is by credit card. Please contact Eric if you need to pay by some other means.
* At one point the web page says that payment is in "US Dollars drawn on a US bank." Disregard this; it isn't true but it is unfortunately hard-coded into the registration system.

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

Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Ulrik the title and the abstract:

Talks:

* [[WG211/M12Carette | Programming Languages through the Lens of Program Generation]] Jacques Carette
* [[WG211/M12Erwig | Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
* [[WG211/M12Fischer | Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
* [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsishi Igarashi
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Rhiger | Towards static compilation of dynamic code generation ]] Morten Rhiger
* [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
* [[WG211/M12Schaefer | Engineering Delta Modeling Languages]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
* [[WG211/M12Siek | Linking isn't Substitution]] Jeremy Siek
* [[WG211/M12Singh | Computing without Processors]] Satnam Singh
* [[WG211/M12Sloane | Domain-specific Algorithm Analysis]] Tony Sloane
* [[WG211/M12Smaragdakis | Forsaking Inheritance: Supercharged Delegation as a Modular OO Primitive]] Yannis Smaragdakis
* [[WG211/M12Wyk | TBD]] Eric Van Wyk

Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

===Overall schedule===

Overall schedule including lunch and dinner arrangements (second revision):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15.30-17.45: Talks (3)
* 18:30: meet in hotel lobby, take taxis to dinner at [http://www.redstagsupperclub.com/ Red Stagg Supper Club]

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* 18:30- meet in hotel lobby to walk to dinner at [http://loringpastabar.com/ Loring Pasta Bar]. This is marked as "LBP" on the map linked to above.

Wednesday (3 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-11.15: Talks (1)
* Afternoon excursion:
** 11:15: Drop bags at hotel, walk to the boat.
** 11:50: Board the boat.
** 12:00: Boat cruise and lunch
** 13:30: Go to the Mill City Museum
** 14:00: Mill City Museum
** 16:00: Free time to explore the view from Guthrie Theater, walk across the Stone Arch bridge, explore the old mill ruins in the outdoor part of the Mill City Museum. (In nice weather this would be a nice relaxing time.)
** 18:00: Head back to hotel, free time before dinner
* 18:45: Walk to dinner
* 18:30: meet in hotel lobby to walk to dinner at [http://www.republicmn.com/ Republic].

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club

Optional extra excursion: Visit to the Weisman modern art museum that is next door to where we are meeting (it is free).
http://www.weisman.umn.edu/

Talk schedule: As announced on the mailing list, we plan to have a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.
* Ulrik: arriving June 1st 12.45, inclined to train+bus but will share taxi if convenient
* Chris: arriving June 2nd, 18:38 from Atlanta on DL1528, intentions as Ulrik.

=== Sharing a taxi from the university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.