WG 2.11 - User contributions [en]

WG211/M22Schedule

2023-01-16T16:01:49Z

Yannis: /* 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]

* Edwin Brady
* Jacques Carette
* Sebastian Erdweg
* Ohad Kammar
* Julia Lawall
* Christian Lengauer
* Peter Mosses
* Klaus Ostermann
* 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'''.

WG211/M19Schedule

2019-05-18T21:56:41Z

Yannis:

=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]] ([[Media:WG211_M19_Carette.pdf|slides]])
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]] ([[Media:WG211_M19_Dehnavi.pdf|slides]])
* 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]] ([[Media:Ethereum19.pdf|slides]])
* 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).

File:Ethereum19.pdf

2019-05-18T21:52:34Z

Yannis: Superset of ethereum talk slides

Superset of ethereum talk slides

WG211/M19Smaragdakis

2019-05-09T18:45:13Z

Yannis: Static analysis of Ethereum smart contracts

The talk will present two related static analysis techniques on EVM bytecode: MadMax, which detects gas-focused vulnerabilities, and Gigahorse, which performs decompilation of EVM bytecode.

MadMax combines contract decompilation and declarative program-structure queries. The analysis captures high-level domain-specific concepts (such as “dynamic data structure storage” and “safely resumable loops”) and achieves high precision and scalability. MadMax analyzes the entirety of smart contracts in the current Ethereum blockchain in just 10 hours (with decompilation timeouts in 8% of the cases) and flags contracts with a current monetary value in the $B range. (Manual inspection of a sample of flagged contracts shows that 81% of the sampled warnings do indeed lead to vulnerabilities.)

Gigahorse is a general-purpose decompiler for EVM bytecode, drastically improving over past approaches (including the decompilation techniques used in MadMax). Gigahorse turns EVM bytecode into a high-level 3-address code representation. The new intermediate representation of smart contracts makes implicit data- and control-flow dependencies of the EVM bytecode explicit. Gigahorse can decompile over 99.98% of deployed contracts and offers a full-featured toolchain for further analyses.

Key to both MadMax and Gigahorse is the use of a declarative, logic-based specification for the analysis.

Main Page

2019-04-30T20:51:12Z

Yannis:

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

=Program Generation (WG 2.11)=

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

==Current Activity==

'''The next meeting will be in Boston, USA in April 29-May 2nd 2019. [[WG211/M19Schedule]]'''

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

==Past Activity==

* [[WG211/M18Schedule | Eighteenth meeting in Kyoto, Japan ]]
* [[WG211/M17Schedule | Seventeenth meeting in Koblenz, Germany ]]
* [[WG211/M16Schedule | Sixteenth meeting in Bloomington, Indiana, USA]]
* [[WG211/M15Schedule | Fifteenth meeting in London, England]]
* [[WG211/M14Schedule | Fourteenth meeting in Stellenbosch, South Africa]]
* [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]]
* [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]]
* [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]]
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]
* [[WG211/M6Schedule | Sixth meeting in Passau]]
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]]
* [[WG211/M4Schedule | Fourth meeting in Portland]]
* [[WG211/M3Schedule | Third meeting at Dagstuhl]]
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]


==Background==

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

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

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

==Related events==
* GPCE and SLE will both be held in Amsterdam in the fall of 2016 as part of the [http://2016.splashcon.org/ SPLASH conference].

* [http://conf.researchr.org/home/gpce-2016 GPCE 2016]: 15th International Conference on Generative Programming and Component Engineering (GPCE'16), October 31, November 1, 2016, Amsterdam, The Netherlands.

* [http://conf.researchr.org/track/sle-2016/sle-2016-papers SLE 2016] or [http://www.sleconf.org/2016/ SLE 2016]: 9th International Conference on Software Language Engineering (SLE),October 31, November 1, 2016, Amsterdam, The Netherlands.




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


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

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

WG211/M19Schedule

2019-04-15T14:42:11Z

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

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

Sandrine Blazy,
Edwin Brady,
Jacques Carette (not Thursday),
Maryam Mehri Dehnavi,
Jack Feser,
Franz Franchetti (Monday and Tuesday),
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner,
James Koppel,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan,
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser,
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 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 | To Infinity and Beyond! Transfinite Arrays]]
* Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
* Julia Lawall TBA
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching DSL Engineering to the Masses (all the Non-Computer-Scientists)]]
* Yannis Smaragdakis TBD, probably Ethereum-something
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
* ... (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.

WG211/M19Schedule

2019-03-22T23:02:06Z

Yannis: /* Attendance */

