WG 2.11 - User contributions [en]

WG211/M23Reichenbach

2024-12-01T09:25:23Z

Creichen: WG2.11/M24: Circular reference attribute evaluation

Reference attribute grammars (RAGs) are one mechanism for specifying the (static) semantics of programming languages. Circular attributes extend RAGs with the ability to compute fixpoints. In recent work on using circular attributes for program analysis, we have observed a number of performance limitations of the published analysis algorithms; in this talk, I will describe the state of our current work on improving these algorithms. This presentation is based on our paper [https://doi.org/10.1145/3687997.3695644 Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis] but will attempt to make a more structured argument for the correctness of the algorithm described there.

WG211/M24Schedule

2024-11-29T10:33:31Z

Creichen:

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder. If you want to know anything, please email me. This page is not yet finished, I'll try to add the missing information as soon as possible.

The meeting will last 3.5 days; the first three days (Tues-Thur) will
be full-day whereas the last day (Fri) will be a half-day session.

=== Venue ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ named after the theologian Marcella Althaus-Reid])

New College 
School of Divinity 
The University of Edinburgh 
Central Campus 
1 Mound Place 
Edinburgh EH1 2LU

This is unfortunately '''not''' the School of Informatics, which is about 15 minutes walk south from this venue.

A [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ Google map] with the venue, hotels, and meeting-relevant locations.

==== WiFi Access ====

* '''eduroam.''' If you have eduroam credentials, you may use them to access the eduroam network while at Edinburgh.

* '''guest account.''' If you know that eduroam will not work for you, I can set you up with a guest account. Please indicate that you will definitely need a guest account in your registration form. You can always let me know after registration whether you need one, including during the meeting. Guests must abide by the [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access Visit-Ed service] described in the middle of that page. It requires registration by Facebook, LinkedIn, WhatsApp, or text message (international numbers included).

==== Workspace ====

A quiet area for shared use is available in the [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ Airlink bus] (service 100) runs
between the airport and the city centre, reaching Waverley Bridge
railway station in 25 minutes. The route to and from the airport runs
24 hours a day every 10 minutes approximately during the day.

