WG 2.11 - User contributions [en]

WG211/M24Blazy

2024-11-27T13:48:13Z

Sandrine:

This talk proposes a mechanized formal semantics for dataflow circuits:
rather than following a static schedule predetermined at generation time,
the execution of the components in a circuit is constrained solely by the availability of their input data.
We model circuit components as abstract computing units,
asynchronously connected with each other through unidirectional,
unbounded FIFO. In contrast to Kahn's classic, denotational semantic
framework, our semantics is operational. It intends to reflect
Dennis' dataflow paradigm with firing, while still formalizing the
observable behaviors of circuits as channels histories.

The components we handle are either stateless or stateful, and may
be non-deterministic. We formalize sufficient conditions to achieve
the determinacy of circuits executions: all possible schedules of
such circuits lead to a unique observable behavior.
We provide two equivalent views for circuits. The first one is a
direct and natural representation as graphs of components. The
second is a core, structured term calculus, which enables
constructing and reasoning about circuits in a inductive way.
We prove that both representations are semantically equivalent.

We conduct our formalization within the Coq proof assistant. We experimentally
validate its relevance by applying our general semantic framework to dataflow circuits
generated with Dynamatic, a recent HLS tool exploiting dataflow circuits to generate dynamically scheduled, elastic circuits.

WG211/M24Blazy

2024-11-27T13:45:51Z

Sandrine:

This talk proposes a mechanized formal semantics for
dataflow circuits: rather than following a static schedule
predetermined at generation time, the execution of the components in
a circuit is constrained solely by the availability of their input
data.
We model circuit components as abstract computing units,
asynchronously connected with each other through unidirectional,
unbounded FIFO. In contrast to Kahn's classic, denotational semantic
framework, our semantics is operational. It intends to reflect
Dennis' dataflow paradigm with firing, while still formalizing the
observable behaviors of circuits as channels histories.

The components we handle are either stateless or stateful, and may
be non-deterministic. We formalize sufficient conditions to achieve
the determinacy of circuits executions: all possible schedules of
such circuits lead to a unique observable behavior.
We provide two equivalent views for circuits. The first one is a
direct and natural representation as graphs of components. The
second is a core, structured term calculus, which enables
constructing and reasoning about circuits in a inductive way.
We prove that both representations are semantically equivalent.

We conduct our formalization within the Coq proof assistant. We experimentally validate its relevance by applying our general semantic framework to dataflow circuits generated with Dynamatic, a recent HLS tool exploiting dataflow circuits to generate dynamically scheduled, elastic circuits.

WG211/M24Blazy

2024-11-27T13:45:22Z

Sandrine: Created page with " This talk proposes a mechanized formal semantics for dataflow circuits: rather than following a static schedule predetermined at generation time, the execution of the com..."

This talk proposes a mechanized formal semantics for
dataflow circuits: rather than following a static schedule
predetermined at generation time, the execution of the components in
a circuit is constrained solely by the availability of their input
data.
We model circuit components as abstract computing units,
asynchronously connected with each other through unidirectional,
unbounded FIFO. In contrast to Kahn's classic, denotational semantic
framework, our semantics is operational. It intends to reflect
Dennis' dataflow paradigm with firing, while still formalizing the
observable behaviors of circuits as channels histories.

The components we handle are either stateless or stateful, and may
be non-deterministic. We formalize sufficient conditions to achieve
the determinacy of circuits executions: all possible schedules of
such circuits lead to a unique observable behavior.
We provide two equivalent views for circuits. The first one is a
direct and natural representation as graphs of components. The
second is a core, structured term calculus, which enables
constructing and reasoning about circuits in a inductive way.
We prove that both representations are semantically equivalent.

We conduct our formalization within the Coq proof assistant. We experimentally validate its relevance by applying our general semantic framework to dataflow circuits generated with Dynamatic, a recent HLS tool exploiting dataflow circuits to generate dynamically scheduled, elastic circuits.

WG211/M24Schedule

2024-11-27T13:42:10Z

Sandrine: /* Talks */

= 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
* James McKinna
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Tijs van der Storm
* Jeremy Yallop

=== Local Observers ===
* 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:

* 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 ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software languages ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]

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-11-27T13:41:15Z

Sandrine: /* Talks */

= 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
* James McKinna
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Tijs van der Storm
* Jeremy Yallop

=== Local Observers ===
* 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:

* Sandrine Blazy [[WG211/M24Brady | 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 ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software languages ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]

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-17T14:31:01Z

Sandrine: /* 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
* Nada Amin
* Sandrine Blazy
* Edwin Brady
* Jacques Carette
* Sebastian Erdweg
* Jeremy Gibbons
* Ohad Kammar
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Tijs van der Storm
* Jeremy Yallop

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

* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]

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/M22Schedule

2023-04-01T16:17:47Z

Sandrine: /* Attendance */

=IFIP Working Group 2.11, Twenty-second Meeting=

== April 3rd–4th 2023 in Delft, The Netherlands ==

The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].

The meeting will last 2 full days; it will be followed by [https://symposium.eelcovisser.org EVCS: Eelco Visser Commemorative Symposium] on April 5th.

=== EVCS: Eelco Visser Commemorative Symposium ===

A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 Eelco Visser] is to be held on April 5th 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.