=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

=== 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,
Chung-chieh Shan,
Yannis Smaragdakis,
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.

WG211/M17Schedule

2017-06-26T13:43:36Z

Yannis: /* Talks */

=IFIP Working Group 2.11, Seventeenth Meeting=

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

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

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

=== Venue ===

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

=== Travel ===

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

=== Accommodation ===

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

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

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

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

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

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

=== Registration ===

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

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (at least the first two days), Tony Sloane, Yannis Smaragdakis, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

== Talks ==

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

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Christian Lengauer, Stefan Kronawitter [[WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Markus Püschel [[WG211/M17Puschel | TBD]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Anthony Sloane [[WG211/M17Sloane | Formalisation of attribute grammar evaluation ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]

== Program / schedule ==

=== Scientific program ===

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

=== Social events ===

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

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

== Excursion==

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

WG211/M14Schedule

2015-01-22T22:26:16Z

Yannis: /* Talks and Schedule */

=IFIP Working Group 2.11, Fourteenth Meeting=

==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==

The meeting will be held in Stellenbosch, South Africa, hosted by Bernd Fischer. There will be a full-day excursion to the Cape Peninsula on January 19. More details, program, and registration information will be appearing on this page before the end of September.

=== Travel ===

Note that the meeting will be in the southern Summer, and Stellenbosch (and all of South Africa) will be busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

'''UPDATE:''' The visa regulations are currently changing (or supposed to change - there's politics at work...). If you need a visa, or if you are planning to combine the meeting with a family vacation, please talk to the embassy!

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [http://www.acsa.co.za/home.asp?pid=229 Cape Town International (CPT)]. Most international flights connect in Johannesburg, but there are direct flghts from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the Summer, so they might not show up yet.

CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:
* [http://www.bettinashuttle.co.za/home Bettina's]
* [http://www.travelwithandre.co.za/ Travel with Andre]
* [http://www.shuttleup.co.za/ Shuttle Up]
* [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]
Note that some companies provide a direct taxi service which is more convenient but more expensive (prices for this should be around US$40-45). Please contact the companies directly. If you book with Bettina's, please refer to the "IFIP meeting", and you will get the University rate.

Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

Stellenbosch offers a wide variety of different accommodation options. Prices range from about US$15 for a hostel to US$200+ for a top-end hotel; most B&Bs will be in the range from US$70 to US$150. Please make your own arrangements. Below is a list of downtown accommodations that have been used before by other meetings. The [http://www.stellenbosch.travel/stay Stellenbosch tourist office] has more alternatives, including wine farms.

Here is a number of guest houses that are between Stias and the central town area, covering different price ranges:
* [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].
* [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.
* [http://www.wheretostay.co.za/justjoey/ ''JUST JOEY GUEST HOUSE''], Cnr Noordwal-Wes/Helderberg Streets. Tel: +27 21 887 1799 [mailto:justjoey@mweb.co.za justjoey@mweb.co.za].
* [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].

There are plenty of other guest houses / B&B's in town. Previous meeting attendees have also stayed at:
* [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].
* [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].
* [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].
* [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray& Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].
* [http://www.fynbosguesthouse.co.za ''FYNBOS VILLA GUEST HOUSE''], 14 Neethling Str. Tel: +27 21 883 8670 [mailto:info@fynbosguesthouse.co.za info@fynbosguesthouse.co.za].
* [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].
* [http://www.kerensvine.co.za/ ''KEREN'S VINE''], 4 Rozendal Rd. Tel:+27 21 886 6221 [mailto:info@kerensvine.co.za info@kerensvine.co.za].
* [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].
* [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].
* [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].
* [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.

==== About South Africa and Stellenbosch ====

South Africa, officially the Republic of South Africa, is a country located at the southern tip of Africa. It is divided into nine provinces and has 2,798 kilometres (1,739 mi) of coastline. To the north lie the neighbouring countries of Namibia, Botswana and Zimbabwe; to the east are Mozambique and Swaziland; while Lesotho is an enclave surrounded by South African territory. South Africa is the 25th largest country in the world by area and the 24th most populous country with over 51 million people. [more at [http://en.wikipedia.org/wiki/South_Africa Wikipedia]]

Stellenbosch is a town in the Western Cape province of South Africa, situated about 50 kilometres (31 mi) east of Cape Town, along the banks of the Eerste River. It is the second oldest European settlement in the province, after Cape Town. The town became known as the City of Oaks or Eikestad in Afrikaans and Dutch due to the large number of oak trees that were planted by its founder, Simon van der Stel, to grace the streets and homesteads. [more at [http://en.wikipedia.org/wiki/Stellenbosch Wikipedia/]]

The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&city=Cape+Town cost of living] in South Africa is much lower than in Europe or the US. This is particularly true for tourist activities.

==== Excursions ====

We will do a joint excursion to the Cape Peninsula on Monday January 19th, those who register for the excursion will pay a single but higher fee for attending the meeting.

Some links for the Stellenbosch Winelands
* [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]
* [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]
* [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]

Ideas for a few extra days:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* Go shark cage diving in Struisbaai.

Exept for the Cape Town weekend, most trips will require a rental car. You can get a driver for the wine tasting tour, which is probably a smart idea in the first place...

Safaris

There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study ] ([https://maps.google.com/maps?ll=-33.934957,18.873299&spn=0.005172,0.010568&t=m&z=17&layer=c&cbll=-33.935071,18.873269&panoid=JeUfsD7gZihdv1L5a3gYqw&cbp=12,91.15,,0,0.27&source=embed&output=svembed Streetview] [http://stias.ac.za/wp-content/uploads/2012/07/map.jpg Schematic map]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([http://www.cs.sun.ac.za/lpar-19/logistics/map.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

== Registration ==

Registration fees will be USD 250 / EUR 200 / GBP 160 / ZAR 2800. Registration is simply by adding your name to the attendance list below. There will be two payment options:

* Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.
* Bank transfer (USD / EUR / GBP). If you prefer bank transfer, mail me and I will mail you account information in the US, UK, or Germany.

The cost for the excursion will depend on the number of participants; I aim to keep it in a range of USD 70-100, including National Park entrance fees and food. Please register for the excursion by adding your name below.

On arrival, you will receive a single receipt on University letterhead. This will be issued for the currency you used for your payment. The registration fee covers all meals. (Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B).

== Attendance ==

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

Anya Bagge, Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Markus Püschel, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Walid Taha, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van Wyk

== Talks and Schedule ==

Tuesday (6 talks)
* 09:00-09:15: Welcome
* 09:15-10:00: Ina Schaefer, [[WG211/M14Schaefer | Variability-Aware Design Patterns]]
* 10:00-10:30: break
* 10:30-11:15: Sandrine Blazy, [[WG211/M14Blazy | Formal verification of static analysis ]] [[Media:M14Blazy-Slides.pdf | (slides)]]
* 11:15-12:00: Markus Püschel, [[WG211/M14Puschel | Automatic Locality-Friendly Interface Extension of Numerical Functions ]]

* 12:00-14:00: Lunch
* 14:00-14:45: Sven-Bodo Scholz, [[WG211/M14Scholz | Parallel Branch and Bound, functionally! ]]
* 14:45-15:30: Bruce Watson, [[WG211/M14Watson | TABASCO: taxonomy-based software construction]]
* 15:30-16:00: break
* 16:00-16:45: Eelco Visser, [[WG211/M14Visser | A theory of name resolution]]

Wednesday (5 talks)
* 09:30-10:15: Ralf Lämmel, [[WG211/M14Laemmel | Similarity management for sets of variants]]
* 10:15-10:45: break
* 10:45-11:30: Anya Helene Bagge, [[WG211/M14Bagge | Generating Modular C++ and Java Code ]]
* 11:30-12:15: Julia Lawall, [[WG211/M14Lawall | Increasing Automation in the Backporting of Linux Drivers Using Coccinelle ]]
* 12:00-14:00: Lunch
* 14:00-14:45: Eric Van Wyk, [[WG211/M14VanWyk | Origin Tracking in Attribute Grammars ]] [[Media:M14VanWyk-slides.pdf | (slides)]]
* 14:45-15:30: Tiark Romph, [[WG211/M14Romph | A SQL to C compiler in 500 lines of Scala ]]
* 15:30-16:00: break
* 16:00-17:00: business meeting

Thursday (6 talks)
* 09:30-10:15: Bernd Fischer, [[WG211/M14Fischer | Code generation for distributed applications]]
* 10:15-10:45: break
* 10:45-11:30: Klaus Ostermann, [[WG211/M14Ostermann | Datatype-Generic Programming with First-Class Regular Functors ]]
* 11:30-12:15: Tony Sloane, [[WG211/M14Sloane | The Monto Disintegrated Development Environment]]
* 12:00-14:00: Lunch
* 14:00-14:45: Walid Taha, [[WG211/M14Taha |Rigorous Simulation ]]
* 14:45-15:30: Yannis Smaragdakis, [[WG211/M14Smaragdakis | Streams a la carte: Extensible Pipelines with Object Algebras]] [http://slides.com/yanniss/streamalg-presentation (slides)]
* 15:30-16:00: break
* 16:00-16:45: Ulrik Pagh Schultz, [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

== Excursion==

If you want to participate on the pre-meeting excursion (January 19, Boulders Beach and walk at Cape of Good Hope, USD 70-100), please add yourself here (in alphabetical order by last name) or email a chair-person to be added. The tour will include a sandwich lunch and a dinner at [http://www.asara.co.za/ Raphael's at Asara], a winery outside Stellenbosch.

Anya Helene Bagge (x2), Sandrine Blazy, Bernd Fischer, Klaus Ostermann, Peter Pepper, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ulrik Schultz, Sven-Bodo Scholz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk

WG211/M14Schedule

2015-01-20T16:03:34Z

Yannis: /* Talks and Schedule */

=IFIP Working Group 2.11, Fourteenth Meeting=

==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==

The meeting will be held in Stellenbosch, South Africa, hosted by Bernd Fischer. There will be a full-day excursion to the Cape Peninsula on January 19. More details, program, and registration information will be appearing on this page before the end of September.

=== Travel ===

Note that the meeting will be in the southern Summer, and Stellenbosch (and all of South Africa) will be busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

'''UPDATE:''' The visa regulations are currently changing (or supposed to change - there's politics at work...). If you need a visa, or if you are planning to combine the meeting with a family vacation, please talk to the embassy!

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [http://www.acsa.co.za/home.asp?pid=229 Cape Town International (CPT)]. Most international flights connect in Johannesburg, but there are direct flghts from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the Summer, so they might not show up yet.

CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:
* [http://www.bettinashuttle.co.za/home Bettina's]
* [http://www.travelwithandre.co.za/ Travel with Andre]
* [http://www.shuttleup.co.za/ Shuttle Up]
* [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]
Note that some companies provide a direct taxi service which is more convenient but more expensive (prices for this should be around US$40-45). Please contact the companies directly. If you book with Bettina's, please refer to the "IFIP meeting", and you will get the University rate.

Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

Stellenbosch offers a wide variety of different accommodation options. Prices range from about US$15 for a hostel to US$200+ for a top-end hotel; most B&Bs will be in the range from US$70 to US$150. Please make your own arrangements. Below is a list of downtown accommodations that have been used before by other meetings. The [http://www.stellenbosch.travel/stay Stellenbosch tourist office] has more alternatives, including wine farms.

Here is a number of guest houses that are between Stias and the central town area, covering different price ranges:
* [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].
* [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.
* [http://www.wheretostay.co.za/justjoey/ ''JUST JOEY GUEST HOUSE''], Cnr Noordwal-Wes/Helderberg Streets. Tel: +27 21 887 1799 [mailto:justjoey@mweb.co.za justjoey@mweb.co.za].
* [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].

There are plenty of other guest houses / B&B's in town. Previous meeting attendees have also stayed at:
* [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].
* [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].
* [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].
* [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray& Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].
* [http://www.fynbosguesthouse.co.za ''FYNBOS VILLA GUEST HOUSE''], 14 Neethling Str. Tel: +27 21 883 8670 [mailto:info@fynbosguesthouse.co.za info@fynbosguesthouse.co.za].
* [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].
* [http://www.kerensvine.co.za/ ''KEREN'S VINE''], 4 Rozendal Rd. Tel:+27 21 886 6221 [mailto:info@kerensvine.co.za info@kerensvine.co.za].
* [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].
* [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].
* [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].
* [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.

==== About South Africa and Stellenbosch ====

South Africa, officially the Republic of South Africa, is a country located at the southern tip of Africa. It is divided into nine provinces and has 2,798 kilometres (1,739 mi) of coastline. To the north lie the neighbouring countries of Namibia, Botswana and Zimbabwe; to the east are Mozambique and Swaziland; while Lesotho is an enclave surrounded by South African territory. South Africa is the 25th largest country in the world by area and the 24th most populous country with over 51 million people. [more at [http://en.wikipedia.org/wiki/South_Africa Wikipedia]]

Stellenbosch is a town in the Western Cape province of South Africa, situated about 50 kilometres (31 mi) east of Cape Town, along the banks of the Eerste River. It is the second oldest European settlement in the province, after Cape Town. The town became known as the City of Oaks or Eikestad in Afrikaans and Dutch due to the large number of oak trees that were planted by its founder, Simon van der Stel, to grace the streets and homesteads. [more at [http://en.wikipedia.org/wiki/Stellenbosch Wikipedia/]]

The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&city=Cape+Town cost of living] in South Africa is much lower than in Europe or the US. This is particularly true for tourist activities.

==== Excursions ====

We will do a joint excursion to the Cape Peninsula on Monday January 19th, those who register for the excursion will pay a single but higher fee for attending the meeting.

Some links for the Stellenbosch Winelands
* [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]
* [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]
* [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]

Ideas for a few extra days:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* Go shark cage diving in Struisbaai.

Exept for the Cape Town weekend, most trips will require a rental car. You can get a driver for the wine tasting tour, which is probably a smart idea in the first place...

Safaris

There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study ] ([https://maps.google.com/maps?ll=-33.934957,18.873299&spn=0.005172,0.010568&t=m&z=17&layer=c&cbll=-33.935071,18.873269&panoid=JeUfsD7gZihdv1L5a3gYqw&cbp=12,91.15,,0,0.27&source=embed&output=svembed Streetview] [http://stias.ac.za/wp-content/uploads/2012/07/map.jpg Schematic map]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([http://www.cs.sun.ac.za/lpar-19/logistics/map.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

== Registration ==

Registration fees will be USD 250 / EUR 200 / GBP 160 / ZAR 2800. Registration is simply by adding your name to the attendance list below. There will be two payment options:

* Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.
* Bank transfer (USD / EUR / GBP). If you prefer bank transfer, mail me and I will mail you account information in the US, UK, or Germany.

The cost for the excursion will depend on the number of participants; I aim to keep it in a range of USD 70-100, including National Park entrance fees and food. Please register for the excursion by adding your name below.

On arrival, you will receive a single receipt on University letterhead. This will be issued for the currency you used for your payment. The registration fee covers all meals. (Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B).

== Attendance ==

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

Anya Bagge, Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Markus Püschel, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Walid Taha, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van Wyk

== Talks and Schedule ==

Tuesday (6 talks)
* 09:00-09:15: Welcome
* 09:15-10:00: Ina Schaefer, [[WG211/M14Schaefer | Variability-Aware Design Patterns]]
* 10:00-10:30: break
* 10:30-11:15: Sandrine Blazy, [[WG211/M14Blazy | Formal verification of static analysis ]]
* 11:15-12:00: Markus Püschel, [[WG211/M14Puschel | Automatic Locality-Friendly Interface Extension of Numerical Functions ]]

* 12:00-14:00: Lunch
* 14:00-14:45: Sven-Bodo Scholz, [[WG211/M14Scholz | Parallel Branch and Bound, functionally! ]]
* 14:45-15:30: Bruce Watson, [[WG211/M14Watson | TABASCO: taxonomy-based software construction]]
* 15:30-16:00: break
* 16:00-16:45: Eelco Visser, [[WG211/M14Visser | A theory of name resolution]]

Wednesday (5 talks)
* 09:30-10:15: Ralf Lämmel, [[WG211/M14Laemmel | Similarity management for sets of variants]]
* 10:15-10:45: break
* 10:45-11:30: Anya Helene Bagge, [[WG211/M14Bagge | Generating Modular C++ and Java Code ]]
* 11:30-12:15: Julia Lawall, [[WG211/M14Lawall | Increasing Automation in the Backporting of Linux Drivers Using Coccinelle ]]
* 12:00-14:00: Lunch
* 14:00-14:45: Eric Van Wyk, [[WG211/M14VanWyk | Origin Tracking in Attribute Grammars ]]
* 14:45-15:30: Tiark Romph, [[WG211/M14Romph | A SQL to C compiler in 500 lines of Scala ]]
* 15:30-16:00: break
* 16:00-17:00: business meeting

Thursday (6 talks)
* 09:15-10:00: Bernd Fischer, [[WG211/M14Fischer | Code generation for distributed applications]]
* 10:00-10:30: break
* 10:30-11:15: Klaus Ostermann, [[WG211/M14Ostermann | Datatype-Generic Programming with First-Class Regular Functors ]]
* 11:15-12:00: Tony Sloane, [[WG211/M14Sloane | The Monto Disintegrated Development Environment]]
* 12:00-14:00: Lunch
* 14:00-14:45: Walid Taha, [[WG211/M14Taha |Rigorous Simulation ]]
* 14:45-15:30: Yannis Smaragdakis, [[WG211/M14Smaragdakis | Streams a la carte: Extensible Pipelines with Object Algebras]]
* 15:30-16:00: break
* 16:00-16:45: Ulrik Pagh Schultz, [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

== Excursion==

If you want to participate on the pre-meeting excursion (January 19, Boulders Beach and walk at Cape of Good Hope, USD 70-100), please add yourself here (in alphabetical order by last name) or email a chair-person to be added. The tour will include a sandwich lunch and a dinner at [http://www.asara.co.za/ Raphael's at Asara], a winery outside Stellenbosch.

Anya Helene Bagge (x2), Sandrine Blazy, Bernd Fischer, Klaus Ostermann, Peter Pepper, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ulrik Schultz, Sven-Bodo Scholz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk

WG211/M14Smaragdakis

2015-01-20T16:02:22Z

Yannis:

Streaming libraries have become ubiquitous in object-oriented languages, with recent offerings in Java, C#, and Scala. All such libraries, however, suffer in terms of extensibility: there is no way to change the semantics of a streaming pipeline (e.g., to fuse filter operators, to perform computations lazily, to log operations) without changes to the library code. Furthermore, in some languages it is not even possible to add new operators (e.g., a zip operator, in addition to the standard map, filter, etc.) without changing the library.We address such extensibility shortcomings with a new design for streaming libraries. The architecture underlying this design borrows heavily from Oliveira and Cook’s object algebra solution to the expression problem, extended with a design that exposes the push/pull character of the iteration, and an encoding of higher-kinded polymorphism. We apply our design to Java and show that the addition of full extensibility is accompanied by high performance, matching or exceeding that of the original, highly-optimized Java streams library.

WG211/M14Schedule

2014-10-10T18:28:38Z

Yannis: /* Attendance */

WG211/M12Schedule

2013-06-06T12:50:00Z

Yannis: /* Talks */

[[Category:WG211]]

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

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

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

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

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

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

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

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

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

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

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

===Related events===

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

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

===Registration===

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

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

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

===Talks===

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

Talks:

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

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

===Overall schedule===

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

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

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

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

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

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

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

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

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

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

WG211/M12Smaragdakis

2013-06-06T12:49:02Z

Yannis:

''PQL: A Purely-Declarative Java Extension for Parallel Programming'' by Yannis Smaragdakis

The popularization of parallelism is arguably the most fundamental
computing challenge for years to come. We present an approach where parallel
programming takes place in a restricted (sub-Turing-complete), logic-based
declarative language, embedded in Java. Our logic-based language, PQL, can
express the parallel elements of a computing task, while regular Java code captures
sequential elements. This approach offers a key property: the purely declarative
nature of our language allows for aggressive optimization, in much the same way
that relational queries are optimized by a database engine. At the same time,
declarative queries can operate on plain Java data, extending patterns such as
map-reduce to arbitrary levels of nesting and composition complexity.
We have implemented PQL as extension to a Java compiler and showcase its
expressiveness as well as its scalability compared to competitive techniques for
similar tasks (Java + relational queries, in-memory Hadoop, etc.)

WG211/M12Schedule

2013-04-18T08:39:30Z

Yannis: /* Attendees */

[[Category:WG211]]

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

===Venue and Travel===

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

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

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

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

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

===Related events===

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

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

===Registration===

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

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Jacques Carette, Martin Erwig, Robert Glueck, Atsushi Igarashi, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, Laurent Réveillère, Tiark Rompf, Morten Rhiger, Ina Schaefer, Oleg Kiselyov, Yannis Smaragdakis, Sven-Bodo Scholz, Ulrik Pagh Schultz, Jeremy Siek, Satnam Singh, Tony Sloane (to be confirmed), Eric Van Wyk, Chung-chieh Shan.

===Talks===

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

Talks:

* [[WG211/M12Carette | TBD]] Jacques Carette
* [[WG211/M12Glueck | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Schaefer | TBD]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Partial Evaluation of Object-Oriented Interpreters]] Ulrik Schultz

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

Overall schedule including lunch and dinner arrangements: TBD

Talk schedule (see also overall schedule): TBD