Most advance hire taxi companies will offer an airport pick-up
service. [https://www.taxis-edinburgh.co.uk/ Here's one], but any will
do. There's also a taxi hailing stand at the airport, follow the signs.

You can also fly into another main UK city and continue to Edinburgh by [[#Train|train]].

==== Train ====

Edinburgh is well-connected to most other main UK cities. There are a
few faster trains from London (about 4h25min) every day. You can use [https://www.nationalrail.co.uk/ National Rail] to plan your trip and link you to the appropriate provider.

I have enjoyed taking the Eurostar from the main continent to London. There is also the [https://www.sleeper.scot/ Caledonian Sleeper] that can get you to Edinburgh or London by 7am very slowly overnight.

=== Travel around Edinburgh ===

Edinburgh is somewhat hilly and the venue is located [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ Lothian buses] operates many of the relevant buses. You can pay contactless with a card or app and there's a capped pay program ('TapTapCap'). Here's the [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf map], but I usually use Google maps for directions.

* Taxis. You can usually just hail a black cab from anywhere in the centre, see their [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ Edinburgh tram] stops fairly close to the venue, so can be an easy way to the venue.

* Uber operates in Edinburgh.

== Accommodation ==

The venue is located quite centrally, with many hotels nearby. Here are some 4-star and 3-star suggestions nearby, but you'll probably find something charming by your own (just watch out for scams). The tram and buses make it easy to also stay somewhere away from the centre and commute in if you prefer.

Hotel suggestions:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ Apex City of Edinburgh Hotel]. Main suggestion, slightly-up-and-steep-downhill from the venue. We have a 10% discount code, which I will email once I have it. '''Note:''' There is a slightly more full Apex hotel on the same street which I listed before, so if you want to be in the suggested hotel, make sure you're in the correct one.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ Scotsman Hotel]. A more expensive option, slightly-up-and-moderate-downhill from the venue.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and in December it will likely be close to zero degrees centrigade, typically above. It will be windy, and potentially rainy, so make sure you dress appropriately. Locals wear waterproof/resistant clothes. Umbrellas tend to be rather useless due to the wind, one typically recognises the tourists by their futile struggles to turn inside-out umbrellas
while getting soaked.

The days are quite short in December, and you might be able to catch
the sunrise heading into the venue in the morning. I recommend
avoiding missing most of the daylight completely, e.g., make sure you go
for a short walk outside during the lunch break.

== Tourism ==

Edinburgh offers many tourist attractions and museums, and many are located centrally and close to the venue. Entrance to museums and galleries is free. Entrance to some exhibitions in the museum or gallery will require buying a separate ticket.

The meeting takes place just after [https://www.visitscotland.com/things-to-do/events/st-andrews-day Saint Andrew's Day] weekend, and Monday will be a public holiday in Scotland.
That should not affect travel, although the airport and railway might be busier than usual.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ free tourism tickets] opens Tuesday 12 November 10am UK time until Thursday 28 November.

If you go to the Castle, try to get there before 1pm to see them fire the Cannon.

Very near the venue is Scott Monument which you can climb, for a fee,
during the day for a stunning view. There will be a German Christmas
Market nearby I believe.

There are several hills within the city and you can easily climb up. The easiest (and closest to the venue) is [https://ewh.org.uk/calton-hill/ Calton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat Arthur's Seat and the Salisbury Crags] are most visible from the centre. It takes about 1.5 hours roundtrip to get to the top. The grass can be slippery after a rain, and people can slip to their death, so wear good shoes and only climb during the day.

You can sometimes take a daytrip on a guided tour to the highlands or a whisky distillery. If you have the time, I recommend spending a few days in the former, and maybe visiting some of the latter.

I'll try to add more stuff here, especially if people send me recommendations or ask questions.

== Registration ==
Please register [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group here].
After you 'Book Event', please choose either:
* '4 Day Attendee' or
* iff you're only attending partially, tick the boxes for the relevant days.

(If you plan to partially attend, please discuss with the Chairs first. I think it's somewhat unusual.)

You'll be prompted for additional details like contact details, allergies and dietary requirements after: adding to basket; proceeding to checkout; registering.

Please let me know if you have any problems. Please let me know if you won't be able to register before Thursday 28 Nov.

== Attendance ==
(Alphabetical by last name please)

* Guillaume Allais
* Nada Amin
* Sandrine Blazy
* Edwin Brady
* Jacques Carette
* Sebastian Erdweg
* Jeremy Gibbons
* Kevin Hammond
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* James McKinna
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Jeremy Yallop

=== Local Observers ===
* Greg Brown
* Justus Matthiesen
* Nachiappan Valliappan
* Robert Wright

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M24Amin | Verified program synthesis ]]
* Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]]
* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Ohad Kammar [[WG211/M24Kammar | Heterogeneous elaborator reflection ]]
* Andras Kovacs [[WG211/M24Kovacs | Runtime code generation with dependent types ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Christoph Reichenbach [[ WG211/M23Reichenbach | Circular Attribute Evaluation in Reference Attribute Grammars ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG211/M24Schedule

2024-10-02T20:48:17Z

Creichen: /* Attendance */

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder. If you want to know anything, please email me. This page is not yet finished, I'll try to add the missing information as soon as possible.

The meeting will last 3.5 days; the first three days (Tues-Thur) will
be full-day whereas the last day (Fri) will be a half-day session.

=== Venue ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ named after the theologian Marcella Althaus-Reid])

New College 
School of Divinity 
The University of Edinburgh 
Central Campus 
1 Mound Place 
Edinburgh EH1 2LU

This is unfortunately '''not''' the School of Informatics, which is about 15 minutes walk south from this venue.

I'll include a Google map soon with the venue, and populate it with other
relevant locations closer to the event.

==== WiFi Access ====

If you have eduroam credentials, you may use them to access the
eduroam network while at Edinburgh.

I'm looking into setting up guest accounts for participants without
eduroam credentials, and will put the information here closer to the date.

==== Workspace ====

A quiet area for shared use is available in the [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ Airlink bus] (service 100) runs
between the airport and the city centre, reaching Waverley Bridge
railway station in 25 minutes. The route to and from the airport runs
24 hours a day every 10 minutes approximately during the day.

Most advance hire taxi companies will offer an airport pick-up
service. [https://www.taxis-edinburgh.co.uk/ Here's one], but any will
do. There's also a taxi hailing stand at the airport, follow the signs.

You can also fly into another main UK city and continue to Edinburgh by [[#Train|train]].

==== Train ====

Edinburgh is well-connected to most other main UK cities. There are a
few faster trains from London (about 4h25min) every day. You can use [https://www.nationalrail.co.uk/ National Rail] to plan your trip and link you to the appropriate provider.

I have enjoyed taking the Eurostar from the main continent to London. There is also the [https://www.sleeper.scot/ Caledonian Sleeper] that can get you to Edinburgh or London by 7am very slowly overnight.

=== Travel around Edinburgh ===

Edinburgh is somewhat hilly and the venue is located [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ Lothian buses] operates many of the relevant buses. You can pay contactless with a card or app and there's a capped pay program ('TapTapCap'). Here's the [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf map], but I usually use Google maps for directions.

* Taxis. You can usually just hail a black cab from anywhere in the centre, see their [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ Edinburgh tram] stops fairly close to the venue, so can be an easy way to the venue.

* Uber operates in Edinburgh.

== Accommodation ==

The venue is located quite centrally, with many hotels nearby. I'll
filter out some 3-star and 4-star suggestions nearby soon, but you'll
probably find somewhere charming by your own (just watch out for scams).
The tram and buses make it easy to also stay somewhere away from the
centre and commute in if you prefer.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and in December it will likely be close to zero degrees centrigade, typically above. It will be windy, and potentially rainy, so make sure you dress appropriately. Locals wear waterproof/resistant clothes. Umbrellas tend to be rather useless due to the wind, one typically recognises the tourists by their futile struggles to turn inside-out umbrellas
while getting soaked.

The days are quite short in December, and you might be able to catch
the sunrise heading into the venue in the morning. I recommend
avoiding missing most of the daylight completely, e.g., make sure you go
for a short walk outside during the lunch break.

== Tourism ==

Edinburgh offers many tourist attractions and museums, and many are located centrally and close to the venue. Entrance to museums and galleries is free. Entrance to some exhibitions in the museum or gallery will require buying a separate ticket.

The meeting takes place just after [https://www.visitscotland.com/things-to-do/events/st-andrews-day Saint Andrew's Day] weekend, and Monday will be a public holiday in Scotland.
That should not affect travel, although the airport and railway might be busier than usual.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ free tourism tickets] opens Tuesday 12 November 10am UK time until Thursday 28 November.

If you go to the Castle, try to get there before 1pm to see them fire the Cannon.

Very near the venue is Scott Monument which you can climb, for a fee,
during the day for a stunning view. There will be a German Christmas
Market nearby I believe.

There are several hills within the city and you can easily climb up. The easiest (and closest to the venue) is [https://ewh.org.uk/calton-hill/ Carlton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat Arthur's Seat and the Salisbury Crags] are most visible from the centre. It takes about 1.5 hours roundtrip to get to the top. The grass can be slippery after a rain, and people can slip to their death, so wear good shoes and only climb during the day.

You can sometimes take a daytrip on a guided tour to the highlands or a whisky distillery. If you have the time, I recommend spending a few days in the former, and maybe visiting some of the latter.

I'll try to add more stuff here, especially if people send me recommendations or ask questions.

== Registration ==

Working on it, I'll put up more details soon.

== Attendance ==
(Alphabetical by last name please)

* Guillaume Allais
* Jacques Carette
* Ohad Kammar
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Christoph Reichenbach
* Tijs van der Storm

=== Local Observers ===

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* <<TBD>>

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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG211/M21Reichenbach

2022-08-11T15:52:59Z

Creichen:

Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on (frontend-level) program analysis. In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses.
The talk is largely based on the following papers:

* Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021)
* Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)

WG211/M21Reichenbach

2022-08-11T15:51:47Z

Creichen: Created page with "Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis. In this talk I will discuss two bug detecti..."

Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis. In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses.
The talk is largely based on the following papers:
- Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021)
- Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)

WG211/M21Schedule

2022-08-11T15:45:08Z

Creichen: CR: Added my tentative title

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

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 ]]
* Edwin Brady [[WG211/M21Brady | Refactoring for Dependently Typed Languages ]]
* 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]]
* Peter Mosses [[WG211/M21Mosses | Using Spoofax to Support Online Code Navigation]]
* Christoph Reichenbach [[WG211/M21Reichenbach | Declarative Views on Bug Detection]]
* Walid Taha (details to be announced later)
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]

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 (Ulrik Pagh Schultz Lundquist)
* 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-05T12:32:02Z

Creichen: Fixed lexicographic ordering of names according to one interpretation of the specification

=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.
Call or text Ulrik on +4540797629 if you need help.

Tickets can be purchased at the train station, but you can also 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]), or the [https://www.fynbus.dk/?lang=29 FynBus mobile phone app]. 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 mobile ticket when using the tram, but should be able to show it on request. You can read more about using 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, Geoff Mainland, Peter Mosses, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Thiago Rocha Silva, Satnam Singh, Eric Van Wyk, 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 ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]

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
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - TBD: Afternoon session

* 19:00: Dinner at Oluf Bagers Gård (city center)

Tuesday, August 16:
* 9:00 - 12:00: Talks
* 12:00 - 14:00: Lunch in SDU Restaurant
* 13:30 - TBD: Afternoon session
* Business Meeting, members only
* Excursion to SDU Industry 4.0 Lab (30 minutes)

* 19:00: Dinner at Nordatlantisk Hus (15-minutes walk from train station)

Wednesday, August 17:
* 9:00 - 12:00: Talks
* 12:00 - 14:00: Lunch in SDU Canteen
* 14:00 - 15:30: Talks
* 15: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:00: Dinner at Sortebro Kro (easily accessible by quick local train ride, Ulrik will guide)

Thursday, August 18:
* 9:00 - 12:00: Talks
* 12:00 - TBD: 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-05-30T19:20:11Z

Creichen: /* Attendance */

Main Page

2020-02-11T16:32:39Z

Creichen: Fixed my country affiliation to SE

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] (SE)
|[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/M20Reichenbach

2020-02-06T07:51:45Z

Creichen: Created page with "Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg Datalog and its relatives have emerged as useful tools for concisely expressing highly efficient program analy..."

Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg

Datalog and its relatives have emerged as useful tools for concisely
expressing highly efficient program analyses. However, to build a
practical program analyses in Datalog today, writing Datalog code
alone is not enough: we must also hand-code "fact extractors" that
translate the source language into database tables that are palatable
to Datalog engines like Soufflé.

MetaDL unifies both of these components by making syntactic patterns
over the source language available within Datalog rules. Our curent
implementation allows us to analyse Datalog within Datalog, but (time
permitting) I will also discuss ongoing work on support for other
languages as well as for program transformation.

WG211/M20Schedule

2020-02-06T07:51:29Z

Creichen:

=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

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu. This 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.

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

* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Bernd Fischer [[WG211/M20Fischer | TBD]]
* Oleg Kiselyov [[WG211/M20Kiselyov | Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems]]
* Antoine Mine: Combinations of Reusable Abstract Domains in the MOPSA Static Analyzer
* 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]]
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]
* 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 ===