For further details, see [https://symposium.eelcovisser.org the symposium website].

=== Venue ===

The Twenty-second meeting of WG 2.11 takes place on the campus of
[https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft)
in
[https://map.tudelftcampus.nl '''Building 36''']
located at Mekelweg 4, 2628 CD, Delft.

A co-located [https://languagedesign.org/meetings/Delft2023.html meeting of WG 2.16] takes place on the same days.

==== Meeting rooms ====

The '''WG 2.11''' meetings are in '''Snijderzaal''' (Monday) and '''Timmanzaal''' (Tuesday).

The '''WG 2.16''' meetings are in '''Timmanzaal''' (Monday) and '''Lipkenszaal''' (Tuesday).

The joint talk on Monday afternoon is in Snijderzaal.

The route from the '''Mekelpark bus stop''' to the meeting rooms in '''building 36''' is shown below:
<gallery mode=slideshow>
Delft_36.jpeg|Building 36
Delft_Mekelpark.jpeg|Mekelpark bus stop
Delft_36_entrance.jpeg|Entrance
Delft_36_foyer.jpeg|Foyer
Delft_36_turn.jpeg|Left turn
Delft_36_climb.jpeg|Up one level
Delft_Snijderzaal.jpeg|Snijderzaal
Delft_Lipkenszaal Timmanzaal.jpeg|Lipkens- and Timmanzaal
Delft_Timmanzaal.jpeg|Timmanzaal
</gallery>

==== Lunch room ====

The lunch room is in [https://map.tudelftcampus.nl '''Building 28'''] located at Van Mourik Broekmanweg 6,
2628 XE Delft. The route starts from the ''other'' side of Mekelweg from building 36:
<gallery mode=slideshow>
Delft_28.jpeg|Building 28
Delft_lunch_route_1.jpeg|Under 23
Delft_lunch_route_2.jpeg|Bear right
Delft_lunch_route_3.jpeg|Enter 28
Delft_lunch_room.jpeg|Lunch room
</gallery>

=== Travel ===

==== Getting to Delft ====

The city of Delft is located about halfway between ''The Hague (Den Haag)'' and ''Rotterdam''.

Delft has two '''train stations''':
* The main one '''Delft''' (“Delft Station” on travel planners) has frequent Intercity (IC) connections from Amsterdam, The Hague, Rotterdam, and other Dutch cities.
* The smaller '''Delft Campus''' station has only Sprinter connections – Intercity trains do ''not'' stop there.

You can reach Amsterdam and Rotterdam by '''high-speed trains''' from:
* Germany and Switzerland (''ICE International'' via Utrecht),
* Belgium and France (''Thalys''),
* England (''Eurostar'').

The '''closest airports''' to Delft are '''Schiphol Airport''' (AMS) and '''Rotterdam-The Hague Airport''' (RTM).
* Schiphol Airport has train connections to Delft (usually every 15 minutes, and taking about 40 minutes). Some connections are direct, for others you need to change at Leiden.
* Rotterdam-The Hague Airport has bus connections to Rotterdam.

To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].

For information about car parking, see the [https://www.tudelftcampus.nl/accessibility/ Contact and Accessibility] section on the TU Delft website.

==== In Delft ====

The main '''bus and tram station''' in Delft is next to Delft train station. Bus routes '''40''', '''69''', and '''174''' go from the station directly to the venue. The bus stop to get off at is '''Delft, Mekelpark'''.  The ride takes about 10 minutes.

'''Walking''' to the venue from the main Delft station takes about 30 minutes (2.5 km), and from Delft Campus train station about 15 minutes (1.3 km).

==== Train and bus tickets ====

You may now be able to check in and out using your [https://ovpay.nl/en/frequently-asked-questions#what-payment-methods-can-i-use-to-check-in-and-out contactless debit card, credit card or mobile phone]. That is already possible for all NS trains (for travel in 2nd class). The same goes for *most* bus and tram companies. See the [https://ovpay.nl/en OVpay] website for full details and updates.

You can also use an '''anonymous OV-chipcard''' to travel by all forms of public transportation in The Netherlands. This is a blue-coloured card with no personal details on it, and can therefore be used by anyone (but not for group travel). You can buy an OV-chipcard at the train station at an NS (Dutch Railways) ticketing machine or NS service desk. It can also be bought at large supermarkets (Albert Heijn, Jumbo) or tobacco shops (Primera, Readshop, Bruna). The price is €7.50. It remains valid for 5 years.

The OV-chipcard gives you access to travel in 2nd class. You need a balance of at least €20 to travel by train. You can charge credit on your OV-chipcard at the ticket machines at the train stations and tobacco shops. Once credit has been charged onto your card, you can check in at the designated posts or turnstiles, which are usually located close to or on the platform. Don’t forget to check out once you leave any form of public transport!

In trams and buses you can also buy a paper day-ticket or a single-use, disposable chipcard instead of an anonymous OV-chipcard. For metros you can buy a ticket at the ticket machines near the platform or metro station.

'''Note: Most ticket machines do not accept cash, nor do buses and trams.'''

=== Accommodation ===

We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''Hotel Grand Canal''']. These hotels are conveniently located within 5 minutes walking distance of Delft’s main station, between the station and the university campus.

Other conveniently located hotels in Delft include [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].

=== Registration ===

The registration deadline was on Friday 10 March.

The registration fee covers:
* the group lunches and dinners on Monday 3 and Tuesday 4 April;
* the EVCS lunch and social dinner on the Wednesday 5 April.

=== Excursion ===

Based on the registered interest for an excursion and dinner on Sunday, we have now arranged:

* a '''combined canal and guided walking tour''' in Delft from 15:00 to 17:30, and

* a '''dinner''' from 18:30 to 21:00.

(There was insufficient interest/availability for a Thursday excursion.)

Please see [https://www.aanmelder.nl/excursiondinner here] for further details regarding the locations. Registration for the excursion and/or the dinner has now closed.

The fee is '''25 euro''' for the combined canal and guided walking tour, and '''45 euro''' for the dinner (3-course, incl. 2 drinks). The restaurant doesn’t need advance notice of dietary restrictions.

== Attendance ==

* Sandrine Blazy (I will be absent from the meeting Monday morning.)
* Edwin Brady
* Jacques Carette
* Jesper Cockx
* Sebastijan Dumančić
* Sebastian Erdweg
* Bernd Fischer
* Jeremy Gibbons
* Robert Glück
* Kevin Hammond
* Ohad Kammar
* Paul Kelly
* Julia Lawall
* Ralf Lämmel
* Christian Lengauer
* Ulrik Pagh Schultz Lundquist (arrival Monday afternoon)
* Peter Mosses
* Klaus Ostermann
* Casper Bach Poulsen
* Yannis Smaragdakis
* Friedrich Steimann
* Tijs van der Storm
* Eric Van Wyk
* Jeremy Yallop
* Vadim Zaytsev

== Talks ==

TBA

== Program / schedule ==

=== Schedule and Scientific program ===

==== Monday April 3rd in ''Snijderzaal'' ====

09:00 Talk 1

09:50 Break (10)

10:00 Talk 2

10:50 Coffee Break (50)

11:40 Talk 3

12:30 Walk to lunch location

12:45 Lunch

14:00 '''Joint 2.11/2.16 talk (Martin Odersky)'''

14:50 Break (10)

15:00 Talk 4

15:50 Coffee Break (50)

16:40 Talk 5

17:30 Close

==== Tuesday April 4th in ''Timmanzaal'' ====

09:00 Talk 6

09:50 Break (10)

10:00 Talk 7

10:50 Coffee Break (50)

11:40 Talk 8

12:30 Walk to lunch location

12:45 Lunch

14:00 Talk 9

14:50 Break (10)

15:00 Talk 10

15:50 Coffee Break (10)

16:00 Business meeting

17:30 Close

==== Wednesday April 5th ====

* Eelco Visser Symposium

=== Social events ===

An excursion and dinner on Sunday 2 April have been arranged (see above).

EVCS concludes with a social dinner on Wednesday 5 April.

''For those planning to stay an extra night:'' on Thursday 6 April at 19:30, the Bachkoor Holland with the Concertgebouw Kamerorkest will perform Bach's [https://www.bachkoorholland.nl/agenda/matthaus-passion-2023 St. Matthew Passion in Nieuwe Kerk, Delft]. (The ticket site is only in Dutch: note that the "Rang 3" seats have no view of the podium.)

== Touristic information ==

Delft is known for many things. The first things that would come to mind are '''Delft’s Blue Pottery''', the painter '''Johannes Vermeer''', and the University of Technology. But Delft also played a very important role in history of the '''Dutch Golden Age''' and the reigning of the Dutch royals (House of Orange-Nassau). It is recommended to visit '''Prinsenhof Museum''' for the history of the Dutch royals. Stroll down the city centre to visit the Old and New Churches, where you’ll find the graves of Johannes Vermeer and one of our first leaders: '''Willem of Orange'''.

WG211/M22Schedule

2023-02-13T10:35:19Z

Sandrine: /* Attendance */

=IFIP Working Group 2.11, Twenty-second Meeting=

== April 3rd–4th 2023 in Delft, The Netherlands ==

The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].

The meeting will last 2 full days; it will be followed by [https://symposium.eelcovisser.org EVCS: Eelco Visser Commemorative Symposium] on April 5th.

=== EVCS: Eelco Visser Commemorative Symposium ===

A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 Eelco Visser] is to be held on April 5th 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.

For further details, see https://symposium.eelcovisser.org.

----

'''''This page was last updated on 11 February. '''''

----

=== UPDATED! Venue ===

The Twenty-second meeting of WG 2.11 will take place on the campus of
[https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft)
in
[https://map.tudelftcampus.nl '''Building 36''']
located at Mekelweg 4, 2628 CD, Delft.

The [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium]
(EVCS) will take place in the
[https://www.tudelft.nl/en/x/about-x/our-story '''X Building'''],
located at Mekelweg 8, 2628 CD, Delft
([https://map.tudelftcampus.nl Building 37 on campus]).

=== Travel ===

==== Getting to Delft ====

The city of Delft is located about halfway between ''The Hague (Den Haag)'' and ''Rotterdam''.

Delft has two '''train stations''':
* The main one '''Delft''' (“Delft Station” on travel planners) has frequent Intercity (IC) connections from Amsterdam, The Hague, Rotterdam, and other Dutch cities.
* The smaller '''Delft Campus''' station has only Sprinter connections – Intercity trains do ''not'' stop there.

You can reach Amsterdam and Rotterdam by '''high-speed trains''' from Belgium and France (''Thalys'') and from England (''Eurostar'').

The '''closest airports''' to Delft are '''Schiphol Airport''' (AMS) and '''Rotterdam-The Hague Airport''' (RTM).
* Schiphol Airport has train connections to Delft (usually every 15 minutes). Some connections are direct, for others you need to change at Leiden.
* Rotterdam-The Hague Airport has bus connections to Rotterdam.

To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].

==== UPDATED! In Delft ====

The main '''bus and tram station''' in Delft is next to Delft train station. Bus routes '''40''', '''69''', and '''174''' go from the station directly to the venue. The bus stop to get off at is '''Delft, Mekelpark'''.  The ride takes about 10 minutes.

'''Walking''' to the venue from the main Delft station takes about 30 minutes (2.5 km), and from Delft Campus train station about 15 minutes (1.3 km).

==== UPDATED! Train and bus tickets ====

'''NEW!'''
You may now be able to check in and out using your [https://ovpay.nl/en/frequently-asked-questions#what-payment-methods-can-i-use-to-check-in-and-out contactless debit card, credit card or mobile phone]. That is already possible for all NS trains (for travel in 2nd class). The same goes for *most* bus and tram companies. See the [https://ovpay.nl/en OVpay] website for full details and updates.

You can also use an '''anonymous OV-chipcard''' to travel by all forms of public transportation in The Netherlands. This is a blue-coloured card with no personal details on it, and can therefore be used by anyone (but not for group travel). You can buy an OV-chipcard at the train station at an NS (Dutch Railways) ticketing machine or NS service desk. It can also be bought at large supermarkets (Albert Heijn, Jumbo) or tobacco shops (Primera, Readshop, Bruna). The price is €7.50. It remains valid for 5 years.

The OV-chipcard gives you access to travel in 2nd class. You need a balance of at least €20 to travel by train. You can charge credit on your OV-chipcard at the ticket machines at the train stations and tobacco shops. Once credit has been charged onto your card, you can check in at the designated posts or turnstiles, which are usually located close to or on the platform. Don’t forget to check out once you leave any form of public transport!

In trams and buses you can also buy a paper day-ticket or a single-use, disposable chipcard instead of an anonymous OV-chipcard. For metros you can buy a ticket at the ticket machines near the platform or metro station.

'''Note: Most ticket machines do not accept cash, nor do buses and trams.'''

=== Accommodation ===

We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''Hotel Grand Canal''']. These hotels are conveniently located within 5 minutes walking distance of Delft’s main station, between the station and the university campus.

Other conveniently located hotels in Delft include [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].

=== NEW! Registration ===

WG 2.11 members and invited guests are asked to register for attending the WG meeting together with the Eelco Visser Commemorative Symposium
using the [https://aanmelder.nl/evcs2023 EVCS registration site].

: ''It has been reported that to work properly, the registration site requires JavaScript. Moreover, the payment dialogue doesn’t work when an ad blocker is active.''

'''Registration deadline: Friday March 10th.'''

The registration fee for attending (one or both of) the WG meetings is 200 EUR. This covers:
* the group lunches and dinners on Monday 3 and Tuesday 4 April;
* the EVCS lunch and dinner on the Wednesday 5 April.

''Notes:''
* Please register for the combination of a WG meeting and EVCS. If you have ''already'' registered for attending ''only'' EVCS, please [mailto:p.d.mosses@tudelft.nl inform the organisers by email] ''after'' completing your registration for the WG meeting together with EVCS.
* An excursion on Sunday 2 April (incl. dinner) or Thursday 6 April (incl. a light lunch) may be arranged for a group of 10 or more participants. The fee will depend on the excursion and the number of participants. If sufficiently many express interest in the excursions when registering, the organisers will email those concerned with further details.

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

* Sandrine Blazy (I will be absent from the meeting either Monday morning or Monday afternoon.)
* Edwin Brady
* Jacques Carette
* Jesper Cockx
* Sebastijan Dumančić
* Sebastian Erdweg
* Jeremy Gibbons
* Robert Glück
* Ohad Kammar
* Paul Kelly
* Julia Lawall
* Ralf Lämmel
* Christian Lengauer
* Ulrik Pagh Schultz Lundquist (arrival Monday afternoon)
* Peter Mosses
* Klaus Ostermann
* Casper Bach Poulsen
* Yannis Smaragdakis
* Friedrich Steimann
* Tijs van der Storm
* Eric Van Wyk
* Jeremy Yallop
* Vadim Zaytsev

== Talks ==

TBA

== Program / schedule ==

=== Scientific program ===

Details TBA

Monday April 3rd

Tuesday April 4th

Wednesday April 5th
* Eelco Visser Symposium

=== NEW! Social events ===

EVCS concludes with a social dinner.

An excursion on Sunday 2 April (incl. dinner) or Thursday 6 April (incl. a light lunch) may be arranged for a group of 10 or more participants.

== Touristic information ==

Delft is known for many things. The first things that would come to mind are '''Delft’s Blue Pottery''', the painter '''Johannes Vermeer''', and the University of Technology. But Delft also played a very important role in history of the '''Dutch Golden Age''' and the reigning of the Dutch royals (House of Orange-Nassau). It is recommended to visit '''Prinsenhof Museum''' for the history of the Dutch royals. Stroll down the city centre to visit the Old and New Churches, where you’ll find the graves of Johannes Vermeer and one of our first leaders: '''Willem of Orange'''.

WG211/M22Schedule

2023-02-06T09:53:08Z

Sandrine: /* Attendance */

=IFIP Working Group 2.11, Twenty-second Meeting=

== April 3rd-4th 2023 in Delft, The Netherlands ==

The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].

The meeting will last 2 full days; it will be followed by [https://symposium.eelcovisser.org EVCS: Eelco Visser Commemorative Symposium] on April 5th.

=== EVCS: Eelco Visser Commemorative Symposium ===

A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 Eelco Visser] is to be held on April 5th 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.

For further details, see https://symposium.eelcovisser.org.

----

'''''This page is still being updated.'''''

----

=== Venue ===

The Twenty-second meeting of WG 2.11 will take place on the campus of [https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft) in the [https://www.tudelft.nl/en/x/about-x/our-story '''X Building''']. The [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium] (EVCS) will take place in the same building.

The X Building is located at Mekelweg 8, 2628CD, Delft ([https://map.tudelftcampus.nl Building 37 on campus]).

=== Travel ===

==== Getting to Delft ====

The city of Delft is located about halfway between ''The Hague (Den Haag)'' and ''Rotterdam''.

Delft has two '''train stations''':
* The main one '''Delft''' (“Delft Station” on travel planners) has frequent Intercity (IC) connections from Amsterdam, The Hague, Rotterdam, and other Dutch cities.
* The smaller '''Delft Campus''' station has only Sprinter connections – Intercity trains do ''not'' stop there.

You can reach Amsterdam and Rotterdam by '''high-speed trains''' from Belgium and France (''Thalys'') and from England (''Eurostar'').

The '''closest airports''' to Delft are '''Schiphol Airport''' (AMS) and '''Rotterdam-The Hague Airport''' (RTM).
* Schiphol Airport has train connections to Delft (usually every 15 minutes). Some connections are direct, for others you need to change at Leiden.
* Rotterdam-The Hague Airport has bus connections to Rotterdam.

To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].

==== In Delft ====

The main '''bus and tram station''' in Delft is next to Delft train station. Bus routes '''40''', '''69''', and '''174''' go from the station directly to the venue. The bus stop to get off at is '''Delft, Berlageweg'''.  The ride takes about 10 minutes.

'''Walking''' to the venue from the main Delft station takes about 30 minutes (2.5 km), and from Delft Campus train station about 15 minutes (1.3 km).

==== Train and bus tickets ====

For tourists and short stay visitors it is advised to use an '''anonymous OV-chipcard''', it’s the most common way to travel by all forms of public transportation in The Netherlands. This is a blue-coloured card with no personal details on it, and can therefore be used by anyone (but not for group travel). You can buy an OV-chipcard at the train station at an NS (Dutch Railways) ticketing machine or NS service desk. It can also be bought at large supermarkets (Albert Heijn, Jumbo) or tobacco shops (Primera, Readshop, Bruna). The price is €7.50. It remains valid for 5 years.

The OV-chipcard gives you access to travel in 2nd class. You need a balance of at least €20 to travel by train. You can charge credit on your OV-chipcard at the ticket machines at the train stations and tobacco shops. Once credit has been charged onto your card, you can check in at the designated posts or turnstiles, which are usually located close to or on the platform. Don’t forget to check out once you leave any form of public transport!

In trams and buses you can also buy a paper day-ticket or a single-use, disposable chipcard instead of an anonymous OV-chipcard. For metros you can buy a ticket at the ticket machines near the platform or metro station.

'''Note:''' Most ticket machines do not accept cash, nor do buses and trams.

=== Accommodation ===

We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''Hotel Grand Canal''']. These hotels are conveniently located within 5 minutes walking distance of Delft’s main station, between the station and the university campus.

Blocks of rooms have been reserved at these hotels for WG 2.11 meeting participants, for arrival on '''Sunday 2nd April''' and departure '''Thursday 6th April'''.

''The organiser has now circulated additional information on the WG 2.11 mailing list about booking these rooms.''

'''Booking deadline: Monday 30th January.''' Note: The number of rooms available is limited, and the rooms are made available on a first-come first-served basis. Rooms not booked by the end of January will be released, to avoid potential cancellation charges.

Participants are welcome to book rooms directly – either at the same hotels, or at other hotels in Delft, such as [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].

=== Registration ===

TBA

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

* Sandrine Blazy - to be confirmed (I will not be able to attend the whole workshop)
* Edwin Brady
* Jacques Carette
* Jesper Cockx
* Sebastijan Dumančić
* Sebastian Erdweg
* Robert Glück
* Ohad Kammar
* Paul Kelly
* Julia Lawall
* Ralf Lämmel
* Christian Lengauer
* Ulrik Pagh Schultz Lundquist (arrival Monday afternoon)
* Peter Mosses
* Klaus Ostermann
* Casper Bach Poulsen
* Yannis Smaragdakis
* Friedrich Steimann
* Tijs van der Storm
* Eric Van Wyk
* Jeremy Yallop
* Vadim Zaytsev

== Talks ==

TBA

== Program / schedule ==

=== Scientific program ===

Details TBA

Monday April 3rd

Tuesday April 4th

Wednesday April 5th
* Eelco Visser Symposium

=== Social events ===

TBA

== Touristic information ==

Delft is known for many things. The first things that would come to mind are '''Delft’s Blue Pottery''', the painter '''Johannes Vermeer''', and the University of Technology. But Delft also played a very important role in history of the '''Dutch Golden Age''' and the reigning of the Dutch royals (House of Orange-Nassau). It is recommended to visit '''Prinsenhof Museum''' for the history of the Dutch royals. Stroll down the city centre to visit the Old and New Churches, where you’ll find the graves of Johannes Vermeer and one of our first leaders: '''Willem of Orange'''.

File:WG211 M19 Blazy.pdf

2019-05-01T20:53:43Z

Sandrine:

WG211/M19Schedule

2019-05-01T20:49:51Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Nineteenth Meeting=

[[File:WG211_M19_Group_Photo.jpg|600px|thumb|right|Group Picture]]

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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 be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

We will be in Ballroom A.

=== Travel ===

Travel recommendations (based on mailing list discussion):
* Generic Boston to Salem taxi fare estimated at $60 including tips, add your name below to find people who arrive/leave at similar times and might want to share a ride.
* The commuter rail seems to be running from Chelsea to Salem over the weekend https://www.mbta.com/schedules/CR-Newburyport/timetable?date=2019-04-28&direction_id=0
* The MBTA #459 bus does not run over the weekend, but can be used for transport to the airport https://www.tripadvisor.co.uk/ShowTopic-g60954-i1100-k11774787-Transportation_From_Boston_airport_to_Salem-Salem_Massachusetts.html
* Reports from people travelling to Salem are somewhat mixed - see excerpt at bottom of page.

Flight arrivals and departures:
<blockquote>
{|
!Name
!Arr flight
!Arr time (at BOS)
!Dep flight
!Dep time (at BOS)
!Contact/notes
|-
|Jeremy Gibbons
|BA213
|Sat 13:35
|BA238
|Fri 07:30
|-
|Sandrine Blazy
|AF334
|Sun 15:55
|AF333
|Thu 18:05
|-
|Jacques Carette
|AC7606
|Sun 16:30
|AC527
|Thu 12:20
|-
|Maryam Mehri Dehnavi
|Porter Airlines 941
|Sun 13:30
|(...)
|(...)
|mmehride@cs.toronto.edu, 416-948-2008
|-
|Ulrik Pagh Schultz
|KL6031
|Sun 16:53
|KL6030
|Thu 16:41
|(changed flight)
|-
|Eric Walkingshaw
|AS 30
|Sun 18:00
|UA 8852
|Thu 17:00
|walkiner@oregonstate.edu
|-
|Julia Lawall
|AF 0334
|Sat 15:55
|AF333
|Thu 18:05
|}
</blockquote>

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Edwin Brady,
Jacques Carette (not Thursday),
Maryam Mehri Dehnavi,
Jack Feser,
Franz Franchetti (Monday and Tuesday),
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner (not Thursday),
James Koppel,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan (not Thursday),
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser (not Thursday),
Eric Walkingshaw,
Eric Van Wyk,
Jeremy Yallop.

== Talks ==

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

* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification with Why3 to undergraduate students]] ([[Media:WG211_M19_Blazy.pdf|slides]])
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]] ([[Media:WG211_M19_Franchetti.pdf|slides]])
* Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]] ([[Media:Wg211m19-20190429-edited.pdf|slides]])
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]] ([[Media:WG211_M19_Hammond.pdf|slides]])
* Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
* James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]] ([[Media:WG211_M19_lawall.pdf|slides]])
* Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
* Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]] ([[Media:WG211_M19_ccshan.pdf|slides]])
* Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]] ([[Media:WG211_M19_VanWyk.pdf|slides]])
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]] ([[Media:WG211_M19_Walkingshaw.pdf|slides]])
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]

We will follow our usual format of interactive talks with an active audience, but this time making use of 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 ===

Note that links to slides are provided for some talks in the alphabetical list of talks above.

Monday, April 29:
* 8:45 - 10:30: Welcome and 2 talks
** 9:00: Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
** 9:45: Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
** Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
* 15:30 - 16:15: Break
* 16:15 - 17:30: 1 talk
** Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* 18:30 Dinner at Adriatic Restaurant (155 Washington Street)

Tuesday, April 30:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
** 9:45: Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
** 14:45: Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only
* 18:30 Dinner at Bambolina Restaurant (288 Derby Street)

Wednesday, May 1:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
** 9:45: James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
** 14:45: Armando Solar-Lezama [[WG211/M19Lezama | Generating Core Systems Infrastructure]]
* 17:00 - 19:00: Excursion, The Salem Historical Tours (starts at hotel, ends at restaurant)
* 19:00 Dinner at Opus (87 Washington Street)

Thursday, May 2:
* 9:00 - 10:30: 2 talks
** 9:00: Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
** 9:45: Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
** 11:00: Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* 12:00: Lunch and/or departure

=== Social events ===

The Salem Historical Tours, https://www.salemhistoricaltours.com/
They are going to give a mixed tour of general history and a witch tour (Salem is famous for the Salem Witch Trials). They will pick us up at the hotel at 17:15 (so we meet 17:00 in the lobby), and will drop us off directly at the restaurant.

'''Dinner Locations and Schedule'''

* Monday April 29, 6:30 pm. Adriatic Restaurant, 155 Washington Street, Salem, Ma 01970. T: 978-594-1832
* Tuesday, April 30, 6:30 pm. Bambolina Restaurant, 288 Derby Street, Salem, Ma 01970. T: 978-594-8709
* Wednesday May 1, 7:00 pm. Opus Restaurant, 87 Washington Street, Salem, MA 01970. T: 978-744-9600

== Travel Recommendations ==

People travelling to Salem over the weekend have reported somewhat mixed experiences with the public transportation system, excerpt:

* JL: The commuter rail was substantially less easy than expected. I was expecting something that runs every 5-10 minutes, but actually it runs every 1-2 hours. Theer are trains from Chelsea at 2:40, 4:40 and 5:40 (verify on the the mbta website). From the airport, you take the 33 bus (free) to the blue line (airport T station) and then silver line 3 to the commuter rail at Chelsea. I don't know if one is supposed to pay for the silver line or not. The driver didn't seem very interested when I asked if it was necessary to pay, but other people were using tickets. At Chelsea, the train is just to the right of the bus stop. There is only one platform that says inbound. You wait there and cross the tracks to get to the outbound train. You need to wave at the train to get it to stop. I bought my ticket with the mticket app, so I don't know where or whether the tickets can be bought at the station. Taking a taxi or uber may be a simpler option.

* JG: I asked for directions at the airport information desk - they recommended instead going into the city and catching the commuter train from there. From the airport, take the Silver Line 1 bus to South Station, then the red then orange T lines to North Station, from where it is a short walk to the commuter rail station (underneath TD Garden, a sports stadium). At least there is a ticket office at North Station. Of course, the trains go no more frequently. I understand that the SL1 and T is free all the way to North Station (though in fact I walked from South Station to North Station, to get some daylight).

WG211/M19Blazy

2019-04-29T10:16:58Z

Sandrine: Created page with "I will present a new course on deductive verification with Why3 that I teach to undergraduate students. It will be the opportunity to explain the kind of imperative programs t..."

I will present a new course on deductive verification with Why3 that I teach to undergraduate students. It will be the opportunity to explain the kind of imperative programs that can be automatically proved with Why3, and to make a demo of the Why3 tool.

WG211/M19Schedule

2019-04-29T10:14:50Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Nineteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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 be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

We will be in Ballroom A.

=== Travel ===

Travel recommendations (based on mailing list discussion):
* Generic Boston to Salem taxi fare estimated at $60 including tips, add your name below to find people who arrive/leave at similar times and might want to share a ride.
* The commuter rail seems to be running from Chelsea to Salem over the weekend https://www.mbta.com/schedules/CR-Newburyport/timetable?date=2019-04-28&direction_id=0
* The MBTA #459 bus does not run over the weekend, but can be used for transport to the airport https://www.tripadvisor.co.uk/ShowTopic-g60954-i1100-k11774787-Transportation_From_Boston_airport_to_Salem-Salem_Massachusetts.html
* Reports from people travelling to Salem are somewhat mixed - see excerpt at bottom of page.

Flight arrivals and departures:
<blockquote>
{|
!Name
!Arr flight
!Arr time (at BOS)
!Dep flight
!Dep time (at BOS)
!Contact/notes
|-
|Jeremy Gibbons
|BA213
|Sat 13:35
|BA238
|Fri 07:30
|-
|Sandrine Blazy
|AF334
|Sun 15:55
|AF333
|Thu 18:05
|-
|Jacques Carette
|AC7606
|Sun 16:30
|AC527
|Thu 12:20
|-
|Maryam Mehri Dehnavi
|Porter Airlines 941
|Sun 13:30
|(...)
|(...)
|mmehride@cs.toronto.edu, 416-948-2008
|-
|Ulrik Pagh Schultz
|KL6031
|Sun 16:53
|KL6030
|Thu 16:41
|(changed flight)
|-
|Eric Walkingshaw
|AS 30
|Sun 18:00
|UA 8852
|Thu 17:00
|walkiner@oregonstate.edu
|-
|Julia Lawall
|AF 0334
|Sat 15:55
|AF333
|Thu 18:05
|}
</blockquote>

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Edwin Brady,
Jacques Carette (not Thursday),
Maryam Mehri Dehnavi,
Jack Feser,
Franz Franchetti (Monday and Tuesday),
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner (not Thursday),
James Koppel,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan (not Thursday),
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser (not Thursday),
Eric Walkingshaw,
Eric Van Wyk,
Jeremy Yallop.

== Talks ==

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

* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification with Why3 to undergraduate students]]
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
* Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
* James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]]
* Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
* Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
* Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]

We will follow our usual format of interactive talks with an active audience, but this time making use of 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 ===

The scheduling of the talks will be announced on the first day of the meeting (the speakers of the first session will be informed by email in advance).

Monday, April 29:
* 8:45 - 10:30: Welcome and 2 talks
** 9:00: Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
** 9:45: Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
** Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
* 15:30 - 16:15: Break
* 16:15 - 17:30: 1 talk
** Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* 18:30 Dinner at Adriatic Restaurant

Tuesday, April 30:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
** 9:45: Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
** 14:45: Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only
* 18:30 Dinner at Bambolina Restaurant

Wednesday, May 1:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
** 9:45: James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
** 14:45: Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* 17:00 - 19:00: Excursion, The Salem Historical Tours (starts at hotel, ends at restaurant)
* 19:00 Dinner at Opus

Thursday, May 2:
* 9:00 - 10:30: 2 talks
** 9:00: Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
** 9:45: Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
** 11:00: Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* 12:00: Lunch and/or departure

=== Social events ===

The Salem Historical Tours, https://www.salemhistoricaltours.com/

They are going to give you a mixed tour of general history and a witch tour (Salem is famous for the Salem Witch Trials). They will pick us up at the hotel at 17:15 (so we meet 17:00 in the lobby), and will drop us off directly at the restaurant.

== Travel Recommendations ==

People travelling to Salem over the weekend have reported somewhat mixed experiences with the public transportation system, excerpt:

* JL: The commuter rail was substantially less easy than expected. I was expecting something that runs every 5-10 minutes, but actually it runs every 1-2 hours. Theer are trains from Chelsea at 2:40, 4:40 and 5:40 (verify on the the mbta website). From the airport, you take the 33 bus (free) to the blue line (airport T station) and then silver line 3 to the commuter rail at Chelsea. I don't know if one is supposed to pay for the silver line or not. The driver didn't seem very interested when I asked if it was necessary to pay, but other people were using tickets. At Chelsea, the train is just to the right of the bus stop. There is only one platform that says inbound. You wait there and cross the tracks to get to the outbound train. You need to wave at the train to get it to stop. I bought my ticket with the mticket app, so I don't know where or whether the tickets can be bought at the station. Taking a taxi or uber may be a simpler option.

* JG: I asked for directions at the airport information desk - they recommended instead going into the city and catching the commuter train from there. From the airport, take the Silver Line 1 bus to South Station, then the red then orange T lines to North Station, from where it is a short walk to the commuter rail station (underneath TD Garden, a sports stadium). At least there is a ticket office at North Station. Of course, the trains go no more frequently. I understand that the SL1 and T is free all the way to North Station (though in fact I walked from South Station to North Station, to get some daylight).

WG211/M19Schedule

2019-04-22T19:08:44Z

Sandrine: /* Travel */

WG211/M19Schedule

2019-04-05T07:21:02Z

Sandrine: /* Talks */

WG211/M19Schedule

2019-03-04T10:06:46Z

Sandrine: /* Attendance */

=IFIP Working Group 2.11, Eighteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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 be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

=== Travel ===

Travel recommendations to be announced.

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Nada Amin,
Sandrine Blazy,
Jacques Carette,
Shigeru Chiba,
Maryam Mehri Dehnavi,
Christian Kaestner,
Geoff Mainland,
Ulrik Pagh Schultz,
Armando Solar-Lezama,
Eelco Visser,
Eric Walkingshaw,
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.

* Ulrik Pagh Schultz [[WG211/M19Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* ... (add more, order alphabetically by last name, following same pattern)...

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be announced on the first day of the meeting.

=== Social events ===

To be announced. Social events will in general be covered by the registration fee, details will be available later.

== Excursion==

To be announced.

File:M18Blazy-Slides.pdf

2018-06-10T19:37:34Z

Sandrine:

WG211/M18Schedule

2018-06-10T06:10:11Z

Sandrine: /* 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 G: 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 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto
* 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
* Klaus arr. KIX 03 Jun 2018 08:40AM with AF292

=== 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,
Yukiyoshi Kameyama,
Oleg Kiselyov,
Ralf Lämmel,
Julia Lawall,
Christian Lengauer,
Peter Mosses (not Thursday),
Klaus Ostermann,
Markus Püschel,
Christoph Reichenbach,
Tiark Romph,
Sven-Bodo Scholz,
Ulrik Pagh Schultz,
Chung-chieh Shan,
Satnam Singh,
Tony Sloane,
Kanae Tsushima,
Eric Van Wyk,
Eelco Visser,
Jeremy Yallop

[[File:Example.jpg]]== 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 | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]] [[Media:M18Blazy-Slides.pdf | (slides) ]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
* Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] ([[Media:JG-WG211m18.pdf|slides]])
* 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]]
* Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]] (not on Monday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
* Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
* Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs ]]
* Eelco Visser [[WG211/M18Visser | Declarative Disambiguation of Deep Priority Conflicts ]] ([[Media:M18Visser-slides.pdf|slides]])
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks is as follows:

Monday, June 4:
* 9:00 - 10:30: Welcome and 2 talks
** Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]]
** Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
* 10:30 - 11:10: Break
* 11:10 - 12:40: 1 regular talk followed by 3 short talks
** Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
** Chung-chieh Shan
** Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
** Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs]]
* 12:40 - 14:10: Lunch
* 14:00 - 15:30: 1 regular talk followed by 3 short talks
** Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
** Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
** Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
** Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: 2 talks
** Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
** Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]

Tuesday, June 5:
* 9:00 - 10:30: 2 talks
** Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
** Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* 10:30 - 11:00: Break
* 11:00 - 12:30: 2 talks
** Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
** Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]
* 12:30 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
** Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]]
** Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only

Wednesday, June 6:
* 9:00 - 10:30: 2 talks
** Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
** Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 2 30-minute talks
** Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
** Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* 12:00: Lunch
* 13:00: Excursion, bus leaves at 13:00.

Thursday, June 7:
* 9:00 - 10:30: 2 talks
** Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]]
** Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* 10:30 - 11:00: Break
* 11:00 - 12:30: 2 talks
** Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
** Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]]
* 12:30: Lunch and/or departure

=== Social events ===

See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]

* Monday 4 June (6:30pm-);
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
** Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.)
* Tuesday 5 June (6:30pm-);
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
** Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)
* Wednesday 6 June; 1pm-
** Excursion (see below)
** Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)
** 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.)

I (Jeremy G) can recommend a trip to [https://www.insidekyoto.com/arashiyama Arashiyama], if you have a free day or even half-day; I did this on Sunday. This is a suburb on the western edge of Kyoto, accessible by various routes (eg Tozai subway line from Karasuma Oike station to the end, then the very cute Keifuku Randen tram). There are many temples and gardens, and the famous [https://www.insidekyoto.com/arashiyama-bamboo-grove Bamboo Grove]. I particularly recommend [https://www.insidekyoto.com/tenryu-ji-temple-arashiyama Tenryu-ji], a huge temple complex, and [https://www.insidekyoto.com/okochi-sanso-villa-arashiyama Okochi Sanso] strolling garden, established by the silent samurai-movie star Okochi Denjiro. The short walk between the two inevitably takes you through the Bamboo Grove. I've just noticed (too late for me) that there is a [https://www.insidekyoto.com/unagi-hirokawa-arashiyama Michelin-starred eel restaurant] there too; book ahead! If you take the tram back, consider getting off at Arisugawa to walk 3 minutes to [https://www.insidekyoto.com/tenzan-no-yu-onsen-kyoto Tenzan-no-yu onsen].

=== Sento ===

Jeremy G 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-06-10T06:06:24Z

Sandrine: /* 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 G: 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 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto
* 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
* Klaus arr. KIX 03 Jun 2018 08:40AM with AF292

=== 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,
Yukiyoshi Kameyama,
Oleg Kiselyov,
Ralf Lämmel,
Julia Lawall,
Christian Lengauer,
Peter Mosses (not Thursday),
Klaus Ostermann,
Markus Püschel,
Christoph Reichenbach,
Tiark Romph,
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 | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]] [[Media:M18Blazy-Slides.pdf | (slides) ]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
* Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] ([[Media:JG-WG211m18.pdf|slides]])
* 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]]
* Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]
* Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)
* Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]] (not on Monday)
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
* Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
* Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs ]]
* Eelco Visser [[WG211/M18Visser | Declarative Disambiguation of Deep Priority Conflicts ]] ([[Media:M18Visser-slides.pdf|slides]])
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks is as follows:

Monday, June 4:
* 9:00 - 10:30: Welcome and 2 talks
** Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]]
** Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
* 10:30 - 11:10: Break
* 11:10 - 12:40: 1 regular talk followed by 3 short talks
** Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
** Chung-chieh Shan
** Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
** Eric Van Wyk [[WG211/M18VanWyk | Abstract syntax trees, forwarding, and control flow graphs]]
* 12:40 - 14:10: Lunch
* 14:00 - 15:30: 1 regular talk followed by 3 short talks
** Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
** Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]
** Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
** Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: 2 talks
** Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]
** Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]

Tuesday, June 5:
* 9:00 - 10:30: 2 talks
** Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]
** Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]
* 10:30 - 11:00: Break
* 11:00 - 12:30: 2 talks
** Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
** Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]
* 12:30 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
** Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]]
** Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only

Wednesday, June 6:
* 9:00 - 10:30: 2 talks
** Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
** Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 2 30-minute talks
** Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]
** Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* 12:00: Lunch
* 13:00: Excursion, bus leaves at 13:00.

Thursday, June 7:
* 9:00 - 10:30: 2 talks
** Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]]
** Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]
* 10:30 - 11:00: Break
* 11:00 - 12:30: 2 talks
** Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
** Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]]
* 12:30: Lunch and/or departure

=== Social events ===

See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]

* Monday 4 June (6:30pm-);
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
** Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.)
* Tuesday 5 June (6:30pm-);
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
** Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)
* Wednesday 6 June; 1pm-
** Excursion (see below)
** Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)
** 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.)

I (Jeremy G) can recommend a trip to [https://www.insidekyoto.com/arashiyama Arashiyama], if you have a free day or even half-day; I did this on Sunday. This is a suburb on the western edge of Kyoto, accessible by various routes (eg Tozai subway line from Karasuma Oike station to the end, then the very cute Keifuku Randen tram). There are many temples and gardens, and the famous [https://www.insidekyoto.com/arashiyama-bamboo-grove Bamboo Grove]. I particularly recommend [https://www.insidekyoto.com/tenryu-ji-temple-arashiyama Tenryu-ji], a huge temple complex, and [https://www.insidekyoto.com/okochi-sanso-villa-arashiyama Okochi Sanso] strolling garden, established by the silent samurai-movie star Okochi Denjiro. The short walk between the two inevitably takes you through the Bamboo Grove. I've just noticed (too late for me) that there is a [https://www.insidekyoto.com/unagi-hirokawa-arashiyama Michelin-starred eel restaurant] there too; book ahead! If you take the tram back, consider getting off at Arisugawa to walk 3 minutes to [https://www.insidekyoto.com/tenzan-no-yu-onsen-kyoto Tenzan-no-yu onsen].

=== Sento ===

Jeremy G 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/M18Blazy

2018-05-18T08:09:37Z

Sandrine: Created page with "Motivated by applications to security and high efficiency, we propose an automated methodology for validating on low-level intermediate representations the results of a source..."

Motivated by applications to security and high efficiency, we propose
an automated methodology for validating on low-level intermediate
representations the results of a source-level static analysis. Our
methodology relies on two main ingredients: a relative-safety checker,
an instance of a relational verifier which proves that a program is
"safer" than another, and a transformation of programs
into defensive form which verifies the analysis results at runtime. We
prove the soundness of the methodology, and provide a formally
verified instantiation based on the Verasco verified C static analyzer
and the CompCert verified C compiler. We experiment with the
effectiveness of our approach with client optimizations at RTL level,
and static analyses for cache-based timing side-channels and memory
usage at pre-assembly levels.

Joint work with Gilles Barthe, Vincent Laporte, David Pichardie and Alix Trieu

WG211/M18Schedule

2018-05-18T08:07:59Z

Sandrine: /* Talks */

WG211/M18Schedule

2018-05-01T12:58:12Z

Sandrine: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

---- Arrival/Departure

* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
* Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437

=== Accommodation ===

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

=== Registration ===

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

== Attendance ==

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

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

== Talks ==

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

* ...

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

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

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

== Excursion==

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

== Joint trips before/after the meeting ==

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

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

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

=== Sento ===

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

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

WG211/M18Schedule

2018-05-01T11:00:48Z

Sandrine: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

---- Arrival/Departure

* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
* Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437; dep KIX 09 Jun 2018 on AF1030

=== Accommodation ===

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

=== Registration ===

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

== Attendance ==

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

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

== Talks ==

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

* ...

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

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

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

== Excursion==

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

== Joint trips before/after the meeting ==

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

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

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

=== Sento ===

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

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

WG211/M18Schedule

2018-03-09T07:04:21Z

Sandrine: /* Attendance */

File:M16Blazy-Slides.pdf

2016-08-24T11:09:52Z

Sandrine:

WG211/M16Schedule

2016-08-24T11:09:23Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Sixteenth Meeting=

== August 22-25, 2016 in Bloomington, Indiana, USA.==

The meeting will be held in Bloomington, Indiana, USA, hosted by [http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (Indiana University). The meeting will last 3.5 days; the first three days (August 22-24) will be full-day, whereas the last day (August 25) will be a half-day session ending with lunch.

=== Venue ===

[[File:M16map.jpg|thumb|640px|link=https://drive.google.com/open?id=1yVSzUHs8WaqiKpBKCBciMQIDfgE&usp=sharing|Map of relevant Bloomington locations in Google, [[Media:M16map.pdf|also available as printable PDF]] ]]

The venue will be the ground-level meeting room at the [http://crest.iu.edu/ Center for Research in Extreme Scale Technologies] at 420 N. Walnut St near downtown Bloomington.

=== Travel ===

Beware that the Bloomington in Indiana is different from the Bloomington in Illinois and Minnesota. Do not fly into Bloomington-Normal airport in Illinois!

The most convenient airport is Indianapolis (IND), about one hour of driving time from campus. To get from the airport to campus:
* Every couple of hours there are two companies ([http://goexpresstravel.com/airport_shuttle_schedule Go Express] and [http://www.soashuttle.com/locations/bloomington-to-indianapolis/ Star of America]) that provide shuttle van service to Bloomington (from 6:20am to 10:40pm; ~$20), with a stop in front of the Indiana Memorial Union.
* Or call e2Taxi at +1 812-961-8294.
* Or rent a car at the airport.

You can also drive from another city, such as Chicago (4 hours), Cincinnati (3 hours), Louisville (2 hours).

==== Accommodation ====

As of July 20, the block of hotel rooms we reserved at the Indiana Memorial Union ($129-$164/night + tax, earliest check-in on August 20, latest check-out on August 26) has released, so any further booking is subject to current availability. Please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536.

There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.

== Registration ==

The registration fee is US$375. Please register and pay using this link:
https://indianauniv.ungerboeck.com/prod/emc00/register.aspx?OrgCode=10&EvtID=7572&AppCode=REG

== Attendance ==

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

Sandrine Blazy, Edwin Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond (M-W), Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall (M-W), Praveen Narayanan, Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (intermittent), Jeremy Siek, Satnam Singh, Eelco Visser, Eric Van Wyk, Sam Tobin-Hochstadt, Tim Zakian

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy [[WG211/M16Blazy | CompCert guarantees for low-level programs ]] [[Media:M16Blazy-Slides.pdf | (slides) ]]

Edwin Brady [[WG211/M16Brady | Concurrent programming with dependent types ]]

Jacques Carette [[WG211/M16Carette | Drasil: From generating code to generating software ]]

Charles Consel [[WG211/M16Consel | Integrating Domain Experts in the Software Development Process via a DSL-Based Approach ]]

Ewen Denney [[WG211/M16Denney | Synthesizing Domain-specific Annotations ]]

Jeremy Gibbons [[WG211/M16Gibbons | APLicative Programming with Naperian Functors ]]

Kevin Hammond [[WG211/M16Hammond | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf | (slides) ]]

Christian Kaester [[WG211/M16Kaestner | How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]]

Oleg Kiselyov [[WG211/M16Kiselyov | Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]

Ralf Lämmel [[WG211/M16Laemmel | Compilation of megamodels]]

Julia Lawall [[WG211/M16Lawall | Prequel: A Patch-Like Query Language for Commit History Search]] [[Media:M16Lawall.pdf | (slides) ]]

Praveen Narayanan [[WG211/M16PraveenNarayanan | Disintegrating probabilistic programs with arrays ]]

Ryan Newton [[ WG211/M16Newton | Why is auto-tuning not composable? ]]

Tiark Rompf [[WG211/M16SRomph | LMS-Verify: Abstraction Without Regret for Verified Systems Programming]]

Sven-Bodo Scholz [[WG211/M16Scholz | SpaceTime -- a fresh view on parallel programming ]]

Ulrik Pagh Schultz [[WG211/M16Schultz | Adventures in Object-Oriented Reversible Programming]]

Jeremy Siek [[WG211/M16Siek | Compiling gradually typed languages for efficiency ]]

Satnam Singh [[WG211/M16Singh | Code Generation Challenges for Android Applications ]]

Eric Van Wyk [[WG211/M16VanWyk | Language extensions for parallel programming: opportunities and challenges ]]

Eelco Visser [[WG211/M16Visser | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]

== Schedule ==

Breakfast, wireless Internet, and a bottomless cup of coffee are available every day from 7am at [http://www.scholarsinn.com/scholars-inn-bakehouse.html Scholars Inn Bakehouse downtown] (125 N College, southwest of the intersection with 6th St). Please tell them to charge your meal to the "computer science workshop". It's less than 10 minutes walk from the meetings (on Walnut, southeast of the intersection with 9th St).

Monday August 22:
* 9:15 arrive, welcome
* 9:30-10:15 Sven-Bodo Scholz
* 10:15-10:45 morning break with refreshments
* 10:45-11:30 Edwin Brady
* 11:30-12:15 Julia Lawall
* 12:00-14:00 catered lunch from [http://www.feastcateringonline.com/ Feast]
* 14:00-14:45 Charles Consel
* 14:45-15:30 Ewen Denney
* 15:30-16:00 afternoon break with refreshments
* 16:00-16:45 Eric Van Wyk
* 16:45-17:30 Tiark Rompf
* 19:00 dinner at [https://the-uptown.com/ Uptown Cafe]

Tuesday August 23:
* 8:30-9:15 Christian Kaestner [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing slides]
* 9:15-10:00 Ryan Newton
* 10:00-10:30 morning break with refreshments
* 10:30-11:15 Kevin Hammond
* 11:15-12:00 Sandrine Blazy
* 12:00-14:00 catered lunch from [http://www.falafelsonline.com/ Falafels]
* 14:00-14:45 Praveen Narayanan
* 14:45-15:30 Jeremy Gibbons
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:00 dinner at [http://www.topos403.com/ Topos 403]

Wednesday August 24:
* 9:00-9:45 Ralf Laemmel
* 9:45-10:30 Oleg Kiselyov
* 10:30-11:00 morning break with refreshments
* 11:00-11:45 Kinsey Institute talk
* 11:45-12:30 Satnam Singh
* 12:30-14:30 buffet lunch at [http://www.restaurantanatolia.com/ Anatolia]
* 14:45-16:00 highlight tour of the [https://artmuseum.indiana.edu/ Indiana University Art Museum]
* 16:30-17:30 show-and-tell at [http://www.indiana.edu/~liblilly/ Lilly Library], including its [http://www.indiana.edu/~liblilly/collections/puzzles.shtml puzzle collection]
* 19:00 dinner at [http://www.esanthairest.com/ Esan Thai]

Thursday August 25:
* 8:30-9:15 Eelco Visser
* 9:15-10:00 Ulrik Pagh Schultz
* 10:00-10:30 morning break with refreshments
* 10:30-11:15 Jacques Carette
* 11:15-12:00 Jeremy Siek
* 12:00 Chung-chieh Shan (short talk, maybe, time allowing)
* 12:00-14:00 catered lunch (or to go) from [http://thelaughingplanetcafe.com/ Laughing Planet]

== Excursion==

After lunch on Wednesday, August 24, we'll take in the highlights of the [https://artmuseum.indiana.edu/ Indiana University Art Museum] and [http://www.indiana.edu/~liblilly/ Lilly Library], including its [http://www.indiana.edu/~liblilly/collections/puzzles.shtml puzzle collection]. Before lunch, we'll also learn a bit about the [https://www.kinseyinstitute.org/ Kinsey Institute].

If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are '''some''' of [http://www.visitbloomington.com/ the options]:
* Food:
** "restaurant row" on 4th St around Dunn St and Grant St: Tibetan, Burmese, Korean, Indian, Turkish, ...
** downtown: Samira (Afghan), Owlery (vegan diner), King Dough (pizza), ...
** open late: [http://www.lenniesgourmetpizza.com/ Lennie's + Bloomington Brewing Company], [http://www.btowndiner.com/ B-Town Diner], ...
* Alcohol: Atlas, Upland Brewery, The Tap, Function Brewery, Quaff On, ...
* Coffee: Pourhouse, Soma, Runcible Spoon, Hopscotch, ...
* Chocolate: BLU Boy
* More museums: [http://wonderlab.org/ WonderLab], [http://www.mathers.indiana.edu/ Mathers Museum of World Cultures]
* Film: More "Raiders of the Lost Ark" than you probably want at the [http://www.cinema.indiana.edu/calendar/ Indiana University Cinema]
* Bicycling: Maybe rent a bike at Revolution Bike & Bean, enjoy an espresso, and head for one of the lakes (Griffy, Lemon, Monroe)?

WG211/M16Blazy

2016-06-14T10:23:44Z

Sandrine:

The CompCert C compiler guarantees that the target program behaves as the source program. Yet, source programs without a defined semantics do not benefit from this guarantee and could therefore be miscompiled. To reduce the possibility of a miscompilation, we propose a novel memory model for CompCert which gives a defined semantics to challenging features such as bitwise pointer arithmetics and access to uninitialised data.

We evaluate our memory model both theoretically and experimentally. In our experiments, we identify pervasive low-level C idioms that require the additional expressiveness provided by our memory model. We also show that our memory model provably subsumes the existing CompCert memory model thus cross-validating both semantics.

Our memory model relies on the core concepts of symbolic value and normalisation. A symbolic value models a delayed computation and the normalisation turns, when possible, a symbolic value into a genuine value. We show how to tame the expressive power of the normalisation so that the memory model fits the proof framework of CompCert. We also adapt the proofs of correctness of the compiler passes performed by CompCert, thus demonstrating that our model is well-suited for proving compiler transformations.

WG211/M16Blazy

2016-06-14T10:23:20Z

Sandrine:

WG211/M16Blazy

2016-06-14T10:22:20Z

Sandrine: Created page with "The CompCert C compiler guarantees that the target program behaves as the source program. Yet, source programs without a defined semantics do not benefit from this guarantee..."

The CompCert C compiler guarantees that the target program behaves as the source program. Yet, source
programs without a defined semantics do not benefit from this guarantee and could therefore be miscompiled.
To reduce the possibility of a miscompilation, we propose a novel memory model for CompCert which gives a
defined semantics to challenging features such as bitwise pointer arithmetics and access to uninitialised data.

We evaluate our memory model both theoretically and experimentally. In our experiments, we identify pervasive
low-level C idioms that require the additional expressiveness provided by our memory model. We also show
that our memory model provably subsumes the existing CompCert memory model thus cross-validating both semantics.

Our memory model relies on the core concepts of symbolic value and normalisation. A symbolic value models
a delayed computation and the normalisation turns, when possible, a symbolic value into a genuine value.
We show how to tame the expressive power of the normalisation so that the memory model fits the proof
framework of CompCert. We also adapt the proofs of correctness of the compiler passes performed by CompCert,
thus demonstrating that our model is well-suited for proving compiler transformations.

WG211/M16Schedule

2016-06-14T10:20:49Z

Sandrine: /* Talks */

WG211/M16Schedule

2016-06-14T10:18:57Z

Sandrine: /* Talks */

WG211/M16Schedule

2016-05-10T15:26:59Z

Sandrine: /* Attendance */

File:M15Blazy-Slides.pdf

2015-11-12T09:08:32Z

Sandrine:

WG211/M15Schedule

2015-11-12T09:06:47Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”. Specifically:

Rooms 217&218, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

A pleasant walking route from the London Town Hotel is [https://goo.gl/maps/uKxuJpvgxhr here].
A recommended route from South Kensington tube station is [https://goo.gl/maps/QNZnANwRCwG2 here].

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== Attendance ==

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

Sandrine Blazy, Edwin Brady (not present Nov 12th), Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]] [[Media:M15Blazy-Slides.pdf | (slides) ]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]
[[Media:M15Gibbons-Slides.pdf | (slides) ]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

Luigi Nardi [[WG211/M15Nardi | Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | A Library for Probabilistic and Variability-Aware Programming]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]
[[Media:M15Reichenbach-Slides.pdf | (slides) ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]
[[Media:M15Shan-Slides.pdf | (slides) ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | Protocols by Default: Safe MPI Code Generation based on Session Types]] (to be confirmed)

== Schedule ==
''Schedule v1.4''

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks): Carette, Igarashi
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Sloane, Kobayashi
* 13:00-14:00 buffet lunch
* 14:00-15:30 work (2 talks): Kelly, Reichenbach
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks): Armando, Brady
* 19:00 dinner at [http://pizzametropizza.com/notting-hill/ PizzaMetroPizza (Notting Hill)], 147 – 149 Notting Hill Gate, London W11 3LF. A recommended (and interesting) 30-minute walk from Imperial [https://goo.gl/maps/iT3pyRANtWn], or fairly direct bus (number 70) is also available [https://goo.gl/maps/FGSg43znyLT2]. From the London Town Hotel it's a 30-minute walk [https://goo.gl/maps/3cfwPVXb9Yv] or a short tube ride [https://goo.gl/maps/fheK5yFf8vC2]. We took [[Media:pizza.jpg|a photo of the restaurant's supposedly famous meter-long pizza]].

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks): Wiklicky, Blazy
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Tratt, Lengauer
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks): Grebhahn, Donaldson
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:15 dinner at [http://www.nicholsonspubs.co.uk/restaurants/london/doggettscoatandbadgesouthbanklondon Doggetts Coat and Badge] on the South Bank. From Imperial take the tube [https://goo.gl/maps/hb5jSHuRk9L2], from the London Town Hotel [https://goo.gl/maps/K4RiAPyJQJD2]. The journey takes about half an hour. However you are recommended to go early and walk along the South Bank. For example, take the same tube but get off at Westminster [https://goo.gl/maps/QzProuVMbt52 (20 mins)] then walk along the Thames [https://goo.gl/maps/7kpG5ZP3rcm (25 mins)].

Wednesday Nov 11th
* 9:30-11:00 work (2 talks): Yoshida, Scholz
* 11:00-11:30 morning break with refreshments
* 11:30-12:15 work (1 talk): Gibbons
* 12:15-13:15 non-working lunch
* 13:15-15:30 work (3 talks): Glück, Ostermann, Nardi
* 16:00-17:00 tour of Victoria and Albert museum
* 19:00 dinner at [http://www.masalazone.com/locations/bayswater/ Masala Zone (Bayswater)]. From Imperial you can walk ([https://goo.gl/maps/RhmM2f9m6jB2 (35 mins)]) or take the number 70 bus again [https://goo.gl/maps/da2STkYeFk62 (20 mins)]. From The London Town Hotel by tube [https://goo.gl/maps/X6ohLZDfQBL2 (20 mins)] or on foot [https://goo.gl/maps/EdPHT5WWAK12 (45 mins)].

Thursday Nov 12th
* 9:30-11:00 work (2 talks): Schultz, Mosses
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Rayside, Shan
* 13:00-14:00 buffet lunch

== Excursion==

16:00 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Blazy

2015-10-25T21:05:50Z

Sandrine: Created page with "Code obfuscation is emerging as a key asset in security by obscurity. It aims at hiding sensitive information in programs so that they become more difficult to understand and rev..."

Code obfuscation is emerging as a key asset in security by obscurity. It aims at hiding sensitive
information in programs so that they become more difficult to understand and reverse engineer.
Since the results on the impossibility of perfect and universal obfuscation, many obfuscation
techniques have been proposed in the literature, ranging from
simple variable encoding to hiding the control flow of a program.

In this talk, I will explain how we formally verified in Coq an advanced code obfuscation called control-flow graph flattening,
that is used in state-of-the-art program obfuscators. Our control-flow graph flattening is a program
transformation operating over C programs, that is integrated into the CompCert formally verified compiler.
The semantics preservation proof of our program obfuscator relies on a simulation proof performed
on a realistic language, the Clight language of CompCert.
The automatic extraction of our program obfuscator into OCaml yields a program with competitive results.

WG211/M15Brady

2015-10-25T21:05:39Z

Sandrine: Blanked the page

WG211/M15Schedule

2015-10-25T21:05:15Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

There will be an excursion, details to be announced.

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

There will be an excursion one afternoon during the meeting time.

=== Venue ===

(To do: link to the venue and a link to a map.)

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== Attendance ==

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

Sandrine Blazy, Edwin Brady, Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, Simplifying probabilistic programs using computer algebra

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, TBD

Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Julia Lawall, Prequel: A Patch-Like Query Language for Commit History Search

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, Run your component-based semantics

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | TBD]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, Symbolic Bayesian inference by lazy partial evaluation

Tony Sloane, Respect Your Parents: How Attribution and Rewriting Can Get Along

Armando Solar-Lezama, TBD

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nobuko Yoshida (to be confirmed)

== Schedule ==

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks)
* 19:00 dinner at a local South Kensington restaurant

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:00 dinner at Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)

Wednesday Nov 11th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:30 tour of Victoria and Albert museum
* 19:00 dinner a local South Kensington restaurant

Thursday Nov 12th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Brady

2015-10-25T21:02:34Z

WG211/M15Schedule

2015-10-25T20:59:45Z

Sandrine: /* Talks */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

There will be an excursion, details to be announced.

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

There will be an excursion one afternoon during the meeting time.

=== Venue ===

(To do: link to the venue and a link to a map.)

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== Attendance ==

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

Sandrine Blazy, Edwin Brady, Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy, [[WG211/M15Brady | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, Simplifying probabilistic programs using computer algebra

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, TBD

Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Julia Lawall, Prequel: A Patch-Like Query Language for Commit History Search

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, Run your component-based semantics

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | TBD]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, Symbolic Bayesian inference by lazy partial evaluation

Tony Sloane, Respect Your Parents: How Attribution and Rewriting Can Get Along

Armando Solar-Lezama, TBD

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nobuko Yoshida (to be confirmed)

== Schedule ==

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks)
* 19:00 dinner at a local South Kensington restaurant

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:00 dinner at Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)

Wednesday Nov 11th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:30 tour of Victoria and Albert museum
* 19:00 dinner a local South Kensington restaurant

Thursday Nov 12th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-09-04T09:43:04Z

Sandrine: /* Attendance */

WG211/M15Schedule

2015-09-04T09:42:44Z

Sandrine: /* Talks and Schedule */