TBA

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

2019-11-15T18:35:31Z

Creichen: /* Attendance */

WG211/M18Schedule

2018-05-24T04:45:09Z

Creichen: /* June 4-7, 2018 in Kyoto, Japan. */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.

On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)

* [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]
* [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]
* [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]

=== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
* 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
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.
* Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741

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

Adam Barwell (guest), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, 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.

* Adam Barwell [[WG211/M18Barwell | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]]
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

TBA. Overall schedule:
* Monday start at 9, lunch 12.30-14.00
* Tuesday start at 9, lunch 12.30-14.00
* Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).
* Thursday start at 9

=== 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: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

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

2018-05-22T06:19:25Z

Creichen: Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui..."

Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving guidance in the form of a list of locations in which program behaviour has changed.
In this talk I will present a term-rewriting-based program metamorphosis system for Standard ML with support for datatype migration that exploits congruences between datatypes.

WG211/M18Schedule

2018-05-22T06:03:25Z

Creichen: /* Talks */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.

On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)

* [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]
* [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]
* [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]

=== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
* 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
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 at 10:30 on KL862

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

Adam Barwell (guest), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, 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.

* Adam Barwell [[WG211/M18Barwell | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

TBA. Overall schedule:
* Monday start at 9, lunch 12.30-14.00
* Tuesday start at 9, lunch 12.30-14.00
* Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).
* Thursday start at 9

=== 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: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

=== 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-04-02T19:48:35Z

Creichen: /* Joint trips before/after the meeting */

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

=== 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 expected to be on-par with that of previous events, and will cover all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).

== 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, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane (most likely), 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.

* ...

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

TBA

== Excursion==

TBA

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

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)

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]

=== Jeremy's sento suggestion ===

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 "sento" [http://www.sentoguide.info/etiquette/]

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, 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) called Hana-no-yu はなの湯, one station away from Kyoto Station [http://hanano-yu.jp/].
It's open from 10:00.

WG211/M18Schedule

2018-03-16T15:30:56Z

Creichen:

WG211/M17Schedule

2017-07-21T18:14:48Z

Creichen: Renamed the talk slides

=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, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, 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 | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | Domain-specific optimisation of finite-element integration loops – and what we learned ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stefan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf | (slides) ]]

* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf | (slides) ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend to PQL/Java]] [[Media:WG211-M17-creichen-pql-backend.pdf| (slides) ]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* 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 scheduling of the talks is as follows:

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
** Jacques Carette: Multi-lingual code generation in Drasil
** Yannis Smaragdakis: Stream Fusion, to Completeness
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
** Yukiyoshi Kameyama: Environment Classifiers, Revisited
** Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Friedrich Steimann: Transactional Editing: Giving ACID to Programmers
* 15.00-15.30: Break
* 15.30-16:15: 1 talk
** Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
* 16.50: meet in hotel lobby and start walking at 17:00 to social event

Tuesday July 18:
* 9.00-10.30: 2 talks
** Jeremy Yallop: Staged Generic Programming
** Atsushi Igarashi: Towards gradually typed multi-stage programming
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Nada Amin: Collapsing Towers of Interpreters
** Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Chung-chieh Shan: Inference building blocks
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 17.15: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
** Markus Püschel: Program generation for small linear algebra
** Armando Solar-Lezama: Type system support for template based synthesis
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
** Ulrik Pagh Schultz: Safety as a Programming Language Concept
* 12.30-14.15: Lunch (break)
* 14.15-15.45: 2 talks
** Christoph Reichenbach: Adding an extensible backend to PQL/Java
** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
* 15.45-16:15: Break
* 18:15: meet in lobby to walk or bus to social event
* 18:45: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
** Robert Glück An experiment in ping-pong protocol verification by pushdown automata
** Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
** Ralf Lämmel Systematic comparison of metaprogramming technologies
* 12.00: Lunch

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 4.50-8pm
** meet in hotel lobby at 4.50pm to start walking at 5.00pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 5.15-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; 6.45-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.30-1.30pm
** Lunch in the city center: Restaurant Aubergine (close to the train station)

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

== Excursion==

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

File:WG211-M17-creichen-pql-backend.pdf

2017-07-21T18:13:33Z

Creichen: Christoph Reichenbach, `Adding an Extensible Backend to PQL/Java', WG 2.11 meeting 17 (Koblenz)

Christoph Reichenbach, `Adding an Extensible Backend to PQL/Java', WG 2.11 meeting 17 (Koblenz)

WG211/M17Schedule

2017-07-21T18:11:10Z

Creichen: Added my slides for the talk. (I mislabelled the uploaded file but can't seem to find a way to rename it.)

=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, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, 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 | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | Domain-specific optimisation of finite-element integration loops – and what we learned ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stefan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf | (slides) ]]

* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf | (slides) ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend to PQL/Java]] [[Media:wg2.11-M18-christoph-reichenbach.pdf| (slides) ]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* 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 scheduling of the talks is as follows:

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
** Jacques Carette: Multi-lingual code generation in Drasil
** Yannis Smaragdakis: Stream Fusion, to Completeness
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
** Yukiyoshi Kameyama: Environment Classifiers, Revisited
** Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Friedrich Steimann: Transactional Editing: Giving ACID to Programmers
* 15.00-15.30: Break
* 15.30-16:15: 1 talk
** Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
* 16.50: meet in hotel lobby and start walking at 17:00 to social event

Tuesday July 18:
* 9.00-10.30: 2 talks
** Jeremy Yallop: Staged Generic Programming
** Atsushi Igarashi: Towards gradually typed multi-stage programming
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Nada Amin: Collapsing Towers of Interpreters
** Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Chung-chieh Shan: Inference building blocks
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 17.15: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
** Markus Püschel: Program generation for small linear algebra
** Armando Solar-Lezama: Type system support for template based synthesis
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
** Ulrik Pagh Schultz: Safety as a Programming Language Concept
* 12.30-14.15: Lunch (break)
* 14.15-15.45: 2 talks
** Christoph Reichenbach: Adding an extensible backend to PQL/Java
** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
* 15.45-16:15: Break
* 18:15: meet in lobby to walk or bus to social event
* 18:45: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
** Robert Glück An experiment in ping-pong protocol verification by pushdown automata
** Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
** Ralf Lämmel Systematic comparison of metaprogramming technologies
* 12.00: Lunch

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 4.50-8pm
** meet in hotel lobby at 4.50pm to start walking at 5.00pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 5.15-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; 6.45-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.30-1.30pm
** Lunch in the city center: Restaurant Aubergine (close to the train station)

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

== Excursion==

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

File:Wg2.11-M18-christoph-reichenbach.pdf

2017-07-21T18:07:33Z

Creichen: `Adding an extensible backend to PQL/Java'; Christoph Reichenbach (IFIP WG2.11 meeting 18)

`Adding an extensible backend to PQL/Java'; Christoph Reichenbach (IFIP WG2.11 meeting 18)

WG211/M17Schedule

2017-07-17T04:41:18Z

Creichen: Fixed a grammatical error in my talk's title

=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, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, 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 | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | Domain-specific optimisation of finite-element integration loops – and what we learned ]]
* 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 | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend to PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* 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 scheduling of the talks is as follows:

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
** Jacques Carette: Multi-lingual code generation in Drasil
** Yannis Smaragdakis: Stream Fusion, to Completeness
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
** Yukiyoshi Kameyama: Environment Classifiers, Revisited
** Vadim Zaytsev: Succeeding at Impossible Industrial Projects with Generative Technologies
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Friedrich Steimann: Transactional Editing: Giving ACID to Programmers
* 15.00-15.30: Break
* 15.30-16:15: 1 talk
** Stephan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
* 16.50: meet in hotel lobby and start walking at 17:00 to social event

Tuesday July 18:
* 9.00-10.30: 2 talks
** Jeremy Yallop: Staged Generic Programming
** Atsushi Igarashi: Towards gradually typed multi-stage programming
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Nada Amin: Collapsing Towers of Interpreters
** Bruno C. d. S. Oliveira: Semantic Modularization Techniques in Practice: A TAPL case study
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Chung-chieh Shan: Inference building blocks
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 18.00: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
** Markus Püschel: Program generation for small linear algebra
** Armando Solar-Lezama: Type system support for template based synthesis
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
** Stefan Kronawitter, Christian Lengauer: The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization
** Ulrik Pagh Schultz: Safety as a Programming Language Concept
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
** Christoph Reichenbach: Adding an extensible backend to PQL/Java
* 15.30-17.00: 2 talks
** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
** Kevin Hammond: <<tentative>>
* 17.30: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
** Robert Glück An experiment in ping-pong protocol verification by pushdown automata
** Paul Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
** Ralf Lämmel Systematic comparison of metaprogramming technologies
* 12.00: Lunch

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 4.50-8pm
** meet in hotel lobby at 4.50pm to start walking at 5.00pm
** 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==

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

WG211/M17Reichenbach

2017-07-01T16:19:15Z

Creichen: Created page with "In many data processing tasks, declarative query programming offers substantial benefit over manual data analysis: the query processors found in declarative systems can use po..."

In many data processing tasks, declarative query programming offers substantial benefit over manual data analysis: the query processors found in declarative systems can use powerful algorithms such as query planning to choose high-level execution strategies during compilation.
However, the principal downside of such languages is that their primitives must be carefully curated, to allow the query planner to correctly estimate their overhead. In this talk I explore this challenge in our PQL/Java system.
PQL/Java adds a powerful declarative query language to Java to enable and automatically parallelise queries over the Java heap. In the past, the language has not provided any sup- port for custom user-designed datatypes, as such support requires complex interactions with its query planner and backend.
We examine PQL/Java and its intermediate language in detail and describe a new system that simplifies PQL/Java extensions. This system provides a DSL that permits users to add new primitives with arbitrary Java computations, and new rewriting rules for optimisation.
Our system automatically stages compilation and exploits constant information for dead code elimination and type specialisation. We have re-written our PQL/Java backend in our extension language, enabling dynamic and staged compilation.
We demonstrate the effectiveness of our extension language in several case studies, including the efficient integration of SQL queries, and by analysing the run-time performance of the rewritten prototype backend.

WG211/M17Schedule

2017-07-01T16:16:30Z

Creichen: /* Talks */

=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 (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 | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* 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 | Adding an extensible backend for PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* 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-04-21T10:24:39Z

Creichen: Added myself to the list of attendees and to the list of talks.